text: extern void __VERIFIER_error() __attribute__ ((__noreturn__));
  
  void __VERIFIER_assert(int cond) {
    if (!(cond)) {
      ERROR: __VERIFIER_error();
    }
    return;
  }
  
  int main(void) {
    unsigned int x = 0;
  
    while (x < 0x0fffffff) {
      if (x < 0xfff0) {
        x++;
      } else {
        x += 2;
      }
    }
  
    __VERIFIER_assert(!(x % 2));
  }
  