package foo:foo;

world foo {
  include foo;
}