In spec/test/core/binary.wast:1409, the content is:
;; Malformed table limits flag
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\05\03\01" ;; table section with one entry
"\70" ;; anyfunc
"\02" ;; malformed table limits flag
)
"integer too large"
)
However, the ID of table section is 4, so "\05\03\01" should be "\04\03\01".
Similar bugs are existing until line 1487.