#include<civlc.cvh>

int x;

void thread(){
  while(x<5)
    x++;
}

int main(){
  $proc ps[2];

  for(int i=0; i<2; i++)
    ps[i]=$spawn thread();
  if(x<5){
  Loop: goto Loop;
  }
  $assert(x==5||x==6);
  $waitall(ps, 2);
}