struct  printf_arguments {
   int i ;
   double d ;
   char  *3s  &4;
   long long ll ;
};
 extern void __ccuredInit(void) ;
 extern void abort_deepcopy(char  * errmsg  ) ;
//

struct  /*1*/list {
   void  *10car  &11;
   struct /*1*/list   *12cdr  &13;
};
struct  /*2*/list {
   void  *15car  &16;
   struct /*2*/list   *17cdr  &18;
};
struct  /*3*/list {
   void  *20car  &21;
   struct /*3*/list   *22cdr  &23;
};
int /*4*/length(struct /*5*/list   *45l   &59)  &46;
struct  /*5*/list {
   void  *41car  &42;
   struct /*5*/list   *43cdr  &44;
};
int /*6*/length(struct /*7*/list   *51l   &62)  &52;
struct  /*7*/list {
   void  *47car  &48;
   struct /*7*/list   *49cdr  &50;
};
int /*8*/length(struct /*9*/list   *57l   &65)  &58;
struct  /*9*/list {
   void  *53car  &54;
   struct /*9*/list   *55cdr  &56;
};
int main(void) ;
 int main(void) 
{ struct /*1*/list  list_of_int  &14;
  struct /*2*/list  list_of_wild_ptr  &19;
  struct /*3*/list  wild_list  &24;
  int l1 ;
  int tmp ;
  int l2 ;
  int tmp___0 ;
  int l3 ;
  int tmp___1 ;

  {
  __ccuredAlwaysStopOnError = 0;
  __ccuredUseStrings = 1;
  __ccuredLogNonPointers = 0;
  __ccuredInit ();
  list_of_int.car  = ( void  *32)5;
  list_of_int.cdr = 0;
  list_of_wild_ptr.car  = ( void  *35)(( int  *36)5);
  list_of_wild_ptr.cdr = 0;
  wild_list.car  = ( void  *39)5;
  wild_list.cdr = 0;
  tmp = /*4*/length ( & list_of_int);
  l1 = tmp;
  tmp___0 = /*6*/length ( & list_of_wild_ptr);
  l2 = tmp___0;
  tmp___1 = /*8*/length ( & wild_list);
  l3 = tmp___1;
  return (0);
}
}
int /*4*/length(struct /*5*/list   *45l   &59)  &46;
 int /*4*/length(struct /*5*/list   *45l   &59) 
{ int i ;

  {
  i = 0;
  while (l) {
    i = i + 1;
    l = l->cdr;
  }
  return (0);
}
}
int /*6*/length(struct /*7*/list   *51l   &62)  &52;
 int /*6*/length(struct /*7*/list   *51l   &62) 
{ int i ;

  {
  i = 0;
  while (l) {
    i = i + 1;
    l = l->cdr;
  }
  return (0);
}
}
int /*8*/length(struct /*9*/list   *57l   &65)  &58;
 int /*8*/length(struct /*9*/list   *57l   &65) 
{ int i ;

  {
  i = 0;
  while (l) {
    i = i + 1;
    l = l->cdr;
  }
  return (0);
}
}