package foo:foo; interface multi-return { mra: func(); mrb: func() -> (); mrc: func() -> u32; } world the-world { import multi-return; export multi-return; }