void exit(int error_code);