1#include <stdlib.h>
2#include "syscall.h"
3
4_Noreturn void _Exit(int ec)
5{
6	__syscall(SYS_exit_group, ec);
7	for (;;) __syscall(SYS_exit, ec);
8}
9