rers.c

void __VERIFIER_error(int i) {
  fprintf(stderr, "error_%d\n", i);
  assert(0);
}

#define __VERIFIER_error(x) \
  do {                      \
    int error_ ## x = 0;    \
    assert(error_ ## x);    \
  } while(0)