void gui_options_show();
void gui_options_load();