package foo:foo; interface foo { a: func(); } world module { import foo; }