
void usage(char *errtext)

{
  undefined *puVar1;
  
  if (errtext != (char *)0x0) {
    (*(code *)PTR___fprintf_chk_000334f4)
              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,
               errtext);
  }
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);
  puVar1 = PTR_stdout_0003350c;
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);
  (*(code *)PTR___printf_chk_00033508)
            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);
  (*(code *)PTR_exit_0003353c)(2);
  return;
}



void FUN_0001145c(int param_1)

{
  undefined *puVar1;
  
  if (param_1 != 0) {
    (*(code *)PTR___fprintf_chk_000334f4)
              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,
               param_1);
  }
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);
  puVar1 = PTR_stdout_0003350c;
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);
  (*(code *)PTR___printf_chk_00033508)
            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);
  (*(code *)PTR_exit_0003353c)(2);
  return;
}


lui gp,0x3
addiu gp,gp,-0x5ffc
addu gp,gp,t9
addiu sp,sp,-0x20
sw ra,0x1c(sp)
sw s0,0x18(sp)
sw gp,0x10(sp)
beq a0,zero,0x000114a4
_or a3,a0,zero
lw a2,-0x7fc8(gp)
addiu a2,a2,-0x1434
li a1,0x1
lw v0,-0x7ee8(gp)
lw a0,0x0(v0)
lw t9,-0x7f6c(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw v0,-0x7ee8(gp)
lw a3,0x0(v0)
li a2,0x37
li a1,0x1
lw a0,-0x7fc8(gp)
addiu a0,a0,-0x1420
lw t9,-0x7f08(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw s0,-0x7f54(gp)
lw a3,0x0(s0)
li a2,0x2c0
li a1,0x1
lw a0,-0x7fc8(gp)
addiu a0,a0,-0x13e8
lw t9,-0x7f08(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw a3,0x0(s0)
li a2,0x327
li a1,0x1
lw a0,-0x7fc8(gp)
addiu a0,a0,-0x1124
lw t9,-0x7f08(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw a3,0x0(s0)
li a2,0x79
li a1,0x1
lw a0,-0x7fc8(gp)
addiu a0,a0,-0xdfc
lw t9,-0x7f08(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw a3,0x0(s0)
li a2,0x171
li a1,0x1
lw a0,-0x7fc8(gp)
addiu a0,a0,-0xd80
lw t9,-0x7f08(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw a2,-0x7fc8(gp)
addiu a2,a2,-0xc0c
lw a1,-0x7fc8(gp)
addiu a1,a1,-0xbfc
li a0,0x1
lw t9,-0x7f58(gp)
jalr t9
_nop
lw gp,0x10(sp)
li a0,0x2
lw t9,-0x7f24(gp)
jalr t9
_nop
(translation_unit "void FUN_0001145c(int param_1)\n\n{\n  undefined *puVar1;\n  \n  if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}\n\n" (function_definition "void FUN_0001145c(int param_1)\n\n{\n  undefined *puVar1;\n  \n  if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}" primitive_type (function_declarator "FUN_0001145c(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (if_statement "if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }" if (parenthesized_expression "(param_1 != 0)" ( (binary_expression "param_1 != 0" identifier != number_literal) )) (compound_statement "{\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }" { (expression_statement "(*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);" (call_expression "(*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_000334f4)" ( (pointer_expression "*(code *)PTR___fprintf_chk_000334f4" * (cast_expression "(code *)PTR___fprintf_chk_000334f4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1)" ( (pointer_expression "*(undefined4 *)PTR_stderr_00033578" * (cast_expression "(undefined4 *)PTR_stderr_00033578" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (binary_expression "PTR_s___________________00033498 + -0x1434" identifier + number_literal) , identifier ))) ;) })) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578)" ( (binary_expression "PTR_s___________________00033498 + -0x1420" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)PTR_stderr_00033578" * (cast_expression "(undefined4 *)PTR_stderr_00033578" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "puVar1 = PTR_stdout_0003350c;" (assignment_expression "puVar1 = PTR_stdout_0003350c" identifier = identifier) ;) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c)" ( (binary_expression "PTR_s___________________00033498 + -0x13e8" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)PTR_stdout_0003350c" * (cast_expression "(undefined4 *)PTR_stdout_0003350c" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1)" ( (binary_expression "PTR_s___________________00033498 + -0x1124" 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_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1)" ( (binary_expression "PTR_s___________________00033498 + -0xdfc" 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_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1)" ( (binary_expression "PTR_s___________________00033498 + -0xd80" 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___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);" (call_expression "(*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c)" (parenthesized_expression "(*(code *)PTR___printf_chk_00033508)" ( (pointer_expression "*(code *)PTR___printf_chk_00033508" * (cast_expression "(code *)PTR___printf_chk_00033508" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c)" ( number_literal , (binary_expression "PTR_s___________________00033498 + -0xbfc" identifier + number_literal) , (binary_expression "PTR_s___________________00033498 + -0xc0c" identifier + number_literal) ))) ;) (expression_statement "(*(code *)PTR_exit_0003353c)(2);" (call_expression "(*(code *)PTR_exit_0003353c)(2)" (parenthesized_expression "(*(code *)PTR_exit_0003353c)" ( (pointer_expression "*(code *)PTR_exit_0003353c" * (cast_expression "(code *)PTR_exit_0003353c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(2)" ( number_literal ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void usage(char *errtext)\n\n{\n  undefined *puVar1;\n  \n  if (errtext != (char *)0x0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               errtext);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}\n\n" (function_definition "void usage(char *errtext)\n\n{\n  undefined *puVar1;\n  \n  if (errtext != (char *)0x0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               errtext);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}" primitive_type (function_declarator "usage(char *errtext)" identifier (parameter_list "(char *errtext)" ( (parameter_declaration "char *errtext" primitive_type (pointer_declarator "*errtext" * identifier)) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  if (errtext != (char *)0x0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               errtext);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (if_statement "if (errtext != (char *)0x0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               errtext);\n  }" if (parenthesized_expression "(errtext != (char *)0x0)" ( (binary_expression "errtext != (char *)0x0" identifier != (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               errtext);\n  }" { (expression_statement "(*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               errtext);" (call_expression "(*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               errtext)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_000334f4)" ( (pointer_expression "*(code *)PTR___fprintf_chk_000334f4" * (cast_expression "(code *)PTR___fprintf_chk_000334f4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               errtext)" ( (pointer_expression "*(undefined4 *)PTR_stderr_00033578" * (cast_expression "(undefined4 *)PTR_stderr_00033578" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (binary_expression "PTR_s___________________00033498 + -0x1434" identifier + number_literal) , identifier ))) ;) })) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578)" ( (binary_expression "PTR_s___________________00033498 + -0x1420" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)PTR_stderr_00033578" * (cast_expression "(undefined4 *)PTR_stderr_00033578" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "puVar1 = PTR_stdout_0003350c;" (assignment_expression "puVar1 = PTR_stdout_0003350c" identifier = identifier) ;) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c)" ( (binary_expression "PTR_s___________________00033498 + -0x13e8" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)PTR_stdout_0003350c" * (cast_expression "(undefined4 *)PTR_stdout_0003350c" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1)" ( (binary_expression "PTR_s___________________00033498 + -0x1124" 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_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1)" ( (binary_expression "PTR_s___________________00033498 + -0xdfc" 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_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1)" ( (binary_expression "PTR_s___________________00033498 + -0xd80" 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___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);" (call_expression "(*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c)" (parenthesized_expression "(*(code *)PTR___printf_chk_00033508)" ( (pointer_expression "*(code *)PTR___printf_chk_00033508" * (cast_expression "(code *)PTR___printf_chk_00033508" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c)" ( number_literal , (binary_expression "PTR_s___________________00033498 + -0xbfc" identifier + number_literal) , (binary_expression "PTR_s___________________00033498 + -0xc0c" identifier + number_literal) ))) ;) (expression_statement "(*(code *)PTR_exit_0003353c)(2);" (call_expression "(*(code *)PTR_exit_0003353c)(2)" (parenthesized_expression "(*(code *)PTR_exit_0003353c)" ( (pointer_expression "*(code *)PTR_exit_0003353c" * (cast_expression "(code *)PTR_exit_0003353c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(2)" ( number_literal ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_0001145c(int param_1)\n\n{\n  undefined *puVar1;\n  \n  if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}\n\n" (function_definition "void FUN_0001145c(int param_1)\n\n{\n  undefined *puVar1;\n  \n  if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}" primitive_type (function_declarator "FUN_0001145c(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  \n  if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (if_statement "if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }" if (parenthesized_expression "(param_1 != 0)" ( (binary_expression "param_1 != 0" identifier != number_literal) )) (compound_statement "{\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }" { (expression_statement "(*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);" (call_expression "(*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_000334f4)" ( (pointer_expression "*(code *)PTR___fprintf_chk_000334f4" * (cast_expression "(code *)PTR___fprintf_chk_000334f4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1)" ( (pointer_expression "*(undefined4 *)PTR_stderr_00033578" * (cast_expression "(undefined4 *)PTR_stderr_00033578" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (binary_expression "PTR_s___________________00033498 + -0x1434" identifier + number_literal) , identifier ))) ;) })) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578)" ( (binary_expression "PTR_s___________________00033498 + -0x1420" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)PTR_stderr_00033578" * (cast_expression "(undefined4 *)PTR_stderr_00033578" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "puVar1 = PTR_stdout_0003350c;" (assignment_expression "puVar1 = PTR_stdout_0003350c" identifier = identifier) ;) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c)" ( (binary_expression "PTR_s___________________00033498 + -0x13e8" identifier + number_literal) , number_literal , number_literal , (pointer_expression "*(undefined4 *)PTR_stdout_0003350c" * (cast_expression "(undefined4 *)PTR_stdout_0003350c" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1)" ( (binary_expression "PTR_s___________________00033498 + -0x1124" 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_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1)" ( (binary_expression "PTR_s___________________00033498 + -0xdfc" 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_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" ( (pointer_expression "*(code *)PTR_fwrite_00033558" * (cast_expression "(code *)PTR_fwrite_00033558" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1)" ( (binary_expression "PTR_s___________________00033498 + -0xd80" 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___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);" (call_expression "(*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c)" (parenthesized_expression "(*(code *)PTR___printf_chk_00033508)" ( (pointer_expression "*(code *)PTR___printf_chk_00033508" * (cast_expression "(code *)PTR___printf_chk_00033508" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c)" ( number_literal , (binary_expression "PTR_s___________________00033498 + -0xbfc" identifier + number_literal) , (binary_expression "PTR_s___________________00033498 + -0xc0c" identifier + number_literal) ))) ;) (expression_statement "(*(code *)PTR_exit_0003353c)(2);" (call_expression "(*(code *)PTR_exit_0003353c)(2)" (parenthesized_expression "(*(code *)PTR_exit_0003353c)" ( (pointer_expression "*(code *)PTR_exit_0003353c" * (cast_expression "(code *)PTR_exit_0003353c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(2)" ( number_literal ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (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) , 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 (assignment_expression IDENT = 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)) ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( LIT , (binary_expression IDENT + LIT) , (binary_expression IDENT + LIT) ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( LIT ))) ;) (return_statement return ;) })))
(function_definition "void FUN_0001145c(int param_1)\n\n{\n  undefined *puVar1;\n  \n  if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0001145c(int param_1)" (identifier "FUN_0001145c") (parameter_list "(int param_1)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) () ")"))) (compound_statement "{\n  undefined *puVar1;\n  \n  if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);\n  puVar1 = PTR_stdout_0003350c;\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);\n  (*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);\n  (*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);\n  (*(code *)PTR_exit_0003353c)(2);\n  return;\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (if_statement "if (param_1 != 0) {\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }" (if "if") (parenthesized_expression "(param_1 != 0)" (( "(") (binary_expression "param_1 != 0" (identifier "param_1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    (*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);\n  }" ({ "{") (expression_statement "(*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1);" (call_expression "(*(code *)PTR___fprintf_chk_000334f4)\n              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_000334f4)" (( "(") (pointer_expression "*(code *)PTR___fprintf_chk_000334f4" (* "*") (cast_expression "(code *)PTR___fprintf_chk_000334f4" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___fprintf_chk_000334f4"))) () ")")) (argument_list "(*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,\n               param_1)" (( "(") (pointer_expression "*(undefined4 *)PTR_stderr_00033578" (* "*") (cast_expression "(undefined4 *)PTR_stderr_00033578" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_stderr_00033578"))) (, ",") (number_literal "1") (, ",") (binary_expression "PTR_s___________________00033498 + -0x1434" (identifier "PTR_s___________________00033498") (+ "+") (number_literal "-0x1434")) (, ",") (identifier "param_1") () ")"))) (; ";")) (} "}"))) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" (( "(") (pointer_expression "*(code *)PTR_fwrite_00033558" (* "*") (cast_expression "(code *)PTR_fwrite_00033558" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fwrite_00033558"))) () ")")) (argument_list "(PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578)" (( "(") (binary_expression "PTR_s___________________00033498 + -0x1420" (identifier "PTR_s___________________00033498") (+ "+") (number_literal "-0x1420")) (, ",") (number_literal "1") (, ",") (number_literal "0x37") (, ",") (pointer_expression "*(undefined4 *)PTR_stderr_00033578" (* "*") (cast_expression "(undefined4 *)PTR_stderr_00033578" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_stderr_00033578"))) () ")"))) (; ";")) (expression_statement "puVar1 = PTR_stdout_0003350c;" (assignment_expression "puVar1 = PTR_stdout_0003350c" (identifier "puVar1") (= "=") (identifier "PTR_stdout_0003350c")) (; ";")) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" (( "(") (pointer_expression "*(code *)PTR_fwrite_00033558" (* "*") (cast_expression "(code *)PTR_fwrite_00033558" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fwrite_00033558"))) () ")")) (argument_list "(PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c)" (( "(") (binary_expression "PTR_s___________________00033498 + -0x13e8" (identifier "PTR_s___________________00033498") (+ "+") (number_literal "-0x13e8")) (, ",") (number_literal "1") (, ",") (number_literal "0x2c0") (, ",") (pointer_expression "*(undefined4 *)PTR_stdout_0003350c" (* "*") (cast_expression "(undefined4 *)PTR_stdout_0003350c" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_stdout_0003350c"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" (( "(") (pointer_expression "*(code *)PTR_fwrite_00033558" (* "*") (cast_expression "(code *)PTR_fwrite_00033558" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fwrite_00033558"))) () ")")) (argument_list "(PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1)" (( "(") (binary_expression "PTR_s___________________00033498 + -0x1124" (identifier "PTR_s___________________00033498") (+ "+") (number_literal "-0x1124")) (, ",") (number_literal "1") (, ",") (number_literal "0x327") (, ",") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" (( "(") (pointer_expression "*(code *)PTR_fwrite_00033558" (* "*") (cast_expression "(code *)PTR_fwrite_00033558" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fwrite_00033558"))) () ")")) (argument_list "(PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1)" (( "(") (binary_expression "PTR_s___________________00033498 + -0xdfc" (identifier "PTR_s___________________00033498") (+ "+") (number_literal "-0xdfc")) (, ",") (number_literal "1") (, ",") (number_literal "0x79") (, ",") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);" (call_expression "(*(code *)PTR_fwrite_00033558)\n            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1)" (parenthesized_expression "(*(code *)PTR_fwrite_00033558)" (( "(") (pointer_expression "*(code *)PTR_fwrite_00033558" (* "*") (cast_expression "(code *)PTR_fwrite_00033558" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fwrite_00033558"))) () ")")) (argument_list "(PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1)" (( "(") (binary_expression "PTR_s___________________00033498 + -0xd80" (identifier "PTR_s___________________00033498") (+ "+") (number_literal "-0xd80")) (, ",") (number_literal "1") (, ",") (number_literal "0x171") (, ",") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);" (call_expression "(*(code *)PTR___printf_chk_00033508)\n            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c)" (parenthesized_expression "(*(code *)PTR___printf_chk_00033508)" (( "(") (pointer_expression "*(code *)PTR___printf_chk_00033508" (* "*") (cast_expression "(code *)PTR___printf_chk_00033508" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___printf_chk_00033508"))) () ")")) (argument_list "(1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c)" (( "(") (number_literal "1") (, ",") (binary_expression "PTR_s___________________00033498 + -0xbfc" (identifier "PTR_s___________________00033498") (+ "+") (number_literal "-0xbfc")) (, ",") (binary_expression "PTR_s___________________00033498 + -0xc0c" (identifier "PTR_s___________________00033498") (+ "+") (number_literal "-0xc0c")) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_exit_0003353c)(2);" (call_expression "(*(code *)PTR_exit_0003353c)(2)" (parenthesized_expression "(*(code *)PTR_exit_0003353c)" (( "(") (pointer_expression "*(code *)PTR_exit_0003353c" (* "*") (cast_expression "(code *)PTR_exit_0003353c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_exit_0003353c"))) () ")")) (argument_list "(2)" (( "(") (number_literal "2") () ")"))) (; ";")) (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) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (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)) (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 (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 (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)))))) (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) (binary_expression left: (identifier) right: (number_literal)) (binary_expression left: (identifier) right: (number_literal))))) (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)))) (return_statement))))

void MASKED(int param_1)

{
  undefined *puVar1;
  
  if (param_1 != 0) {
    (*(code *)PTR___fprintf_chk_000334f4)
              (*(undefined4 *)PTR_stderr_00033578,1,PTR_s___________________00033498 + -0x1434,
               param_1);
  }
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0x1420,1,0x37,*(undefined4 *)PTR_stderr_00033578);
  puVar1 = PTR_stdout_0003350c;
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0x13e8,1,0x2c0,*(undefined4 *)PTR_stdout_0003350c);
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0x1124,1,0x327,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0xdfc,1,0x79,*(undefined4 *)puVar1);
  (*(code *)PTR_fwrite_00033558)
            (PTR_s___________________00033498 + -0xd80,1,0x171,*(undefined4 *)puVar1);
  (*(code *)PTR___printf_chk_00033508)
            (1,PTR_s___________________00033498 + -0xbfc,PTR_s___________________00033498 + -0xc0c);
  (*(code *)PTR_exit_0003353c)(2);
  return;
}

