package foo:foo;

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