;;; TOOL: run-roundtrip
;;; ARGS: --stdout --inline-export
(module
  (func $foo
    nop)
  (export "foo" (func $foo)))
(;; STDOUT ;;;
(module
  (type (;0;) (func))
  (func (;0;) (export "foo") (type 0)
    nop))
;;; STDOUT ;;)
