int start_gui(); int gui_continue_request(); int end_gui(); int gui_error(char *);