#include<civlc.cvh>

int main(){
  int a=10, i=0;

  $when(a<100){
    while(a>0 && i<10){
      a=a-1;
      i++;
      $assert(a==10-i);
      int a=-1;
      $assert(a==-1);
    }
    $assert(a>=0);
    int a=-1;
    $assert(a==-1);
  }
}