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

;;; STDOUT ;;)
