package foo:bar; world foo { export foo: func() -> (%name2: f32); } world bar { include foo; record foo {} }