
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention -- yet parameter storage is locked */

void print_version_id(void)

{
  char *__format;
  
  printed_14602 = 1;
  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);
  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",
          "(GNU Binutils for Debian) 2.31.1");
  return;
}



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

void FUN_00017cc0(void)

{
  char *__format;
  
  DAT_000838dc = 1;
  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);
  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",
          "(GNU Binutils for Debian) 2.31.1");
  return;
}


PUSH EBX
CALL 0x00016020
ADD EBX,0x6333a
SUB ESP,0xc
PUSH 0x5
MOV dword ptr [EBX + 0x88dc],0x1
LEA EAX,[EBX + 0xfffdc604]
PUSH EAX
PUSH 0x0
CALL 0x000141a0
LEA EDX,[EBX + 0xfffdc638]
MOV dword ptr [ESP],EDX
LEA EDX,[EBX + 0xfffdc262]
PUSH EDX
LEA EDX,[EBX + 0xfffdc26b]
PUSH EDX
PUSH EAX
MOV EAX,dword ptr [EBX + 0xffffff50]
PUSH dword ptr [EAX]
CALL 0x00014450
ADD ESP,0x28
POP EBX
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid FUN_00017cc0(void)\n\n{\n  char *__format;\n  \n  DAT_000838dc = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}\n\n" comment (function_definition "void FUN_00017cc0(void)\n\n{\n  char *__format;\n  \n  DAT_000838dc = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}" primitive_type (function_declarator "FUN_00017cc0(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  char *__format;\n  \n  DAT_000838dc = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}" { (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (expression_statement "DAT_000838dc = 1;" (assignment_expression "DAT_000838dc = 1" identifier = number_literal) ;) (expression_statement "__format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);" (assignment_expression "__format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" identifier = (cast_expression "(char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" identifier (argument_list "(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" ( number_literal , (string_literal ""GNU assembler version %s (%s) using BFD version %s\n"" " string_content escape_sequence ") , number_literal ))))) ;) (expression_statement "fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");" (call_expression "fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1")" identifier (argument_list "(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1")" ( (pointer_expression "*(FILE **)PTR_stderr_0007af50" * (cast_expression "(FILE **)PTR_stderr_0007af50" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , identifier , (string_literal ""2.31.1"" " string_content ") , (string_literal ""i686-gnu"" " string_content ") , (string_literal ""(GNU Binutils for Debian) 2.31.1"" " string_content ") ))) ;) (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 -- yet parameter storage is locked */\n\nvoid print_version_id(void)\n\n{\n  char *__format;\n  \n  printed_14602 = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}\n\n" comment comment (function_definition "void print_version_id(void)\n\n{\n  char *__format;\n  \n  printed_14602 = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}" primitive_type (function_declarator "print_version_id(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  char *__format;\n  \n  printed_14602 = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}" { (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (expression_statement "printed_14602 = 1;" (assignment_expression "printed_14602 = 1" identifier = number_literal) ;) (expression_statement "__format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);" (assignment_expression "__format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" identifier = (cast_expression "(char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" identifier (argument_list "(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" ( number_literal , (string_literal ""GNU assembler version %s (%s) using BFD version %s\n"" " string_content escape_sequence ") , number_literal ))))) ;) (expression_statement "fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");" (call_expression "fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1")" identifier (argument_list "(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1")" ( (pointer_expression "*(FILE **)PTR_stderr_0007af50" * (cast_expression "(FILE **)PTR_stderr_0007af50" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , identifier , (string_literal ""2.31.1"" " string_content ") , (string_literal ""i686-gnu"" " string_content ") , (string_literal ""(GNU Binutils for Debian) 2.31.1"" " string_content ") ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_00017cc0(void)\n\n{\n  char *__format;\n  \n  DAT_000838dc = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}\n\n" (function_definition "void FUN_00017cc0(void)\n\n{\n  char *__format;\n  \n  DAT_000838dc = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}" primitive_type (function_declarator "FUN_00017cc0(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  char *__format;\n  \n  DAT_000838dc = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}" { (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (expression_statement "DAT_000838dc = 1;" (assignment_expression "DAT_000838dc = 1" identifier = number_literal) ;) (expression_statement "__format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);" (assignment_expression "__format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" identifier = (cast_expression "(char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" identifier (argument_list "(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" ( number_literal , (string_literal ""GNU assembler version %s (%s) using BFD version %s\n"" " string_content escape_sequence ") , number_literal ))))) ;) (expression_statement "fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");" (call_expression "fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1")" identifier (argument_list "(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1")" ( (pointer_expression "*(FILE **)PTR_stderr_0007af50" * (cast_expression "(FILE **)PTR_stderr_0007af50" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , identifier , (string_literal ""2.31.1"" " string_content ") , (string_literal ""i686-gnu"" " string_content ") , (string_literal ""(GNU Binutils for Debian) 2.31.1"" " string_content ") ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( LIT , (string_literal " string_content escape_sequence ") , LIT ))))) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) , IDENT , (string_literal " string_content ") , (string_literal " string_content ") , (string_literal " string_content ") ))) ;) (return_statement return ;) })))
(function_definition "void FUN_00017cc0(void)\n\n{\n  char *__format;\n  \n  DAT_000838dc = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}" (primitive_type "void") (function_declarator "FUN_00017cc0(void)" (identifier "FUN_00017cc0") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  char *__format;\n  \n  DAT_000838dc = 1;\n  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);\n  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");\n  return;\n}" ({ "{") (declaration "char *__format;" (primitive_type "char") (pointer_declarator "*__format" (* "*") (identifier "__format")) (; ";")) (expression_statement "DAT_000838dc = 1;" (assignment_expression "DAT_000838dc = 1" (identifier "DAT_000838dc") (= "=") (number_literal "1")) (; ";")) (expression_statement "__format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);" (assignment_expression "__format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" (identifier "__format") (= "=") (cast_expression "(char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" (identifier "dcgettext") (argument_list "(0,"GNU assembler version %s (%s) using BFD version %s\n",5)" (( "(") (number_literal "0") (, ",") (string_literal ""GNU assembler version %s (%s) using BFD version %s\n"" (" """) (string_content "GNU assembler version %s (%s) using BFD version %s") (escape_sequence "\n") (" """)) (, ",") (number_literal "5") () ")"))))) (; ";")) (expression_statement "fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1");" (call_expression "fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1")" (identifier "fprintf") (argument_list "(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",\n          "(GNU Binutils for Debian) 2.31.1")" (( "(") (pointer_expression "*(FILE **)PTR_stderr_0007af50" (* "*") (cast_expression "(FILE **)PTR_stderr_0007af50" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "PTR_stderr_0007af50"))) (, ",") (identifier "__format") (, ",") (string_literal ""2.31.1"" (" """) (string_content "2.31.1") (" """)) (, ",") (string_literal ""i686-gnu"" (" """) (string_content "i686-gnu") (" """)) (, ",") (string_literal ""(GNU Binutils for Debian) 2.31.1"" (" """) (string_content "(GNU Binutils for Debian) 2.31.1") (" """)) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention -- yet parameter storage is locked */

void function_1(void)

{
  char *__format;
  
  printed_14602 = 1;
  __format = (char *)var_1(0,"GNU assembler version %s (%s) using BFD version %s\n",5);
  var_2(*(type_1 **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",
          "(GNU Binutils for Debian) 2.31.1");
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (call_expression function: (identifier) arguments: (argument_list (number_literal) (string_literal (string_content) (escape_sequence)) (number_literal)))))) (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) (string_literal (string_content)) (string_literal (string_content)) (string_literal (string_content))))) (return_statement))))

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

void MASKED(void)

{
  char *__format;
  
  DAT_000838dc = 1;
  __format = (char *)dcgettext(0,"GNU assembler version %s (%s) using BFD version %s\n",5);
  fprintf(*(FILE **)PTR_stderr_0007af50,__format,"2.31.1","i686-gnu",
          "(GNU Binutils for Debian) 2.31.1");
  return;
}

