1;;! reference_types = true
2;;! bulk_memory = true
3
4(module
5  (table $t 0 0 externref)
6
7  (func (export "f1")
8    (i32.const 0)
9    (i32.const 0)
10    (i32.const 0)
11    (table.init $t $declared)
12  )
13
14  (func (export "f2")
15    (i32.const 0)
16    (i32.const 0)
17    (i32.const 0)
18    (table.init $t $passive)
19
20    (elem.drop $passive)
21
22    (i32.const 0)
23    (i32.const 0)
24    (i32.const 0)
25    (table.init $t $passive)
26  )
27
28  (func (export "f3")
29    (i32.const 0)
30    (i32.const 0)
31    (i32.const 0)
32    (table.init $t $active)
33  )
34
35  (elem $declared declare externref)
36  (elem $passive externref)
37  (elem $active (i32.const 0) externref)
38)
39
40(assert_return (invoke "f1"))
41(assert_return (invoke "f2"))
42(assert_return (invoke "f3"))
43