;;; 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 ;;)