void c_quit() { exit(0); }