//SKIP PARAM: --set ana.activated[+] affeq --sem.int.signed_overflow "assume_none"  --enable ana.int.interval
// FIXPOINT: Error in leq check led to verify error

int main() {
  int n, a, b;

  n = a - b;
  while (n--) {

  }

  return 0;
}
