extern void exit(int status);