struct  printf_arguments {
   int i ;
   double d ;
   char  *3s  &4;
   long long ll ;
};
 typedef unsigned int size_t;
 typedef long long __quad_t;
 typedef long __off_t;
 typedef __quad_t  __off64_t;
struct _IO_FILE;
 typedef struct _IO_FILE  FILE;
struct __ccured_va_list;
struct _IO_FILE;
 typedef void _IO_lock_t;
struct  _IO_marker {
   struct _IO_marker   *6_next  &7;
   struct _IO_FILE   *8_sbuf  &9;
   int _pos ;
};
struct  _IO_FILE {
   int _flags ;
   char  * _IO_read_ptr ;
   char  * _IO_read_end ;
   char  * _IO_read_base ;
   char  * _IO_write_base ;
   char  * _IO_write_ptr ;
   char  * _IO_write_end ;
   char  * _IO_buf_base ;
   char  * _IO_buf_end ;
   char  * _IO_save_base ;
   char  * _IO_backup_base ;
   char  * _IO_save_end ;
   struct _IO_marker   *34_markers  &35;
   struct _IO_FILE   *36_chain  &37;
   int _fileno ;
   int _flags2 ;
   __off_t  _old_offset ;
   unsigned short _cur_column ;
   signed char _vtable_offset ;
   char _shortbuf[1] ;
   _IO_lock_t   * _lock ;
   __off64_t  _offset ;
   void  *48__pad1  &49;
   void  *50__pad2  &51;
   int _mode ;
   char _unused2[(int )(15U * sizeof(int ) - 2U * sizeof(void  * ))] ;
};
 typedef struct _IO_FILE  _IO_FILE;
struct  scanf_format {
   int  * p_int ;
   double  * p_double ;
   long  * p_long ;
   unsigned int  * p_uint ;
   unsigned long  * p_ulong ;
   char  * p_char ;
   short  * p_short ;
   long long  * p_longlong ;
   unsigned long long  * p_ulonglong ;
};
struct  __ccured_va_list {
   int next ;
};
 unsigned long GCC_STDARG_START(void) ;
 extern void __ccuredInit(void) ;
 extern void ccured_fail(int msgId  , char const    * file  , int line  ,
                        char const    * function  ) ;
 extern unsigned int __ccured_mult_u32(unsigned int x  , unsigned int y  ) ;
 extern void abort_deepcopy(char  * errmsg  ) ;
struct _IO_FILE_COMPAT;
 typedef struct _IO_FILE_COMPAT  _IO_FILE_COMPAT;
struct _IO_marker_COMPAT;
struct  _IO_FILE_COMPAT {
   int _flags ;
   char  * _IO_read_ptr ;
   char  * _IO_read_end ;
   char  * _IO_read_base ;
   char  * _IO_write_base ;
   char  * _IO_write_ptr ;
   char  * _IO_write_end ;
   char  * _IO_buf_base ;
   char  * _IO_buf_end ;
   char  * _IO_save_base ;
   char  * _IO_backup_base ;
   char  * _IO_save_end ;
   struct _IO_marker_COMPAT   *105_markers  &106;
   struct _IO_FILE_COMPAT   *107_chain  &108;
   int _fileno ;
   int _flags2 ;
   __off_t  _old_offset ;
   unsigned short _cur_column ;
   signed char _vtable_offset ;
   char _shortbuf[1] ;
   _IO_lock_t   * _lock ;
   __off64_t  _offset ;
   void  *119__pad1  &120;
   void  *121__pad2  &122;
   int _mode ;
   char _unused2[(int )(15U * sizeof(int ) - 2U * sizeof(void  * ))] ;
};
 extern int _IO_getc(_IO_FILE_COMPAT   *126__fp  )  &127;
struct  _IO_marker_COMPAT {
   struct _IO_marker_COMPAT   *128_next  &129;
   struct _IO_FILE_COMPAT   *130_sbuf  &131;
   int _pos ;
};
 extern int _IO_putc(int __c  ,
                    _IO_FILE_COMPAT   *133__fp  )  &134;
 typedef struct _IO_FILE_COMPAT  FILE_COMPAT;
 extern int fclose(FILE_COMPAT   *135__stream  )  &136;
 extern int fflush(FILE_COMPAT   *137__stream  )  &138;
 extern FILE_COMPAT   *139fopen(char const    * __filename  ,
                          char const    * __modes  )  &142;
 extern FILE_COMPAT   *143fdopen(int __fd  , char const    * __modes  )  &145;
 extern int ( __CCUREDFORMAT(3) __CCUREDVARARG(struct printf_arguments ) /* format attribute */  vsnprintf)(char  * __s  ,
                                                                                                           size_t  __maxlen  ,
                                                                                                           char const    * __format  ,
                                                                                                           struct __ccured_va_list   * __arg  ) ;
 extern int fgetc(FILE_COMPAT   *150__stream  )  &151;
 extern int fputc(int __c  ,
                 FILE_COMPAT   *152__stream  )  &153;
 extern char  * fgets(char  * __s  , int __n  ,
                     FILE_COMPAT   *156__stream  )  &157;
 extern int fputs(char const    * __s  ,
                 FILE_COMPAT   *159__stream  )  &160;
 extern int puts(char const    * __s  ) ;
 extern size_t  fread(void  *163__ptr  , size_t  __size  ,
                    size_t  __n  ,
                    FILE_COMPAT   *164__stream  )  &165;
 extern size_t  fwrite(void const    *166__ptr  ,
                     size_t  __size  , size_t  __n  ,
                     FILE_COMPAT   *167__s  )  &168;
 extern int fseek(FILE_COMPAT   *169__stream  ,
                 long __off  , int __whence  )  &170;
 extern void clearerr(FILE_COMPAT   *171__stream  )  &172;
 extern int ferror(FILE_COMPAT   *173__stream  )  &174;
 extern void perror(char const    * __s  ) ;
 extern int fileno(FILE_COMPAT   *177__stream  )  &178;
 extern void ccured_fscanf_string_len(FILE   *179  ,
                                     char  * format  , char  * buffer  ,
                                     long bufflen  )  &182;
