;;; TOOL: run-gen-wasm-bad
magic
0xe 0 0 0
(;; STDERR ;;;
0000008: error: bad wasm file version: 0xe (expected 0x1)
0000008: error: bad wasm file version: 0xe (expected 0x1)
;;; STDERR ;;)