void abort() { };
                                                         
  
                                    
                                                 
                                  
  
                                                                          
  
                                      

                                                                                                     
                                                     
                                                                                                                                               
                                                                                                       

                                                                                                                                                       
                  
 
                                                      
 

void func_to_recursive_line_21_to_21_0(int *b)
{
  if ((*b) < 6)
  {
    {
      {
      }
      ++(*b);
    }
    func_to_recursive_line_21_to_21_0(b);
  }
  else
  {
  }
}

void func_to_recursive_line_20_to_21_0(int *b, int *a)
{
  if ((*a) < 6)
  {
    {
      {
        {
          *b = 0;
          func_to_recursive_line_21_to_21_0(&(*b));
        }
      }
      ++(*a);
    }
    func_to_recursive_line_20_to_21_0(b, a);
  }
  else
  {
  }
}

int main()
{
  int a = 6;
  int b = 6;
  {
    a = 0;
    func_to_recursive_line_20_to_21_0(&b, &a);
  }
  if (!((a == 6) && (b == 6)))
  {
    /*@ assert(0); */;
  }
  else
  {
  }
  return 1;
}