int gui_count(int, int, int, int);
int gui_clock(int, int, int, int);
int gui_space(int);
-int gui_pause(int);
/*---------------------------------------------------------------------------*/
void gui_timer(int, float);
int gui_point(int, int, int);
int gui_stick(int, int, int);
+void gui_stuck(void);
int gui_click(void);
-void gui_blank(void);
void gui_focus(int);
int gui_token(int);