#include <civlc.cvh>

int main() {
  int x = 0;
  int y = 0;

  $run {
    while( x < 3 ){}
    $assert(x == 3);   
  }
  for(int y = 0; x < 3; x++) y++;
  return 0;   	 
}