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

void usage(void)

{
  undefined *puVar1;
  
  puVar1 = PTR_stderr_00013fdc;
  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",progname);
  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);
  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);
  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);
  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);
  return;
}



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

void FUN_000114b0(void)

{
  undefined *puVar1;
  
  puVar1 = PTR_stderr_00013fdc;
  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);
  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);
  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);
  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);
  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);
  return;
}


PUSH ESI
PUSH EBX
CALL 0x00011340
ADD EBX,0x2b49
SUB ESP,0x4
LEA EAX,[EBX + 0x6c]
MOV ESI,dword ptr [EBX + 0xffffffdc]
PUSH dword ptr [EAX]
LEA EAX,[EBX + 0xffffe008]
PUSH EAX
PUSH 0x1
PUSH dword ptr [ESI]
CALL 0x00011150
LEA EAX,[EBX + 0xffffe01c]
PUSH dword ptr [ESI]
PUSH 0x13
PUSH 0x1
PUSH EAX
CALL 0x00011080
ADD ESP,0x20
LEA EAX,[EBX + 0xffffe0d8]
PUSH dword ptr [ESI]
PUSH 0x2b
PUSH 0x1
PUSH EAX
CALL 0x00011080
LEA EAX,[EBX + 0xffffe104]
PUSH dword ptr [ESI]
PUSH 0x30
PUSH 0x1
PUSH EAX
CALL 0x00011080
ADD ESP,0x20
LEA EAX,[EBX + 0xffffe138]
PUSH dword ptr [ESI]
PUSH 0x35
PUSH 0x1
PUSH EAX
CALL 0x00011080
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_000114b0(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}\n\n" comment (function_definition "void FUN_000114b0(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}" primitive_type (function_declarator "FUN_000114b0(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "puVar1 = PTR_stderr_00013fdc;" (assignment_expression "puVar1 = PTR_stderr_00013fdc" identifier = identifier) ;) (expression_statement "__fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);" (call_expression "__fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c)" identifier (argument_list "(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c)" ( (pointer_expression "*(undefined4 *)PTR_stderr_00013fdc" * (cast_expression "(undefined4 *)PTR_stderr_00013fdc" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (string_literal ""Usage: %s [option]\n"" " string_content escape_sequence ") , identifier ))) ;) (expression_statement "fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);" (call_expression "fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1)" identifier (argument_list "("valid options are:\n",1,0x13,*(FILE **)puVar1)" ( (string_literal ""valid options are:\n"" " string_content escape_sequence ") , number_literal , number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);" (call_expression "fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1)" identifier (argument_list "("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1)" ( (string_literal ""\t-q  --quiet    don\'t print error messages\n"" " escape_sequence string_content escape_sequence string_content escape_sequence ") , number_literal , number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);" (call_expression "fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1)" identifier (argument_list "("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1)" ( (string_literal ""\t-h --help      display this help text and exit\n"" " escape_sequence string_content escape_sequence ") , number_literal , number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);" (call_expression "fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1)" identifier (argument_list "("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1)" ( (string_literal ""\t-V --version   display version information and exit\n"" " escape_sequence string_content escape_sequence ") , number_literal , 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 -- yet parameter storage is locked */\n\nvoid usage(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",progname);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}\n\n" comment comment (function_definition "void usage(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",progname);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}" primitive_type (function_declarator "usage(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",progname);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "puVar1 = PTR_stderr_00013fdc;" (assignment_expression "puVar1 = PTR_stderr_00013fdc" identifier = identifier) ;) (expression_statement "__fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",progname);" (call_expression "__fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",progname)" identifier (argument_list "(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",progname)" ( (pointer_expression "*(undefined4 *)PTR_stderr_00013fdc" * (cast_expression "(undefined4 *)PTR_stderr_00013fdc" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (string_literal ""Usage: %s [option]\n"" " string_content escape_sequence ") , identifier ))) ;) (expression_statement "fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);" (call_expression "fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1)" identifier (argument_list "("valid options are:\n",1,0x13,*(FILE **)puVar1)" ( (string_literal ""valid options are:\n"" " string_content escape_sequence ") , number_literal , number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);" (call_expression "fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1)" identifier (argument_list "("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1)" ( (string_literal ""\t-q  --quiet    don\'t print error messages\n"" " escape_sequence string_content escape_sequence string_content escape_sequence ") , number_literal , number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);" (call_expression "fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1)" identifier (argument_list "("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1)" ( (string_literal ""\t-h --help      display this help text and exit\n"" " escape_sequence string_content escape_sequence ") , number_literal , number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);" (call_expression "fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1)" identifier (argument_list "("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1)" ( (string_literal ""\t-V --version   display version information and exit\n"" " escape_sequence string_content escape_sequence ") , number_literal , 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_000114b0(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}\n\n" (function_definition "void FUN_000114b0(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}" primitive_type (function_declarator "FUN_000114b0(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "puVar1 = PTR_stderr_00013fdc;" (assignment_expression "puVar1 = PTR_stderr_00013fdc" identifier = identifier) ;) (expression_statement "__fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);" (call_expression "__fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c)" identifier (argument_list "(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c)" ( (pointer_expression "*(undefined4 *)PTR_stderr_00013fdc" * (cast_expression "(undefined4 *)PTR_stderr_00013fdc" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (string_literal ""Usage: %s [option]\n"" " string_content escape_sequence ") , identifier ))) ;) (expression_statement "fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);" (call_expression "fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1)" identifier (argument_list "("valid options are:\n",1,0x13,*(FILE **)puVar1)" ( (string_literal ""valid options are:\n"" " string_content escape_sequence ") , number_literal , number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);" (call_expression "fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1)" identifier (argument_list "("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1)" ( (string_literal ""\t-q  --quiet    don\'t print error messages\n"" " escape_sequence string_content escape_sequence string_content escape_sequence ") , number_literal , number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);" (call_expression "fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1)" identifier (argument_list "("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1)" ( (string_literal ""\t-h --help      display this help text and exit\n"" " escape_sequence string_content escape_sequence ") , number_literal , number_literal , (pointer_expression "*(FILE **)puVar1" * (cast_expression "(FILE **)puVar1" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);" (call_expression "fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1)" identifier (argument_list "("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1)" ( (string_literal ""\t-V --version   display version information and exit\n"" " escape_sequence string_content escape_sequence ") , number_literal , 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) ))) (compound_statement { (declaration TYPE (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 *)) ) IDENT)) , LIT , (string_literal " string_content escape_sequence ") , IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content escape_sequence ") , LIT , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (expression_statement (call_expression IDENT (argument_list ( (string_literal " escape_sequence string_content escape_sequence string_content escape_sequence ") , LIT , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (expression_statement (call_expression IDENT (argument_list ( (string_literal " escape_sequence string_content escape_sequence ") , LIT , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (expression_statement (call_expression IDENT (argument_list ( (string_literal " escape_sequence string_content escape_sequence ") , LIT , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (return_statement return ;) })))
(function_definition "void FUN_000114b0(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_000114b0(void)" (identifier "FUN_000114b0") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_00013fdc;\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);\n  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);\n  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);\n  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);\n  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);\n  return;\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (expression_statement "puVar1 = PTR_stderr_00013fdc;" (assignment_expression "puVar1 = PTR_stderr_00013fdc" (identifier "puVar1") (= "=") (identifier "PTR_stderr_00013fdc")) (; ";")) (expression_statement "__fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);" (call_expression "__fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c)" (identifier "__fprintf_chk") (argument_list "(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c)" (( "(") (pointer_expression "*(undefined4 *)PTR_stderr_00013fdc" (* "*") (cast_expression "(undefined4 *)PTR_stderr_00013fdc" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_stderr_00013fdc"))) (, ",") (number_literal "1") (, ",") (string_literal ""Usage: %s [option]\n"" (" """) (string_content "Usage: %s [option]") (escape_sequence "\n") (" """)) (, ",") (identifier "DAT_0001406c") () ")"))) (; ";")) (expression_statement "fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);" (call_expression "fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1)" (identifier "fwrite") (argument_list "("valid options are:\n",1,0x13,*(FILE **)puVar1)" (( "(") (string_literal ""valid options are:\n"" (" """) (string_content "valid options are:") (escape_sequence "\n") (" """)) (, ",") (number_literal "1") (, ",") (number_literal "0x13") (, ",") (pointer_expression "*(FILE **)puVar1" (* "*") (cast_expression "(FILE **)puVar1" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (expression_statement "fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);" (call_expression "fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1)" (identifier "fwrite") (argument_list "("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1)" (( "(") (string_literal ""\t-q  --quiet    don\'t print error messages\n"" (" """) (escape_sequence "\t") (string_content "-q  --quiet    don") (escape_sequence "\'") (string_content "t print error messages") (escape_sequence "\n") (" """)) (, ",") (number_literal "1") (, ",") (number_literal "0x2b") (, ",") (pointer_expression "*(FILE **)puVar1" (* "*") (cast_expression "(FILE **)puVar1" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (expression_statement "fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);" (call_expression "fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1)" (identifier "fwrite") (argument_list "("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1)" (( "(") (string_literal ""\t-h --help      display this help text and exit\n"" (" """) (escape_sequence "\t") (string_content "-h --help      display this help text and exit") (escape_sequence "\n") (" """)) (, ",") (number_literal "1") (, ",") (number_literal "0x30") (, ",") (pointer_expression "*(FILE **)puVar1" (* "*") (cast_expression "(FILE **)puVar1" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (expression_statement "fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);" (call_expression "fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1)" (identifier "fwrite") (argument_list "("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1)" (( "(") (string_literal ""\t-V --version   display version information and exit\n"" (" """) (escape_sequence "\t") (string_content "-V --version   display version information and exit") (escape_sequence "\n") (" """)) (, ",") (number_literal "1") (, ",") (number_literal "0x35") (, ",") (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 -- yet parameter storage is locked */

void function_1(void)

{
  type_1 *puVar1;
  
  puVar1 = PTR_stderr_00013fdc;
  var_1(*(type_2 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",progname);
  var_2("valid options are:\n",1,0x13,*(type_3 **)puVar1);
  var_2("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(type_3 **)puVar1);
  var_2("\t-h --help      display this help text and exit\n",1,0x30,*(type_3 **)puVar1);
  var_2("\t-V --version   display version information and exit\n",1,0x35,*(type_3 **)puVar1);
  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: (type_identifier) declarator: (pointer_declarator declarator: (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)) value: (identifier))) (number_literal) (string_literal (string_content) (escape_sequence)) (identifier)))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content) (escape_sequence)) (number_literal) (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier)))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (escape_sequence) (string_content) (escape_sequence) (string_content) (escape_sequence)) (number_literal) (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier)))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (escape_sequence) (string_content) (escape_sequence)) (number_literal) (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier)))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (escape_sequence) (string_content) (escape_sequence)) (number_literal) (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(void)

{
  undefined *puVar1;
  
  puVar1 = PTR_stderr_00013fdc;
  __fprintf_chk(*(undefined4 *)PTR_stderr_00013fdc,1,"Usage: %s [option]\n",DAT_0001406c);
  fwrite("valid options are:\n",1,0x13,*(FILE **)puVar1);
  fwrite("\t-q  --quiet    don\'t print error messages\n",1,0x2b,*(FILE **)puVar1);
  fwrite("\t-h --help      display this help text and exit\n",1,0x30,*(FILE **)puVar1);
  fwrite("\t-V --version   display version information and exit\n",1,0x35,*(FILE **)puVar1);
  return;
}

