package foo:foo

world the-world {
  export y: func()
}