
/* WARNING: Unknown calling convention -- yet parameter storage is locked */

void usage(void)

{
  undefined *puVar1;
  
  puVar1 = PTR_stderr_000220e4;
  (*(code *)PTR___fprintf_chk_0002208c)
            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,
             *(undefined4 *)PTR_progname_00022048);
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);
                    /* WARNING: Could not recover jumptable at 0x00011040. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);
  return;
}



void usage(void)

{
  undefined *puVar1;
  
  puVar1 = PTR_stderr_000220e4;
  (*(code *)PTR___fprintf_chk_0002208c)
            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,
             *(undefined4 *)PTR_progname_00022048);
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);
                    /* WARNING: Could not recover jumptable at 0x00011040. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);
  return;
}


lui gp,0x2
addiu gp,gp,-0x6f6c
addu gp,gp,t9
addiu sp,sp,-0x20
lw v0,-0x7fc8(gp)
lw a2,-0x7fcc(gp)
li a1,0x1
lw t9,-0x7f84(gp)
sw s0,0x18(sp)
lw s0,-0x7f2c(gp)
addiu a2,a2,0x190c
lw a3,0x0(v0)
sw ra,0x1c(sp)
sw gp,0x10(sp)
jalr t9
_lw a0,0x0(s0)
li a2,0x13
lw gp,0x10(sp)
li a1,0x1
lw a3,0x0(s0)
lw a0,-0x7fcc(gp)
lw t9,-0x7f44(gp)
jalr t9
_addiu a0,a0,0x1920
li a2,0x2b
lw gp,0x10(sp)
li a1,0x1
lw a3,0x0(s0)
lw a0,-0x7fcc(gp)
lw t9,-0x7f44(gp)
jalr t9
_addiu a0,a0,0x1934
li a2,0x30
lw gp,0x10(sp)
li a1,0x1
lw a3,0x0(s0)
lw a0,-0x7fcc(gp)
lw t9,-0x7f44(gp)
jalr t9
_addiu a0,a0,0x1960
li a2,0x35
lw gp,0x10(sp)
li a1,0x1
lw a3,0x0(s0)
lw ra,0x1c(sp)
lw s0,0x18(sp)
addiu sp,sp,0x20
lw a0,-0x7fcc(gp)
lw t9,-0x7f44(gp)
jr t9
_addiu a0,a0,0x1994
(translation_unit "void usage(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    /* WARNING: Could not recover jumptable at 0x00011040. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);\n  return;\n}\n\n" (function_definition "void usage(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    /* WARNING: Could not recover jumptable at 0x00011040. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)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_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    /* WARNING: Could not recover jumptable at 0x00011040. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "puVar1 = PTR_stderr_000220e4;" (assignment_expression "puVar1 = PTR_stderr_000220e4" identifier = identifier) ;) (expression_statement "(*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);" (call_expression "(*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0002208c)" ( (pointer_expression "*(code *)PTR___fprintf_chk_0002208c" * (cast_expression "(code *)PTR___fprintf_chk_0002208c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048)" ( (pointer_expression "*(undefined4 *)PTR_stderr_000220e4" * (cast_expression "(undefined4 *)PTR_stderr_000220e4" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (binary_expression "PTR_00022044 + 0x190c" identifier + number_literal) , (pointer_expression "*(undefined4 *)PTR_progname_00022048" * (cast_expression "(undefined4 *)PTR_progname_00022048" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1920" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1934" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1960" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) comment comment (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1994" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Unknown calling convention -- yet parameter storage is locked */\n\nvoid usage(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    /* WARNING: Could not recover jumptable at 0x00011040. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);\n  return;\n}\n\n" comment (function_definition "void usage(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    /* WARNING: Could not recover jumptable at 0x00011040. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)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_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    /* WARNING: Could not recover jumptable at 0x00011040. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "puVar1 = PTR_stderr_000220e4;" (assignment_expression "puVar1 = PTR_stderr_000220e4" identifier = identifier) ;) (expression_statement "(*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);" (call_expression "(*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0002208c)" ( (pointer_expression "*(code *)PTR___fprintf_chk_0002208c" * (cast_expression "(code *)PTR___fprintf_chk_0002208c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048)" ( (pointer_expression "*(undefined4 *)PTR_stderr_000220e4" * (cast_expression "(undefined4 *)PTR_stderr_000220e4" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (binary_expression "PTR_00022044 + 0x190c" identifier + number_literal) , (pointer_expression "*(undefined4 *)PTR_progname_00022048" * (cast_expression "(undefined4 *)PTR_progname_00022048" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1920" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1934" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1960" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) comment comment (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1994" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void usage(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    \n                    \n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);\n  return;\n}\n\n" (function_definition "void usage(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    \n                    \n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)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_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    \n                    \n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "puVar1 = PTR_stderr_000220e4;" (assignment_expression "puVar1 = PTR_stderr_000220e4" identifier = identifier) ;) (expression_statement "(*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);" (call_expression "(*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0002208c)" ( (pointer_expression "*(code *)PTR___fprintf_chk_0002208c" * (cast_expression "(code *)PTR___fprintf_chk_0002208c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048)" ( (pointer_expression "*(undefined4 *)PTR_stderr_000220e4" * (cast_expression "(undefined4 *)PTR_stderr_000220e4" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (binary_expression "PTR_00022044 + 0x190c" identifier + number_literal) , (pointer_expression "*(undefined4 *)PTR_progname_00022048" * (cast_expression "(undefined4 *)PTR_progname_00022048" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1920" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1934" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1960" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" ( (pointer_expression "*(code *)PTR_fwrite_000220cc" * (cast_expression "(code *)PTR_fwrite_000220cc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1)" ( (binary_expression "PTR_00022044 + 0x1994" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (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 (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) , LIT , (binary_expression IDENT + LIT) , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , LIT , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , LIT , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , LIT , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , LIT , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ))) ;) (return_statement return ;) })))
(function_definition "void usage(void)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    \n                    \n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);\n  return;\n}" (primitive_type "void") (function_declarator "usage(void)" (identifier "usage") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_000220e4;\n  (*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);\n                    \n                    \n  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);\n  return;\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (expression_statement "puVar1 = PTR_stderr_000220e4;" (assignment_expression "puVar1 = PTR_stderr_000220e4" (identifier "puVar1") (= "=") (identifier "PTR_stderr_000220e4")) (; ";")) (expression_statement "(*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048);" (call_expression "(*(code *)PTR___fprintf_chk_0002208c)\n            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0002208c)" (( "(") (pointer_expression "*(code *)PTR___fprintf_chk_0002208c" (* "*") (cast_expression "(code *)PTR___fprintf_chk_0002208c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___fprintf_chk_0002208c"))) () ")")) (argument_list "(*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,\n             *(undefined4 *)PTR_progname_00022048)" (( "(") (pointer_expression "*(undefined4 *)PTR_stderr_000220e4" (* "*") (cast_expression "(undefined4 *)PTR_stderr_000220e4" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_stderr_000220e4"))) (, ",") (number_literal "1") (, ",") (binary_expression "PTR_00022044 + 0x190c" (identifier "PTR_00022044") (+ "+") (number_literal "0x190c")) (, ",") (pointer_expression "*(undefined4 *)PTR_progname_00022048" (* "*") (cast_expression "(undefined4 *)PTR_progname_00022048" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_progname_00022048"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" (( "(") (pointer_expression "*(code *)PTR_fwrite_000220cc" (* "*") (cast_expression "(code *)PTR_fwrite_000220cc" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fwrite_000220cc"))) () ")")) (argument_list "(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1)" (( "(") (binary_expression "PTR_00022044 + 0x1920" (identifier "PTR_00022044") (+ "+") (number_literal "0x1920")) (, ",") (number_literal "1") (, ",") (number_literal "0x13") (, ",") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" (( "(") (pointer_expression "*(code *)PTR_fwrite_000220cc" (* "*") (cast_expression "(code *)PTR_fwrite_000220cc" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fwrite_000220cc"))) () ")")) (argument_list "(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1)" (( "(") (binary_expression "PTR_00022044 + 0x1934" (identifier "PTR_00022044") (+ "+") (number_literal "0x1934")) (, ",") (number_literal "1") (, ",") (number_literal "0x2b") (, ",") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" (( "(") (pointer_expression "*(code *)PTR_fwrite_000220cc" (* "*") (cast_expression "(code *)PTR_fwrite_000220cc" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fwrite_000220cc"))) () ")")) (argument_list "(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1)" (( "(") (binary_expression "PTR_00022044 + 0x1960" (identifier "PTR_00022044") (+ "+") (number_literal "0x1960")) (, ",") (number_literal "1") (, ",") (number_literal "0x30") (, ",") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_000220cc)" (( "(") (pointer_expression "*(code *)PTR_fwrite_000220cc" (* "*") (cast_expression "(code *)PTR_fwrite_000220cc" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fwrite_000220cc"))) () ")")) (argument_list "(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1)" (( "(") (binary_expression "PTR_00022044 + 0x1994" (identifier "PTR_00022044") (+ "+") (number_literal "0x1994")) (, ",") (number_literal "1") (, ",") (number_literal "0x35") (, ",") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (return_statement "return;" (return "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: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier))) (number_literal) (binary_expression left: (identifier) right: (number_literal)) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (number_literal) (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (number_literal) (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (number_literal) (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (number_literal) (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))))) (return_statement))))

void MASKED(void)

{
  undefined *puVar1;
  
  puVar1 = PTR_stderr_000220e4;
  (*(code *)PTR___fprintf_chk_0002208c)
            (*(undefined4 *)PTR_stderr_000220e4,1,PTR_00022044 + 0x190c,
             *(undefined4 *)PTR_progname_00022048);
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1920,1,0x13,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1934,1,0x2b,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1960,1,0x30,*(undefined4 *)puVar1);
                    /* WARNING: Could not recover jumptable at 0x00011040. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_fwrite_000220cc)(PTR_00022044 + 0x1994,1,0x35,*(undefined4 *)puVar1);
  return;
}

