void launch();
void send(GlPacket *);
void hold();
+private:
+ void send_breakpoint(unsigned short, unsigned char, unsigned char);
+public:
void set_breakpoint(unsigned short, unsigned char, Tool *);
void clear_breakpoint(unsigned short, unsigned char, Tool *);
void resume_from_break(Tool *);