text: // SKIP PARAM: --set ana.activated[+] apron --set ana.path_sens[+] threadflag --enable ana.int.interval
  int ARR_SIZE ;
  
  int main() {
      int count = 0;
      while(count<ARR_SIZE) {
          count++;
      }
      return 0 ;
  }
  