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

char  *19/*1*/strchr_wrapper4(char  * str  , int chr  )  &21;
void foo(char  * s  ) ;
 void foo(char  * s  ) 
{ char  *15res  &16;
  char  *17tmp  &18;

  {
  tmp = ( char  *17)/*1*/strchr_wrapper4 (s, 'q');
  res  = tmp;
  res = res  + 1;
  return;
}
}
 extern void  *34/*2*/__ptrof_nocheck(void  *35ptr  )  &36;
 extern void  *38/*3*/__trusted_cast(unsigned int p  )  &40;
 extern void  *46/*4*/__trusted_cast(void  *47p  )  &48;
 extern char  *55/*5*/__mkptr_string(char  *56p  )  &57;
char  *19/*1*/strchr_wrapper4(char  * str  , int chr  )  &21;
 char  *19/*1*/strchr_wrapper4(char  * str  , int chr  ) 
{ char  *24result  &25;
  char  * safestr ;
  char  * tmp ;
  void  *30tmp___0  &31;
  char  *32tmp___1  &33;

  {
  tmp = (char  * )/*2*/__ptrof_nocheck ((void  *37)str);
  safestr = tmp;
  result = result  + 1;
  result = ( char  *24)/*3*/__trusted_cast (( void  *41)((unsigned long )result + (unsigned long )sizeof((*result))));
  result  = ( char  *42)(( int  *43 *44 *45)result);
  tmp___0 = ( void  *30)/*4*/__trusted_cast ( ( void  *49)result);
  result  = ( char  *50)(( int  *51 *52 *53)tmp___0);
  result = ( char  *24)strchr ((char  * )safestr, chr);
  tmp___1 = ( char  *32)/*5*/__mkptr_string ( result);
   return (tmp___1);
}
}