/* ----------------------------------------------------------------------------
 * $Id$
 * ----------------------------------------------------------------------------
 * Public Domain C Library - http://pdclib.sourceforge.net
 * This code is Public Domain. Use, modify, and redistribute at will.
 * --------------------------------------------------------------------------*/

void abort( void ) { /* TODO */ };

/* PDPC code - unreviewed
{
    raise(SIGABRT);
    exit(EXIT_FAILURE);
}
*/