void abort() { };
                                                         
  
                                    
                                                 
                                  
  
                                                                          
  
                                      

                                                                                                     
                                                     
                                                                                                                    
                                                                                                       

                                                                                                                                                       
                  
 
                                                      
 

void func_to_recursive_line_19_to_19_0(int *a)
{
  if ((*a) < 6)
  {
    {
      {
      }
      ++(*a);
    }
    func_to_recursive_line_19_to_19_0(a);
  }
  else
  {
  }
}

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