;;; TOOL: wast2json
(assert_invalid (module binary "\00ASM") "bad magic")
(module)