package foo:foo;

world module {
  export a: func();
}