//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

//

 extern void __ccured_va_start(struct __ccured_va_list   *   , unsigned long   ) ;
 extern void __ccured_va_end(struct __ccured_va_list   *   ) ;
 extern int __ccured_vsnprintf(char  * buffer  , int size  ,
                              char const    * format  ,
                              struct __ccured_va_list   * args  ) ;
//

//

//

//

//

struct  __ccured_va_localinfo {
   int next ;
   int count ;
   int tags[32] ;
   void  * nextp ;
};
 void __ccured_va_init(struct __ccured_va_list   * vainfo  ) ;
static int ( __CCUREDFORMAT(3) __CCUREDVARARG(struct printf_arguments )  /*1*/vsnprintf_wrapper)(char  *203buf   &218,
                                                                                                 size_t  n  ,
                                                                                                 char const    *204format   &220,
                                                                                                 struct __ccured_va_list   * ap  )  &206;
static int /*2*/puts_wrapper(char  * s  ) ;
void myprintf(int level  ,
              char const    *191fmt   &194
              , ...)  &192;
 void myprintf(int level  ,
              char const    *191fmt   &194
              , ...) 
{ struct __ccured_va_list   * ap ;
  char msgbuf[2048 ]197  &198;
  unsigned long tmp ;
  struct __ccured_va_localinfo  ap__vainfo6 ;

  {
  ap = & ap__vainfo6;
  __ccured_va_init (ap);
  tmp = GCC_STDARG_START ();
  __ccured_va_start (ap, tmp);
  /*1*/vsnprintf_wrapper ( (char  *207)(msgbuf),
                         sizeof(msgbuf),
                          ( char const    *208)fmt,
                         ap);
  /*2*/puts_wrapper ((char const    * )(msgbuf));
  __ccured_va_end (ap);
  return;
}
}
 extern int __ccured_va_count ;
 extern int __ccured_va_tags[32] ;
int main(void) ;
 int main(void) 
{ 

  {
  __ccuredAlwaysStopOnError = 0;
  __ccuredUseStrings = 1;
  __ccuredLogNonPointers = 0;
  __ccuredInit ();
  __ccured_va_tags [0] = 1 | (0 << 8);
  __ccured_va_count  = 2;
  myprintf (0,  (char  *216)"Hello, %s! 2+2=%d\n",
           (char const    * )((char  * )"world"), 4);
  return (0);
}
}
 extern void /*3*/__write_at_least(void  *227ptr  ,
                                  unsigned int n  )  &228;
 extern char  * /*4*/__stringof(char const    *231ptr  )  &232;
 extern void  *233/*5*/__ptrof(void  *234ptr  )  &235;
static int ( __CCUREDFORMAT(3) __CCUREDVARARG(struct printf_arguments )  /*1*/vsnprintf_wrapper)(char  *203buf   &218,
                                                                                                 size_t  n  ,
                                                                                                 char const    *204format   &220,
                                                                                                 struct __ccured_va_list   * ap  )  &206;
 static int ( __CCUREDFORMAT(3) __CCUREDVARARG(struct printf_arguments )  /*1*/vsnprintf_wrapper)(char  *203buf   &218,
                                                                                                 size_t  n  ,
                                                                                                 char const    *204format   &220,
                                                                                                 struct __ccured_va_list   * ap  ) 
{ char  * tmp ;
  void  *224tmp___0  &225;
  int tmp___1 ;

  {

  /*3*/__write_at_least ( ( void  *229)buf,
                        n);
  tmp = (char  * )/*4*/__stringof ( format);
  tmp___0 = (void  *224)/*5*/__ptrof ( ( void  *236)buf);
  tmp___1 = __ccured_vsnprintf ((char  * )tmp___0, (int )n,
                               (char const    * )tmp, ap);
  return (tmp___1);
}
}
 extern void  *243/*6*/__ptrof(void  *244ptr  )  &245;
static int /*2*/puts_wrapper(char  * s  ) ;
 static int /*2*/puts_wrapper(char  * s  ) 
{ void  *240tmp  &241;
  int tmp___0 ;

  {
  tmp = (void  *240)/*6*/__ptrof ((void  *246)s);
  tmp___0 = puts ((char const    * )tmp);
  return (tmp___0);
}
}
struct  autoVarargDescr_myprintf {
   int auto0 ;
   char const    * auto1 ;
};