4 /*---------------------------------------------------------------------------*/
8 void gui_most_coins(int, int, int);
9 void set_most_coins(int, int);
10 void gui_best_times(int, int, int);
11 void set_best_times(int, int);
13 void gui_keyboard(int);
15 /*---------------------------------------------------------------------------*/