(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 externref)
 (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 nofunc))
 (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 nofunc))
 (elem $passive-3 (ref null $none_=>_none) (ref.func $f) (ref.func $g) (ref.null nofunc) (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 (type $none_=>_none)
  (drop
   (ref.func $h)
  )
 )
 (func $g (type $none_=>_none)
  (nop)
 )
 (func $h (type $none_=>_none)
  (nop)
 )
)