module universe { universe interface world { void hello(); void ask(in string x); string tell(); oneway void halt(); }; };