#include <stdlib.h>

/* Abnormally terminate the current process */
_Noreturn void
abort(void)
{
	/* In future, this should raise the SIGABRT signal */
	exit(EXIT_FAILURE);
}