void __VERIFIER_assert(int cond) {

}
 
void main(     ){

  while(0) {

    while(0) {
            
 __VERIFIER_assert(0);

    }
         
      __VERIFIER_assert(0);

  }
   
}