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