(module
 (type $none_=>_none (func))
 (import "a" "b" (table $timport$0 1 10 funcref))
 (global $global$0 (ref null $none_=>_none) (ref.func $0))
 (global $global$1 i32 (i32.const 0))
 (table $0 3 3 funcref)
 (table $1 4 4 funcref)
 (table $2 0 externref)
 (table $3 5 5 (ref null $none_=>_none))
 (elem $0 (table $timport$0) (i32.const 0) func $0)
 (elem $1 (table $0) (i32.const 0) func $0)
 (elem $2 (table $0) (i32.const 1) func $0 $1)
 (elem $3 (table $1) (global.get $global$1) funcref (ref.func $0) (ref.null nofunc))
 (elem $4 (table $1) (i32.const 2) func $0 $1)
 (elem $5 func $0 $1)
 (elem $6 funcref (ref.func $0) (ref.func $1) (ref.null nofunc))
 (elem $7 (ref null $none_=>_none) (ref.func $0) (ref.func $1) (ref.null nofunc) (global.get $global$0))
 (elem $8 func)
 (elem $9 (table $3) (i32.const 0) (ref null $none_=>_none) (ref.func $0) (ref.func $2))
 (func $0
  (drop
   (ref.func $2)
  )
 )
 (func $1
  (nop)
 )
 (func $2
  (nop)
 )
)