void tick();
void key_press(unsigned, unsigned, wchar_t);
void button_press(int, int, unsigned, unsigned);
void button_release(int, int, unsigned, unsigned);
void pointer_motion(int, int);
void view_all();
void tick();
void key_press(unsigned, unsigned, wchar_t);
void button_press(int, int, unsigned, unsigned);
void button_release(int, int, unsigned, unsigned);
void pointer_motion(int, int);
void view_all();