structprintf_arguments { int i ; double d ; char
*3s
&4; long long ll ; };
extern void __ccuredInit(void) ;
extern void abort_deepcopy(char * errmsg ) ;
extern int /*1*/__ccured_has_empty_mangling(unsigned int ) ;
extern void
*29/*2*/__trusted_cast(unsigned int p )
&31;
extern unsigned int /*3*/wrapperAlloc(unsigned int ) ;
extern char
*34/*4*/__mkptr_string(char
*35p )
&36;
extern void
*37/*5*/__trusted_cast(unsigned int p )
&39;
extern void
*41/*6*/__trusted_deepcast(void
*42p )
&43;
extern void
*44/*7*/__mkptr_size(void
*45p , unsigned int len )
&46; int main(int argc , char
*9
*10__argv_input
&13)
&11;
int main(int argc , char
*9
*10__argv_input
&13) { char
*14
*15argv
&16; char
*17p
&18; int no_mangling5 ; int num_strings6 ; char
*21
*22p_argv7
&23; unsigned int argvsize8 ; char
*25
*26tmp_argv9
&27; { { no_mangling5 = 0; if (__argv_input) { { no_mangling5 = /*1*/__ccured_has_empty_mangling (sizeof((*argv))); } } else { { no_mangling5 = 1; } } num_strings6 = 0; p_argv7
= __argv_input; while ((unsigned int )(*p_argv7)) { { num_strings6 = num_strings6 + 1; p_argv7 = (char
*21
*22)/*2*/__trusted_cast ((
void
*32)((long )p_argv7 + sizeof((*__argv_input)))); } } if (no_mangling5) { { tmp_argv9 = (char
*25
*26)/*6*/__trusted_deepcast (__argv_input); argv = (
char
*14
*15)/*7*/__mkptr_size (
tmp_argv9, (1 + num_strings6) * sizeof((*argv))); } } else { { argvsize8 = (1 + num_strings6) * sizeof((*argv)); argv = (char
*14
*15)/*3*/wrapperAlloc (argvsize8); while (num_strings6 >= 0) { { (*(argv
+ num_strings6)) = (
char
*14)/*4*/__mkptr_string (
(*p_argv7)); p_argv7 = (char
*21
*22)/*5*/__trusted_cast ((
void
*40)((long )p_argv7 - sizeof((*__argv_input)))); num_strings6 = num_strings6 - 1; } } } } } __ccuredAlwaysStopOnError = 0; __ccuredUseStrings = 1; __ccuredLogNonPointers = 0; __ccuredInit (); while ((*argv)) { p
= (*argv); while ((*p)) { p = p
+ 1; } argv = argv
+ 1; } return (0); } }