void c_quit(char *b) { exit(0); }