4 /*---------------------------------------------------------------------------*/
9 void gui_most_coins(int, int, int);
10 void set_most_coins(int, int);
11 void gui_best_times(int, int, int);
12 void set_best_times(int, int);
14 void gui_keyboard(int);
15 void gui_keyboard_lock(void);
16 char gui_keyboard_char(char);
18 /*---------------------------------------------------------------------------*/