#include <iostream>
using namespace std;

extern int line_count;  // from gpl.l

void __gpl_assert(const char *filename, int line, const char *text)
{
    cerr << "assertion \"" << text << "\" failed: file \""
         << filename << "\", line " << line 
         << ".  Input line " << line_count << "."
         << endl;

    exit(1);
}