;;; TOOL: run-roundtrip
;;; ARGS: --stdout --debug-names
(module (func (local i32 i32) (local $b i32) (local i32)))
(;; STDOUT ;;;
(module
  (type (;0;) (func))
  (func (;0;) (type 0)
    (local i32 i32) (local $b i32) (local i32)))
;;; STDOUT ;;)
