
void source(in string file);
long eval(in string cmd);
string result(in long id);
oneway void halt();
};
void source(in string file);
long eval(in string cmd);
string result(in long id);
oneway void halt();
};