package foo:foo; world the-world { export the-name: interface { y: func(); } }