interface query { query.idl void source(in string file); long eval(in string cmd); string result(in long id); oneway void halt(); };