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

void write_print_statistics(FILE *file)

{
  fprintf((FILE *)file,"fixups: %d\n",n_fixups);
  return;
}



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

void FUN_0003fbe0(FILE *param_1)

{
  fprintf(param_1,"fixups: %d\n",DAT_00070c90);
  return;
}


PUSH EBX
CALL 0x00015020
ADD EBX,0x2841a
SUB ESP,0xc
LEA EAX,[EBX + 0xfffe8a14]
PUSH dword ptr [EBX + 0x8c90]
PUSH EAX
PUSH dword ptr [ESP + 0x1c]
CALL 0x00013460
ADD ESP,0x18
POP EBX
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid FUN_0003fbe0(FILE *param_1)\n\n{\n  fprintf(param_1,"fixups: %d\n",DAT_00070c90);\n  return;\n}\n\n" comment (function_definition "void FUN_0003fbe0(FILE *param_1)\n\n{\n  fprintf(param_1,"fixups: %d\n",DAT_00070c90);\n  return;\n}" primitive_type (function_declarator "FUN_0003fbe0(FILE *param_1)" identifier (parameter_list "(FILE *param_1)" ( (parameter_declaration "FILE *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  fprintf(param_1,"fixups: %d\n",DAT_00070c90);\n  return;\n}" { (expression_statement "fprintf(param_1,"fixups: %d\n",DAT_00070c90);" (call_expression "fprintf(param_1,"fixups: %d\n",DAT_00070c90)" identifier (argument_list "(param_1,"fixups: %d\n",DAT_00070c90)" ( identifier , (string_literal ""fixups: %d\n"" " string_content escape_sequence ") , 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 write_print_statistics(FILE *file)\n\n{\n  fprintf((FILE *)file,"fixups: %d\n",n_fixups);\n  return;\n}\n\n" comment comment (function_definition "void write_print_statistics(FILE *file)\n\n{\n  fprintf((FILE *)file,"fixups: %d\n",n_fixups);\n  return;\n}" primitive_type (function_declarator "write_print_statistics(FILE *file)" identifier (parameter_list "(FILE *file)" ( (parameter_declaration "FILE *file" type_identifier (pointer_declarator "*file" * identifier)) ))) (compound_statement "{\n  fprintf((FILE *)file,"fixups: %d\n",n_fixups);\n  return;\n}" { (expression_statement "fprintf((FILE *)file,"fixups: %d\n",n_fixups);" (call_expression "fprintf((FILE *)file,"fixups: %d\n",n_fixups)" identifier (argument_list "((FILE *)file,"fixups: %d\n",n_fixups)" ( (cast_expression "(FILE *)file" ( (type_descriptor "FILE *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) , (string_literal ""fixups: %d\n"" " string_content escape_sequence ") , identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_0003fbe0(FILE *param_1)\n\n{\n  fprintf(param_1,"fixups: %d\n",DAT_00070c90);\n  return;\n}\n\n" (function_definition "void FUN_0003fbe0(FILE *param_1)\n\n{\n  fprintf(param_1,"fixups: %d\n",DAT_00070c90);\n  return;\n}" primitive_type (function_declarator "FUN_0003fbe0(FILE *param_1)" identifier (parameter_list "(FILE *param_1)" ( (parameter_declaration "FILE *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  fprintf(param_1,"fixups: %d\n",DAT_00070c90);\n  return;\n}" { (expression_statement "fprintf(param_1,"fixups: %d\n",DAT_00070c90);" (call_expression "fprintf(param_1,"fixups: %d\n",DAT_00070c90)" identifier (argument_list "(param_1,"fixups: %d\n",DAT_00070c90)" ( identifier , (string_literal ""fixups: %d\n"" " string_content escape_sequence ") , identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT , (string_literal " string_content escape_sequence ") , IDENT ))) ;) (return_statement return ;) })))
(function_definition "void FUN_0003fbe0(FILE *param_1)\n\n{\n  fprintf(param_1,"fixups: %d\n",DAT_00070c90);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0003fbe0(FILE *param_1)" (identifier "FUN_0003fbe0") (parameter_list "(FILE *param_1)" (( "(") (parameter_declaration "FILE *param_1" (type_identifier "FILE") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  fprintf(param_1,"fixups: %d\n",DAT_00070c90);\n  return;\n}" ({ "{") (expression_statement "fprintf(param_1,"fixups: %d\n",DAT_00070c90);" (call_expression "fprintf(param_1,"fixups: %d\n",DAT_00070c90)" (identifier "fprintf") (argument_list "(param_1,"fixups: %d\n",DAT_00070c90)" (( "(") (identifier "param_1") (, ",") (string_literal ""fixups: %d\n"" (" """) (string_content "fixups: %d") (escape_sequence "\n") (" """)) (, ",") (identifier "DAT_00070c90") () ")"))) (; ";")) (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(type_1 *file)

{
  var_1((type_1 *)file,"fixups: %d\n",n_fixups);
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (string_literal (string_content) (escape_sequence)) (identifier)))) (return_statement))))

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

void MASKED(FILE *param_1)

{
  fprintf(param_1,"fixups: %d\n",DAT_00070c90);
  return;
}

