package foo:foo;

world a {
    include b;
}

world b {
    include a;
}