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

void abort(void)
{
	/* TODO: Close BFile handles (essential) */

	raise(SIGABRT);
	/* If the signal handler ever returns, leave on our own */
	_Exit(EXIT_FAILURE);
}