void exit(int exit_code);
exit returns to the startup code and performs the appropriate cleanup process.