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