| (module |
| (type $none_=>_none (func)) |
| (import "a" "b" (table $t1 1 10 funcref)) |
| (global $g1 (ref null $none_=>_none) (ref.func $f)) |
| (global $g2 i32 (i32.const 0)) |
| (table $t2 3 3 funcref) |
| (table $t3 4 4 funcref) |
| (table $textern 0 anyref) |
| (table $tspecial 5 5 (ref null $none_=>_none)) |
| (elem $0 (table $t1) (i32.const 0) func $f) |
| (elem $1 (table $t2) (i32.const 0) func $f) |
| (elem $activeNonZeroOffset (table $t2) (i32.const 1) func $f $g) |
| (elem $e3-1 (table $t3) (global.get $g2) funcref (ref.func $f) (ref.null func)) |
| (elem $e3-2 (table $t3) (i32.const 2) func $f $g) |
| (elem $passive-1 func $f $g) |
| (elem $passive-2 funcref (ref.func $f) (ref.func $g) (ref.null func)) |
| (elem $passive-3 (ref null $none_=>_none) (ref.func $f) (ref.func $g) (ref.null $none_=>_none) (global.get $g1)) |
| (elem $empty func) |
| (elem $especial (table $tspecial) (i32.const 0) (ref null $none_=>_none) (ref.func $f) (ref.func $h)) |
| (func $f |
| (drop |
| (ref.func $h) |
| ) |
| ) |
| (func $g |
| (nop) |
| ) |
| (func $h |
| (nop) |
| ) |
| ) |
| |