#include void Menu_Refresh(); void Menu_Update_Display(void); void Menu_Clear_Buttons(void); gboolean Menu_Check_Buttons(void);