(module
 (type $externref_=>_none (func (param externref)))
 (type $none_=>_externref (func (result externref)))
 (type $funcref_=>_none (func (param funcref)))
 (type $nullref_=>_none (func (param nullref)))
 (type $exnref_=>_none (func (param exnref)))
 (type $none_=>_funcref (func (result funcref)))
 (type $none_=>_exnref (func (result exnref)))
 (type $none_=>_none (func))
 (type $none_=>_nullref (func (result nullref)))
 (type $externref_=>_funcref (func (param externref) (result funcref)))
 (import "env" "import_global" (global $gimport$1 externref))
 (import "env" "import_func" (func $import_func (param externref) (result funcref)))
 (table $0 4 4 funcref)
 (elem (i32.const 0) $take_externref $take_funcref $take_exnref $take_nullref)
 (global $global$0 (mut externref) (ref.null))
 (global $global$1 (mut funcref) (ref.null))
 (global $global$2 (mut exnref) (ref.null))
 (global $global$3 (mut nullref) (ref.null))
 (global $global$4 (mut externref) (ref.func $foo))
 (global $global$5 (mut funcref) (ref.func $foo))
 (export "export_func" (func $import_func))
 (export "export_global" (global $gimport$1))
 (func $take_externref (param $0 externref)
  (nop)
 )
 (func $take_funcref (param $0 funcref)
  (nop)
 )
 (func $take_exnref (param $0 exnref)
  (nop)
 )
 (func $take_nullref (param $0 nullref)
  (nop)
 )
 (func $foo
  (nop)
 )
 (func $test
  (local $0 funcref)
  (local $1 externref)
  (local $2 nullref)
  (local $3 exnref)
  (local.set $1
   (local.get $1)
  )
  (local.set $1
   (local.get $0)
  )
  (local.set $1
   (local.get $3)
  )
  (local.set $1
   (local.get $2)
  )
  (local.set $1
   (ref.null)
  )
  (local.set $1
   (ref.func $foo)
  )
  (local.set $0
   (local.get $0)
  )
  (local.set $0
   (ref.null)
  )
  (local.set $0
   (ref.func $foo)
  )
  (local.set $3
   (local.get $3)
  )
  (local.set $3
   (ref.null)
  )
  (local.set $2
   (local.get $2)
  )
  (local.set $2
   (ref.null)
  )
  (global.set $global$0
   (global.get $global$0)
  )
  (global.set $global$0
   (global.get $global$1)
  )
  (global.set $global$0
   (global.get $global$2)
  )
  (global.set $global$0
   (global.get $global$3)
  )
  (global.set $global$0
   (ref.null)
  )
  (global.set $global$0
   (ref.func $foo)
  )
  (global.set $global$1
   (global.get $global$1)
  )
  (global.set $global$1
   (ref.null)
  )
  (global.set $global$1
   (ref.func $foo)
  )
  (global.set $global$2
   (global.get $global$2)
  )
  (global.set $global$2
   (ref.null)
  )
  (global.set $global$3
   (global.get $global$3)
  )
  (global.set $global$3
   (ref.null)
  )
  (call $take_externref
   (local.get $1)
  )
  (call $take_externref
   (local.get $0)
  )
  (call $take_externref
   (local.get $3)
  )
  (call $take_externref
   (ref.null)
  )
  (call_indirect (type $externref_=>_none)
   (local.get $1)
   (i32.const 0)
  )
  (call_indirect (type $externref_=>_none)
   (local.get $0)
   (i32.const 0)
  )
  (call_indirect (type $externref_=>_none)
   (local.get $3)
   (i32.const 0)
  )
  (call_indirect (type $externref_=>_none)
   (ref.null)
   (i32.const 0)
  )
  (call_indirect (type $funcref_=>_none)
   (local.get $0)
   (i32.const 1)
  )
  (call_indirect (type $funcref_=>_none)
   (ref.null)
   (i32.const 1)
  )
  (call_indirect (type $exnref_=>_none)
   (local.get $3)
   (i32.const 2)
  )
  (call_indirect (type $exnref_=>_none)
   (ref.null)
   (i32.const 2)
  )
  (call_indirect (type $nullref_=>_none)
   (local.get $2)
   (i32.const 3)
  )
  (call_indirect (type $nullref_=>_none)
   (ref.null)
   (i32.const 3)
  )
  (drop
   (block $label$1 (result externref)
    (br_if $label$1
     (local.get $1)
     (i32.const 1)
    )
   )
  )
  (drop
   (block $label$2 (result externref)
    (br_if $label$2
     (local.get $0)
     (i32.const 1)
    )
   )
  )
  (drop
   (block $label$3 (result externref)
    (br_if $label$3
     (local.get $3)
     (i32.const 1)
    )
   )
  )
  (drop
   (block $label$4 (result externref)
    (br_if $label$4
     (ref.null)
     (i32.const 1)
    )
   )
  )
  (drop
   (block $label$5 (result funcref)
    (br_if $label$5
     (ref.null)
     (i32.const 1)
    )
   )
  )
  (drop
   (block $label$6 (result exnref)
    (br_if $label$6
     (ref.null)
     (i32.const 1)
    )
   )
  )
  (drop
   (block $label$7 (result nullref)
    (br_if $label$7
     (ref.null)
     (i32.const 1)
    )
   )
  )
  (drop
   (loop $label$8 (result externref)
    (local.get $1)
   )
  )
  (drop
   (loop $label$9 (result externref)
    (local.get $0)
   )
  )
  (drop
   (loop $label$10 (result externref)
    (local.get $3)
   )
  )
  (drop
   (loop $label$11 (result externref)
    (ref.null)
   )
  )
  (drop
   (loop $label$12 (result funcref)
    (local.get $0)
   )
  )
  (drop
   (loop $label$13 (result funcref)
    (ref.null)
   )
  )
  (drop
   (loop $label$14 (result exnref)
    (local.get $3)
   )
  )
  (drop
   (loop $label$15 (result exnref)
    (ref.null)
   )
  )
  (drop
   (loop $label$16 (result nullref)
    (ref.null)
   )
  )
  (drop
   (if (result externref)
    (i32.const 1)
    (local.get $1)
    (local.get $3)
   )
  )
  (drop
   (if (result externref)
    (i32.const 1)
    (ref.func $foo)
    (ref.null)
   )
  )
  (drop
   (if (result funcref)
    (i32.const 1)
    (ref.func $foo)
    (ref.null)
   )
  )
  (drop
   (if (result exnref)
    (i32.const 1)
    (local.get $3)
    (ref.null)
   )
  )
  (drop
   (if (result nullref)
    (i32.const 1)
    (local.get $2)
    (ref.null)
   )
  )
  (drop
   (try (result externref)
    (do
     (local.get $1)
    )
    (catch
     (exnref.pop)
    )
   )
  )
  (drop
   (try (result externref)
    (do
     (ref.func $foo)
    )
    (catch
     (drop
      (exnref.pop)
     )
     (ref.null)
    )
   )
  )
  (drop
   (try (result funcref)
    (do
     (ref.func $foo)
    )
    (catch
     (drop
      (exnref.pop)
     )
     (ref.null)
    )
   )
  )
  (drop
   (try (result exnref)
    (do
     (ref.null)
    )
    (catch
     (exnref.pop)
    )
   )
  )
  (drop
   (try (result nullref)
    (do
     (ref.null)
    )
    (catch
     (drop
      (exnref.pop)
     )
     (ref.null)
    )
   )
  )
  (drop
   (select (result externref)
    (local.get $1)
    (ref.func $foo)
    (i32.const 1)
   )
  )
  (drop
   (select (result externref)
    (local.get $3)
    (local.get $1)
    (i32.const 1)
   )
  )
  (drop
   (select (result externref)
    (local.get $1)
    (ref.null)
    (i32.const 1)
   )
  )
  (drop
   (select (result externref)
    (ref.null)
    (ref.func $foo)
    (i32.const 1)
   )
  )
  (drop
   (select (result funcref)
    (ref.func $foo)
    (ref.null)
    (i32.const 1)
   )
  )
  (drop
   (select (result exnref)
    (ref.null)
    (local.get $3)
    (i32.const 1)
   )
  )
  (drop
   (select (result nullref)
    (ref.null)
    (ref.null)
    (i32.const 1)
   )
  )
  (drop
   (select
    (i32.const 0)
    (i32.const 2)
    (i32.const 1)
   )
  )
  (drop
   (ref.is_null
    (local.get $1)
   )
  )
  (drop
   (ref.is_null
    (local.get $3)
   )
  )
  (drop
   (ref.is_null
    (ref.func $foo)
   )
  )
  (drop
   (ref.is_null
    (ref.null)
   )
  )
 )
 (func $return_externref (result externref)
  (local $0 externref)
  (local.get $0)
 )
 (func $return_externref2 (result externref)
  (ref.func $foo)
 )
 (func $return_externref3 (result externref)
  (local $0 exnref)
  (local.get $0)
 )
 (func $return_externref4 (result externref)
  (ref.null)
 )
 (func $return_funcref (result funcref)
  (ref.func $foo)
 )
 (func $return_funcref2 (result funcref)
  (ref.null)
 )
 (func $return_exnref (result exnref)
  (local $0 exnref)
  (local.get $0)
 )
 (func $return_exnref2 (result exnref)
  (ref.null)
 )
 (func $return_nullref (result nullref)
  (local $0 nullref)
  (local.get $0)
 )
 (func $return_externref_returns (result externref)
  (local $0 externref)
  (local $1 exnref)
  (return
   (local.get $0)
  )
 )
 (func $return_funcref_returns (result funcref)
  (return
   (ref.func $foo)
  )
 )
 (func $return_exnref_returns (result exnref)
  (local $0 exnref)
  (return
   (local.get $0)
  )
 )
 (func $return_nullref_returns (result nullref)
  (local $0 nullref)
  (return
   (local.get $0)
  )
 )
)