(module
  (func (export "foo:foo/a#[constructor]r") (result i32)
    unreachable)
)