void main_quit();