text: // RUN: %crabllvm -O0 --crab-dom=w-int --crab-check=assert "%s" 2>&1 | OutputCheck %s
  // CHECK: ^1  Number of total safe checks$
  // CHECK: ^0  Number of total error checks$
  // CHECK: ^0  Number of total warning checks$
  
  extern int nd(void);
  extern void process(char);
  extern void __CRAB_assert(int);
  
  int main() {
    char x,y;
    
    y=-10;
    if(nd()) x=0;
    else  x=100;
    while (x >= y){   
      x = x-y;        
    }                 
    __CRAB_assert(x >= -128 && x <= -119); 
    return 0;
  }
  