package foo:foo; world foo { import a: func(); } world bar { import a: func(); } world baz { include foo; include bar; }