4 /*---------------------------------------------------------------------------*/
12 void gui_most_coins(int, int, int);
13 void set_most_coins(int, int);
14 void gui_best_times(int, int, int);
15 void set_best_times(int, int);
17 void gui_keyboard(int);
18 int gui_back_prev_next(int, int, int);
20 /*---------------------------------------------------------------------------*/