#include <stdlib.h>
#include <signal.h>
#include "syscall.h"

void abort(void)
{
	raise(SIGABRT);
	raise(SIGKILL);
	for (;;);
}