display_console   979 core/gui.c         void display_console();
display_console   980 core/gui.c         display_console();