void draw_menu_init(void); void draw_menu(void);