struct  printf_arguments {
   int i ;
   double d ;
   char  *3s  &4;
   long long ll ;
};
struct  elem {
   int f1 ;
   int f2 ;
   int nested[8 ]8  &9;
};
 extern void __ccuredInit(void) ;
 extern void abort_deepcopy(char  * errmsg  ) ;
int foo(struct elem   *13array   &15,
        int len  )  &14;
 int foo(struct elem   *13array   &15,
        int len  ) 
{ int  * pnested ;
  int  *19pnestedseq  &20;

  {
  array = array  + len;
  pnested = & array->f2;
  pnestedseq = & array->nested [2];
  pnestedseq = pnestedseq  + len;
  return (0);
}
}