package foo:foo; world the-world { import imports: interface { y: func(); } }