package foo:empty;

interface empty {}

world empty-world {
  import empty;
  import empty: interface {}
  export empty;
  export empty2: interface {}
}

world actually-empty-world {}