extern "C" void abort(void);

int main(int argc, char * argv[])
{
  abort();
}