
void report(char *format,va_list args)

{
  undefined *puVar1;
  
  puVar1 = PTR_stderr_0002f3b4;
  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);
  (*(code *)PTR_fprintf_0002f2fc)
            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,
             *(undefined4 *)PTR_program_name_0002f104);
  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,format,args);
                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);
  return;
}



void report(undefined4 param_1,undefined4 param_2)

{
  undefined *puVar1;
  
  puVar1 = PTR_stderr_0002f3b4;
  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);
  (*(code *)PTR_fprintf_0002f2fc)
            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,
             *(undefined4 *)PTR_program_name_0002f104);
  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);
                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);
  return;
}


lui gp,0x2
addiu gp,gp,-0x1f40
addu gp,gp,t9
lw v0,-0x7de8(gp)
addiu sp,sp,-0x28
lw t9,-0x7cf8(gp)
sw s2,0x20(sp)
or s2,a0,zero
sw ra,0x24(sp)
sw s1,0x1c(sp)
or s1,a1,zero
sw s0,0x18(sp)
sw gp,0x10(sp)
lw s0,-0x7cfc(gp)
jalr t9
_lw a0,0x0(v0)
lw gp,0x10(sp)
lw a0,0x0(s0)
lw v0,-0x7fac(gp)
lw a1,-0x7fc8(gp)
lw t9,-0x7db4(gp)
lw a2,0x0(v0)
jalr t9
_addiu a1,a1,-0x3b50
or a1,s2,zero
lw gp,0x10(sp)
or a2,s1,zero
lw t9,-0x7df8(gp)
jalr t9
_lw a0,0x0(s0)
li a0,0xa
lw gp,0x10(sp)
lw a1,0x0(s0)
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
lw t9,-0x7e14(gp)
jr t9
_addiu sp,sp,0x28
(translation_unit "void report(undefined4 param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);\n                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}\n\n" (function_definition "void report(undefined4 param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);\n                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}" primitive_type (function_declarator "report(undefined4 param_1,undefined4 param_2)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);\n                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "puVar1 = PTR_stderr_0002f3b4;" (assignment_expression "puVar1 = PTR_stderr_0002f3b4" identifier = identifier) ;) (expression_statement "(*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);" (call_expression "(*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8)" (parenthesized_expression "(*(code *)PTR_fflush_0002f3b8)" ( (pointer_expression "*(code *)PTR_fflush_0002f3b8" * (cast_expression "(code *)PTR_fflush_0002f3b8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stdout_0002f2c8)" ( (pointer_expression "*(undefined4 *)PTR_stdout_0002f2c8" * (cast_expression "(undefined4 *)PTR_stdout_0002f2c8" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);" (call_expression "(*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104)" (parenthesized_expression "(*(code *)PTR_fprintf_0002f2fc)" ( (pointer_expression "*(code *)PTR_fprintf_0002f2fc" * (cast_expression "(code *)PTR_fprintf_0002f2fc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104)" ( (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , (binary_expression "PTR_DAT_0002f0e8 + -0x3b50" identifier + number_literal) , (pointer_expression "*(undefined4 *)PTR_program_name_0002f104" * (cast_expression "(undefined4 *)PTR_program_name_0002f104" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);" (call_expression "(*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2)" (parenthesized_expression "(*(code *)PTR_vfprintf_0002f2b8)" ( (pointer_expression "*(code *)PTR_vfprintf_0002f2b8" * (cast_expression "(code *)PTR_vfprintf_0002f2b8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)puVar1,param_1,param_2)" ( (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , identifier , identifier ))) ;) comment comment (expression_statement "(*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_putc_0002f29c)" ( (pointer_expression "*(code *)PTR_putc_0002f29c" * (cast_expression "(code *)PTR_putc_0002f29c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(10,*(undefined4 *)puVar1)" ( 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 report(char *format,va_list args)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,format,args);\n                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}\n\n" (function_definition "void report(char *format,va_list args)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,format,args);\n                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)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  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,format,args);\n                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "puVar1 = PTR_stderr_0002f3b4;" (assignment_expression "puVar1 = PTR_stderr_0002f3b4" identifier = identifier) ;) (expression_statement "(*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);" (call_expression "(*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8)" (parenthesized_expression "(*(code *)PTR_fflush_0002f3b8)" ( (pointer_expression "*(code *)PTR_fflush_0002f3b8" * (cast_expression "(code *)PTR_fflush_0002f3b8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stdout_0002f2c8)" ( (pointer_expression "*(undefined4 *)PTR_stdout_0002f2c8" * (cast_expression "(undefined4 *)PTR_stdout_0002f2c8" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);" (call_expression "(*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104)" (parenthesized_expression "(*(code *)PTR_fprintf_0002f2fc)" ( (pointer_expression "*(code *)PTR_fprintf_0002f2fc" * (cast_expression "(code *)PTR_fprintf_0002f2fc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104)" ( (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , (binary_expression "PTR_DAT_0002f0e8 + -0x3b50" identifier + number_literal) , (pointer_expression "*(undefined4 *)PTR_program_name_0002f104" * (cast_expression "(undefined4 *)PTR_program_name_0002f104" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,format,args);" (call_expression "(*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,format,args)" (parenthesized_expression "(*(code *)PTR_vfprintf_0002f2b8)" ( (pointer_expression "*(code *)PTR_vfprintf_0002f2b8" * (cast_expression "(code *)PTR_vfprintf_0002f2b8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)puVar1,format,args)" ( (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , identifier , identifier ))) ;) comment comment (expression_statement "(*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_putc_0002f29c)" ( (pointer_expression "*(code *)PTR_putc_0002f29c" * (cast_expression "(code *)PTR_putc_0002f29c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(10,*(undefined4 *)puVar1)" ( 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 report(undefined4 param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);\n                    \n                    \n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}\n\n" (function_definition "void report(undefined4 param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);\n                    \n                    \n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}" primitive_type (function_declarator "report(undefined4 param_1,undefined4 param_2)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);\n                    \n                    \n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "puVar1 = PTR_stderr_0002f3b4;" (assignment_expression "puVar1 = PTR_stderr_0002f3b4" identifier = identifier) ;) (expression_statement "(*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);" (call_expression "(*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8)" (parenthesized_expression "(*(code *)PTR_fflush_0002f3b8)" ( (pointer_expression "*(code *)PTR_fflush_0002f3b8" * (cast_expression "(code *)PTR_fflush_0002f3b8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stdout_0002f2c8)" ( (pointer_expression "*(undefined4 *)PTR_stdout_0002f2c8" * (cast_expression "(undefined4 *)PTR_stdout_0002f2c8" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);" (call_expression "(*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104)" (parenthesized_expression "(*(code *)PTR_fprintf_0002f2fc)" ( (pointer_expression "*(code *)PTR_fprintf_0002f2fc" * (cast_expression "(code *)PTR_fprintf_0002f2fc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104)" ( (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , (binary_expression "PTR_DAT_0002f0e8 + -0x3b50" identifier + number_literal) , (pointer_expression "*(undefined4 *)PTR_program_name_0002f104" * (cast_expression "(undefined4 *)PTR_program_name_0002f104" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);" (call_expression "(*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2)" (parenthesized_expression "(*(code *)PTR_vfprintf_0002f2b8)" ( (pointer_expression "*(code *)PTR_vfprintf_0002f2b8" * (cast_expression "(code *)PTR_vfprintf_0002f2b8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)puVar1,param_1,param_2)" ( (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , identifier , identifier ))) ;) (expression_statement "(*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_putc_0002f29c)" ( (pointer_expression "*(code *)PTR_putc_0002f29c" * (cast_expression "(code *)PTR_putc_0002f29c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(10,*(undefined4 *)puVar1)" ( 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 IDENT) , (parameter_declaration TYPE IDENT) ))) (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)) ))) ;) (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)) , (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 ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) , IDENT , IDENT ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ))) ;) (return_statement return ;) })))
(function_definition "void report(undefined4 param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);\n                    \n                    \n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}" (primitive_type "void") (function_declarator "report(undefined4 param_1,undefined4 param_2)" (identifier "report") (parameter_list "(undefined4 param_1,undefined4 param_2)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) () ")"))) (compound_statement "{\n  undefined *puVar1;\n  \n  puVar1 = PTR_stderr_0002f3b4;\n  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);\n  (*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);\n  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);\n                    \n                    \n  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);\n  return;\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (expression_statement "puVar1 = PTR_stderr_0002f3b4;" (assignment_expression "puVar1 = PTR_stderr_0002f3b4" (identifier "puVar1") (= "=") (identifier "PTR_stderr_0002f3b4")) (; ";")) (expression_statement "(*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);" (call_expression "(*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8)" (parenthesized_expression "(*(code *)PTR_fflush_0002f3b8)" (( "(") (pointer_expression "*(code *)PTR_fflush_0002f3b8" (* "*") (cast_expression "(code *)PTR_fflush_0002f3b8" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fflush_0002f3b8"))) () ")")) (argument_list "(*(undefined4 *)PTR_stdout_0002f2c8)" (( "(") (pointer_expression "*(undefined4 *)PTR_stdout_0002f2c8" (* "*") (cast_expression "(undefined4 *)PTR_stdout_0002f2c8" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_stdout_0002f2c8"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104);" (call_expression "(*(code *)PTR_fprintf_0002f2fc)\n            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104)" (parenthesized_expression "(*(code *)PTR_fprintf_0002f2fc)" (( "(") (pointer_expression "*(code *)PTR_fprintf_0002f2fc" (* "*") (cast_expression "(code *)PTR_fprintf_0002f2fc" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fprintf_0002f2fc"))) () ")")) (argument_list "(*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,\n             *(undefined4 *)PTR_program_name_0002f104)" (( "(") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) (, ",") (binary_expression "PTR_DAT_0002f0e8 + -0x3b50" (identifier "PTR_DAT_0002f0e8") (+ "+") (number_literal "-0x3b50")) (, ",") (pointer_expression "*(undefined4 *)PTR_program_name_0002f104" (* "*") (cast_expression "(undefined4 *)PTR_program_name_0002f104" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_program_name_0002f104"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);" (call_expression "(*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2)" (parenthesized_expression "(*(code *)PTR_vfprintf_0002f2b8)" (( "(") (pointer_expression "*(code *)PTR_vfprintf_0002f2b8" (* "*") (cast_expression "(code *)PTR_vfprintf_0002f2b8" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_vfprintf_0002f2b8"))) () ")")) (argument_list "(*(undefined4 *)puVar1,param_1,param_2)" (( "(") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) (, ",") (identifier "param_1") (, ",") (identifier "param_2") () ")"))) (; ";")) (expression_statement "(*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_putc_0002f29c)" (( "(") (pointer_expression "*(code *)PTR_putc_0002f29c" (* "*") (cast_expression "(code *)PTR_putc_0002f29c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_putc_0002f29c"))) () ")")) (argument_list "(10,*(undefined4 *)puVar1)" (( "(") (number_literal "10") (, ",") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(char *format,type_1 args)

{
  type_2 *puVar1;
  
  puVar1 = PTR_stderr_0002f3b4;
  (*(type_3 *)PTR_fflush_0002f3b8)(*(type_4 *)PTR_stdout_0002f2c8);
  (*(type_3 *)PTR_fprintf_0002f2fc)
            (*(type_4 *)puVar1,var_1 + -0x3b50,
             *(type_4 *)PTR_program_name_0002f104);
  (*(type_3 *)PTR_vfprintf_0002f2b8)(*(type_4 *)puVar1,format,args);
                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(type_3 *)PTR_putc_0002f29c)(10,*(type_4 *)puVar1);
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) 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)))))) (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))) (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 (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier))) (identifier) (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 (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))))) (return_statement))))

void MASKED(undefined4 param_1,undefined4 param_2)

{
  undefined *puVar1;
  
  puVar1 = PTR_stderr_0002f3b4;
  (*(code *)PTR_fflush_0002f3b8)(*(undefined4 *)PTR_stdout_0002f2c8);
  (*(code *)PTR_fprintf_0002f2fc)
            (*(undefined4 *)puVar1,PTR_DAT_0002f0e8 + -0x3b50,
             *(undefined4 *)PTR_program_name_0002f104);
  (*(code *)PTR_vfprintf_0002f2b8)(*(undefined4 *)puVar1,param_1,param_2);
                    /* WARNING: Could not recover jumptable at 0x00019088. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_putc_0002f29c)(10,*(undefined4 *)puVar1);
  return;
}

