(module
  (func (export "foo:foo/foo#c") (param i32) (result i32) unreachable)
)