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