#include <stdlib.h>
#include <bits/stdlib.h>
void abort(int rc)
{
/* TODO: Close BFile handles (essential) */
raise(SIGABRT);
_Exit(EXIT_FAILURE);
}