(module
  (import "binaryen-intrinsics" "call.without.effects" (func $call-without-effects (param funcref) (result i32)))
  (func $g (result i32)
    (i32.const 1)
  )
  (func $f (result i32)
    (return_call $call-without-effects (ref.func $g))
    (unreachable)
  )
)

(module
 (type $0 (func (result i32)))
 (type $1 (func (param funcref) (result i32)))
 (import "binaryen-intrinsics" "call.without.effects" (func $call-without-effects (type $1) (param funcref) (result i32)))
 (func $g (type $0) (result i32)
  (i32.const 1)
 )
 (func $f (type $0) (result i32)
  (i32.const 0)
 )
)