/* Copyright (C) 1996 Robert de Bath <rdebath@cix.compulink.co.uk>
 * This file is part of the Linux-8086 C library and is distributed
 * under the GNU Library General Public License.
 */

#include <unistd.h>

static void errput(str)
const char * str;
{
   write(2, str, strlen(str));
}

void
__assert(assertion, filename, linenumber)
const char * assertion;
const char * filename;
int linenumber;
{
   errput("Failed assertion '");
   errput(assertion);
   errput("' in file ");
   errput(filename);
   errput(" at line ");
   errput(itoa(linenumber));
   errput(".\n");
   abort();
}