;;; RUN: %(wat2wasm)s -o %(out_dir)s/tmp.wasm
;;; ARGS: -
;;; STDIN: %(in_file)s
;;; RUN: %(wasm-objdump)s -x
;;; STDIN: %(out_dir)s/tmp.wasm
;;; ARGS: -
(module
  (func (result i32)
    i32.const 42
    return)
)
(;; STDOUT ;;;

<stdin>:	file format wasm 0x1

Section Details:

Type[1]:
 - type[0] () -> i32
Function[1]:
 - func[0] sig=0
Code[1]:
 - func[0] size=5
;;; STDOUT ;;)
