package foo:foo;

world module {
}