3 (func (export "externref") (result externref) (ref.null extern))
4 (func (export "funcref") (result funcref) (ref.null func))
5 (func (export "ref") (result (ref null $t)) (ref.null $t))
7 (global externref (ref.null extern))
8 (global funcref (ref.null func))
9 (global (ref null $t) (ref.null $t))
12 (assert_return (invoke "externref") (ref.null extern))
13 (assert_return (invoke "funcref") (ref.null func))
14 (assert_return (invoke "ref") (ref.null))