gui_menu_draw_symbol  807 core/gui_menu.c     gui_menu_draw_symbol(1);
gui_menu_draw_symbol  827 core/gui_menu.c     gui_menu_draw_symbol(num_symbols);
gui_menu_draw_symbol  889 core/gui_menu.c     gui_menu_draw_symbol(1);
gui_menu_draw_symbol 1063 core/gui_menu.c                 gui_menu_draw_symbol(1);
gui_menu_draw_symbol 1071 core/gui_menu.c                 gui_menu_draw_symbol(1);