void ok_quit();