struct  printf_arguments {
   int i ;
   double d ;
   char  *3s  &4;
   long long ll ;
};
struct  bar {
   int nrInts ;
   int  * ints ;
};
struct  foo {
   int sizeBars ;
   struct bar   * bars ;
};
 extern void __ccuredInit(void) ;
 extern void abort_deepcopy(char  * errmsg  ) ;
 extern void  *23/*1*/__mkptr_size(void  *24p  ,
                               unsigned int len  )  &25;
 extern unsigned int /*2*/malloc(int   ) ;
 extern void  *29/*3*/__ptrof_size(void  *30ptr  ,
                               unsigned int size  )  &31;
void init(struct foo   * pFoo  ) ;
 void init(struct foo   * pFoo  ) 
{ int nrBars ;
  struct bar   * bars_withsize4 ;
  struct bar   *21bars_withsize5  &22;

  {
  nrBars = 5;
  bars_withsize4 = (struct bar   * )/*1*/__mkptr_size (pFoo->bars, pFoo->sizeBars);
  pFoo->bars = 0;
  pFoo->sizeBars = (int )((unsigned int )nrBars * sizeof((*bars_withsize4)));
  bars_withsize5 = (struct bar   *21)/*2*/malloc (pFoo->sizeBars);
  pFoo->bars = (struct bar   * )/*3*/__ptrof_size ( bars_withsize5,
                                                 pFoo->sizeBars);
  return;
}
}