main_quit

void main_quit();