
#include <stdio.h>
#include <stdlib.h>
#include "basictypes.h"

__attribute__ ((noreturn))
void vex_assert_fail ( const Char* expr,
                       const Char* file, Int line, const Char* fn )
{
   fprintf(stderr, "\nvex: %s:%d (%s): Assertion `%s' failed.\n",
                   file, line, fn, expr );
   exit(1);
}

__attribute__ ((noreturn))
void panic ( Char* str )
{
   fprintf(stderr, "\nvex: the `impossible' happened:\n   %s\n", str);
   exit(1);
}