void button_press_event(int, int, unsigned, unsigned);
void button_release_event(int, int, unsigned, unsigned);
void pointer_motion_event(int, int);
void key_press_event(unsigned, unsigned, wchar_t);
void key_release_event(unsigned, unsigned);
void button_press_event(int, int, unsigned, unsigned);
void button_release_event(int, int, unsigned, unsigned);
void pointer_motion_event(int, int);
void key_press_event(unsigned, unsigned, wchar_t);
void key_release_event(unsigned, unsigned);