;;; TOOL: run-roundtrip
;;; FLAGS: --debug-names
(module
  (import "bar" "foo" (func $foo)))
