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