
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

void report(char *format,va_list args)

{
  undefined *puVar1;
  
  fflush(*(FILE **)PTR_stdout_0003ffd0);
  puVar1 = PTR_stderr_0003ffa8;
  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",program_name);
  vfprintf(*(FILE **)puVar1,format,args);
  putc(10,*(FILE **)puVar1);
  return;
}



/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void FUN_0002c880(char *param_1,__gnuc_va_list param_2)

{
  undefined *puVar1;
  
  fflush(*(FILE **)PTR_stdout_0003ffd0);
  puVar1 = PTR_stderr_0003ffa8;
  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);
  vfprintf(*(FILE **)puVar1,param_1,param_2);
  putc(10,*(FILE **)puVar1);
  return;
}


PUSH ESI
PUSH EBX
CALL 0x000166c0
ADD EBX,0x13779
SUB ESP,0x10
MOV EAX,dword ptr [EBX + 0xffffffd0]
PUSH dword ptr [EAX]
CALL 0x000130d0
LEA EAX,[EBX + 0xd6c]
MOV ESI,dword ptr [EBX + 0xffffffa8]
ADD ESP,0xc
PUSH dword ptr [EAX]
LEA EAX,[EBX + 0xffff5333]
PUSH EAX
PUSH dword ptr [ESI]
CALL 0x00013520
ADD ESP,0xc
PUSH dword ptr [ESP + 0x18]
PUSH dword ptr [ESP + 0x18]
PUSH dword ptr [ESI]
CALL 0x000136d0
POP EAX
POP EDX
PUSH dword ptr [ESI]
PUSH 0xa
CALL 0x00013770
ADD ESP,0x14
POP EBX
POP ESI
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid FUN_0002c880(char *param_1,__gnuc_va_list param_2)\n\n{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);\n  vfprintf(*(FILE **)puVar1,param_1,param_2);\n  putc(10,*(FILE **)puVar1);\n  return;\n}\n\n" comment (function_definition "void FUN_0002c880(char *param_1,__gnuc_va_list param_2)\n\n{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);\n  vfprintf(*(FILE **)puVar1,param_1,param_2);\n  putc(10,*(FILE **)puVar1);\n  return;\n}" primitive_type (function_declarator "FUN_0002c880(char *param_1,__gnuc_va_list param_2)" identifier (parameter_list "(char *param_1,__gnuc_va_list param_2)" ( (parameter_declaration "char *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "__gnuc_va_list param_2" type_identifier identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);\n  vfprintf(*(FILE **)puVar1,param_1,param_2);\n  putc(10,*(FILE **)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "fflush(*(FILE **)PTR_stdout_0003ffd0);" (call_expression "fflush(*(FILE **)PTR_stdout_0003ffd0)" identifier (argument_list "(*(FILE **)PTR_stdout_0003ffd0)" ( (pointer_expression "*(FILE **)PTR_stdout_0003ffd0" * (cast_expression "(FILE **)PTR_stdout_0003ffd0" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "puVar1 = PTR_stderr_0003ffa8;" (assignment_expression "puVar1 = PTR_stderr_0003ffa8" identifier = identifier) ;) (expression_statement "fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);" (call_expression "fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c)" identifier (argument_list "(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c)" ( (pointer_expression "*(FILE **)PTR_stderr_0003ffa8" * (cast_expression "(FILE **)PTR_stderr_0003ffa8" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , (string_literal ""%s: "" " string_content ") , identifier ))) ;) (expression_statement "vfprintf(*(FILE **)puVar1,param_1,param_2);" (call_expression "vfprintf(*(FILE **)puVar1,param_1,param_2)" identifier (argument_list "(*(FILE **)puVar1,param_1,param_2)" ( (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , identifier , identifier ))) ;) (expression_statement "putc(10,*(FILE **)puVar1);" (call_expression "putc(10,*(FILE **)puVar1)" identifier (argument_list "(10,*(FILE **)puVar1)" ( number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\nvoid report(char *format,va_list args)\n\n{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",program_name);\n  vfprintf(*(FILE **)puVar1,format,args);\n  putc(10,*(FILE **)puVar1);\n  return;\n}\n\n" comment comment (function_definition "void report(char *format,va_list args)\n\n{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",program_name);\n  vfprintf(*(FILE **)puVar1,format,args);\n  putc(10,*(FILE **)puVar1);\n  return;\n}" primitive_type (function_declarator "report(char *format,va_list args)" identifier (parameter_list "(char *format,va_list args)" ( (parameter_declaration "char *format" primitive_type (pointer_declarator "*format" * identifier)) , (parameter_declaration "va_list args" type_identifier identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",program_name);\n  vfprintf(*(FILE **)puVar1,format,args);\n  putc(10,*(FILE **)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "fflush(*(FILE **)PTR_stdout_0003ffd0);" (call_expression "fflush(*(FILE **)PTR_stdout_0003ffd0)" identifier (argument_list "(*(FILE **)PTR_stdout_0003ffd0)" ( (pointer_expression "*(FILE **)PTR_stdout_0003ffd0" * (cast_expression "(FILE **)PTR_stdout_0003ffd0" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "puVar1 = PTR_stderr_0003ffa8;" (assignment_expression "puVar1 = PTR_stderr_0003ffa8" identifier = identifier) ;) (expression_statement "fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",program_name);" (call_expression "fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",program_name)" identifier (argument_list "(*(FILE **)PTR_stderr_0003ffa8,"%s: ",program_name)" ( (pointer_expression "*(FILE **)PTR_stderr_0003ffa8" * (cast_expression "(FILE **)PTR_stderr_0003ffa8" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , (string_literal ""%s: "" " string_content ") , identifier ))) ;) (expression_statement "vfprintf(*(FILE **)puVar1,format,args);" (call_expression "vfprintf(*(FILE **)puVar1,format,args)" identifier (argument_list "(*(FILE **)puVar1,format,args)" ( (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , identifier , identifier ))) ;) (expression_statement "putc(10,*(FILE **)puVar1);" (call_expression "putc(10,*(FILE **)puVar1)" identifier (argument_list "(10,*(FILE **)puVar1)" ( number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_0002c880(char *param_1,__gnuc_va_list param_2)\n\n{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);\n  vfprintf(*(FILE **)puVar1,param_1,param_2);\n  putc(10,*(FILE **)puVar1);\n  return;\n}\n\n" (function_definition "void FUN_0002c880(char *param_1,__gnuc_va_list param_2)\n\n{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);\n  vfprintf(*(FILE **)puVar1,param_1,param_2);\n  putc(10,*(FILE **)puVar1);\n  return;\n}" primitive_type (function_declarator "FUN_0002c880(char *param_1,__gnuc_va_list param_2)" identifier (parameter_list "(char *param_1,__gnuc_va_list param_2)" ( (parameter_declaration "char *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "__gnuc_va_list param_2" type_identifier identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);\n  vfprintf(*(FILE **)puVar1,param_1,param_2);\n  putc(10,*(FILE **)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "fflush(*(FILE **)PTR_stdout_0003ffd0);" (call_expression "fflush(*(FILE **)PTR_stdout_0003ffd0)" identifier (argument_list "(*(FILE **)PTR_stdout_0003ffd0)" ( (pointer_expression "*(FILE **)PTR_stdout_0003ffd0" * (cast_expression "(FILE **)PTR_stdout_0003ffd0" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "puVar1 = PTR_stderr_0003ffa8;" (assignment_expression "puVar1 = PTR_stderr_0003ffa8" identifier = identifier) ;) (expression_statement "fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);" (call_expression "fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c)" identifier (argument_list "(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c)" ( (pointer_expression "*(FILE **)PTR_stderr_0003ffa8" * (cast_expression "(FILE **)PTR_stderr_0003ffa8" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , (string_literal ""%s: "" " string_content ") , identifier ))) ;) (expression_statement "vfprintf(*(FILE **)puVar1,param_1,param_2);" (call_expression "vfprintf(*(FILE **)puVar1,param_1,param_2)" identifier (argument_list "(*(FILE **)puVar1,param_1,param_2)" ( (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , identifier , identifier ))) ;) (expression_statement "putc(10,*(FILE **)puVar1);" (call_expression "putc(10,*(FILE **)puVar1)" identifier (argument_list "(10,*(FILE **)puVar1)" ( number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) , (string_literal " string_content ") , IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) , IDENT , IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (return_statement return ;) })))
(function_definition "void FUN_0002c880(char *param_1,__gnuc_va_list param_2)\n\n{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);\n  vfprintf(*(FILE **)puVar1,param_1,param_2);\n  putc(10,*(FILE **)puVar1);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0002c880(char *param_1,__gnuc_va_list param_2)" (identifier "FUN_0002c880") (parameter_list "(char *param_1,__gnuc_va_list param_2)" (( "(") (parameter_declaration "char *param_1" (primitive_type "char") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "__gnuc_va_list param_2" (type_identifier "__gnuc_va_list") (identifier "param_2")) () ")"))) (compound_statement "{\n  undefined *puVar1;\n  \n  fflush(*(FILE **)PTR_stdout_0003ffd0);\n  puVar1 = PTR_stderr_0003ffa8;\n  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);\n  vfprintf(*(FILE **)puVar1,param_1,param_2);\n  putc(10,*(FILE **)puVar1);\n  return;\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (expression_statement "fflush(*(FILE **)PTR_stdout_0003ffd0);" (call_expression "fflush(*(FILE **)PTR_stdout_0003ffd0)" (identifier "fflush") (argument_list "(*(FILE **)PTR_stdout_0003ffd0)" (( "(") (pointer_expression "*(FILE **)PTR_stdout_0003ffd0" (* "*") (cast_expression "(FILE **)PTR_stdout_0003ffd0" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "PTR_stdout_0003ffd0"))) () ")"))) (; ";")) (expression_statement "puVar1 = PTR_stderr_0003ffa8;" (assignment_expression "puVar1 = PTR_stderr_0003ffa8" (identifier "puVar1") (= "=") (identifier "PTR_stderr_0003ffa8")) (; ";")) (expression_statement "fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);" (call_expression "fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c)" (identifier "fprintf") (argument_list "(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c)" (( "(") (pointer_expression "*(FILE **)PTR_stderr_0003ffa8" (* "*") (cast_expression "(FILE **)PTR_stderr_0003ffa8" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "PTR_stderr_0003ffa8"))) (, ",") (string_literal ""%s: "" (" """) (string_content "%s: ") (" """)) (, ",") (identifier "DAT_00040d6c") () ")"))) (; ";")) (expression_statement "vfprintf(*(FILE **)puVar1,param_1,param_2);" (call_expression "vfprintf(*(FILE **)puVar1,param_1,param_2)" (identifier "vfprintf") (argument_list "(*(FILE **)puVar1,param_1,param_2)" (( "(") (pointer_expression "*(FILE **)puVar1" (* "*") (cast_expression "(FILE **)puVar1" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "puVar1"))) (, ",") (identifier "param_1") (, ",") (identifier "param_2") () ")"))) (; ";")) (expression_statement "putc(10,*(FILE **)puVar1);" (call_expression "putc(10,*(FILE **)puVar1)" (identifier "putc") (argument_list "(10,*(FILE **)puVar1)" (( "(") (number_literal "10") (, ",") (pointer_expression "*(FILE **)puVar1" (* "*") (cast_expression "(FILE **)puVar1" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

void function_1(char *format,type_1 args)

{
  type_2 *puVar1;
  
  var_1(*(type_3 **)PTR_stdout_0003ffd0);
  puVar1 = PTR_stderr_0003ffa8;
  var_2(*(type_3 **)PTR_stderr_0003ffa8,"%s: ",program_name);
  var_3(*(type_3 **)puVar1,format,args);
  var_4(10,*(type_3 **)puVar1);
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier))) (string_literal (string_content)) (identifier)))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier))) (identifier) (identifier)))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier)))))) (return_statement))))

/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void MASKED(char *param_1,__gnuc_va_list param_2)

{
  undefined *puVar1;
  
  fflush(*(FILE **)PTR_stdout_0003ffd0);
  puVar1 = PTR_stderr_0003ffa8;
  fprintf(*(FILE **)PTR_stderr_0003ffa8,"%s: ",DAT_00040d6c);
  vfprintf(*(FILE **)puVar1,param_1,param_2);
  putc(10,*(FILE **)puVar1);
  return;
}

