#include <machine/syscall.h>
#include "internal_syscall.h"
/* Exit a program without cleaning up files. */
void
_exit(int exit_status)
{
syscall_errno (SYS_exit, exit_status, 0, 0, 0, 0, 0);
while (1);
}