+ CommandInterpreter &get_command_interpreter() { return cmd_interp; }
+ Tracer &get_tracer() { return tracer; }
+ GlState &get_glstate() { return glstate; }
+ Profiler &get_profiler() { return profiler; }
+ Process &get_process() { return process; }
+ void launch();
+ void quit(bool);