| ;;; TOOL: wast2json | |
| ;;; ARGS: -v | |
| (module binary | |
| "\00asm" "\01\00\00\00" | |
| "\04\04\01" ;; Table section with 1 entry | |
| "\70\00\00" ;; no max, minimum 0, funcref | |
| "\09\09\01" ;; Element section with 1 entry | |
| "\02" ;; Element with explicit table index | |
| "\80\00" ;; Table index 0, encoded with 2 bytes | |
| "\41\00\0b\00\00" ;; (i32.const 0) with no elements | |
| ) | |
| (;; STDERR ;;; | |
| 0000000: 0061 736d 0100 0000 0404 0170 0000 0909 | |
| 0000010: 0102 8000 4100 0b00 00 ; | |
| ;;; STDERR ;;) |