{"name": "main", "code": "int __cdecl main ( int @@argc@@ , const char * * @@argv@@ , const char * * @@envp@@ ) { int @@result@@ ; void * @@ptr@@ ; char @@s@@ [ Number ] ; FILE * @@stream@@ ; if ( @@argc@@ == Number ) { @@stream@@ = fopen ( @@argv@@ [ Number ] , String ) ; if ( @@stream@@ ) { @@ptr@@ = ( void * ) init_dlist ( Number L ) ; if ( @@ptr@@ ) { while ( fgets ( @@s@@ , Number , @@stream@@ ) ) { if ( ( unsigned int ) insert_dlist ( @@s@@ , & @@ptr@@ ) ) { perror ( String ) ; return Number ; } } print_dlist ( @@ptr@@ ) ; free ( @@ptr@@ ) ; fclose ( @@stream@@ ) ; @@result@@ = Number ; } else { perror ( String ) ; @@result@@ = Number ; } } else { fwrite ( String , Number , Number , stderr ) ; @@result@@ = Number ; } } else { printf ( String , * @@argv@@ ) ; @@result@@ = Number ; } return @@result@@ ; }", "source": [{"n": "envp", "t": {"T": 3, "t": "const char *"}, "location": "r16"}, {"n": "argc", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "argv", "t": {"T": 3, "t": "const char *"}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "s", "t": {"T": 2, "n": 1032, "s": 1, "t": "char"}, "location": "s1040"}, {"n": "ptr", "t": {"T": 3, "t": "void"}, "location": "s1048"}, {"n": "stream", "t": {"T": 3, "t": "FILE"}, "location": "s8"}]}