;;; TOOL: wast2json
(assert_malformed
  (module binary
    "\00asm\bc\0a\00\00")
  "unknown binary version")
