1;;! target = "x86_64"
2;;! test = "winch"
3
4(module
5  (func (export "ref-null") (result funcref)
6    (ref.null func)
7  )
8)
9;; wasm[0]::function[0]:
10;;       pushq   %rbp
11;;       movq    %rsp, %rbp
12;;       movq    8(%rdi), %r11
13;;       movq    0x18(%r11), %r11
14;;       addq    $0x10, %r11
15;;       cmpq    %rsp, %r11
16;;       ja      0x3d
17;;   1c: movq    %rdi, %r14
18;;       subq    $0x10, %rsp
19;;       movq    %rdi, 8(%rsp)
20;;       movq    %rsi, (%rsp)
21;;       movl    $0, %eax
22;;       addq    $0x10, %rsp
23;;       popq    %rbp
24;;       retq
25;;   3d: ud2
26