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