/* 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>
#include <string.h>
#include <stdlib.h>

extern char *itoa(int);

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();
}