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

void print_and_abort(void)

{
  undefined4 uVar1;
  undefined4 uVar2;
  
  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;
  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);
  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);
  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);
  return;
}



void FUN_0002a060(void)

{
  undefined4 uVar1;
  undefined4 uVar2;
  
  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;
  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);
  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);
  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);
  return;
}


lui gp,0x2
addiu gp,gp,-0x2f20
addu gp,gp,t9
lw a1,-0x7fc8(gp)
addiu sp,sp,-0x20
lw v0,-0x7c60(gp)
li a2,0x5
lw t9,-0x7c8c(gp)
or a0,zero,zero
addiu a1,a1,-0x1940
sw gp,0x10(sp)
sw ra,0x1c(sp)
sw s0,0x18(sp)
jalr t9
_lw s0,0x0(v0)
li a1,0x1
lw gp,0x10(sp)
or a3,v0,zero
or a0,s0,zero
lw a2,-0x7fc8(gp)
lw t9,-0x7db0(gp)
jalr t9
_addiu a2,a2,-0x1ca8
lw gp,0x10(sp)
lw v0,-0x7e44(gp)
lw t9,-0x7d04(gp)
lw a0,0x0(v0)
jalr t9
_nop
(translation_unit "void FUN_0002a060(void)\n\n{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}\n\n" (function_definition "void FUN_0002a060(void)\n\n{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}" primitive_type (function_declarator "FUN_0002a060(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (expression_statement "uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;" (assignment_expression "uVar2 = *(undefined4 *)PTR_stderr_0003f4e0" identifier = (pointer_expression "*(undefined4 *)PTR_stderr_0003f4e0" * (cast_expression "(undefined4 *)PTR_stderr_0003f4e0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier))) ;) (expression_statement "uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);" (assignment_expression "uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5)" identifier = (call_expression "(*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5)" (parenthesized_expression "(*(code *)PTR_dcgettext_0003f4b4)" ( (pointer_expression "*(code *)PTR_dcgettext_0003f4b4" * (cast_expression "(code *)PTR_dcgettext_0003f4b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(0,PTR_DAT_0003f178 + -0x1940,5)" ( number_literal , (binary_expression "PTR_DAT_0003f178 + -0x1940" identifier + number_literal) , number_literal )))) ;) (expression_statement "(*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);" (call_expression "(*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0003f390)" ( (pointer_expression "*(code *)PTR___fprintf_chk_0003f390" * (cast_expression "(code *)PTR___fprintf_chk_0003f390" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1)" ( identifier , number_literal , (binary_expression "PTR_DAT_0003f178 + -0x1ca8" identifier + number_literal) , identifier ))) ;) (expression_statement "(*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);" (call_expression "(*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc)" (parenthesized_expression "(*(code *)PTR_exit_0003f43c)" ( (pointer_expression "*(code *)PTR_exit_0003f43c" * (cast_expression "(code *)PTR_exit_0003f43c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_exit_failure_0003f2fc)" ( (pointer_expression "*(undefined4 *)PTR_exit_failure_0003f2fc" * (cast_expression "(undefined4 *)PTR_exit_failure_0003f2fc" ( (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 print_and_abort(void)\n\n{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}\n\n" comment (function_definition "void print_and_abort(void)\n\n{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}" primitive_type (function_declarator "print_and_abort(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (expression_statement "uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;" (assignment_expression "uVar2 = *(undefined4 *)PTR_stderr_0003f4e0" identifier = (pointer_expression "*(undefined4 *)PTR_stderr_0003f4e0" * (cast_expression "(undefined4 *)PTR_stderr_0003f4e0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier))) ;) (expression_statement "uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);" (assignment_expression "uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5)" identifier = (call_expression "(*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5)" (parenthesized_expression "(*(code *)PTR_dcgettext_0003f4b4)" ( (pointer_expression "*(code *)PTR_dcgettext_0003f4b4" * (cast_expression "(code *)PTR_dcgettext_0003f4b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(0,PTR_DAT_0003f178 + -0x1940,5)" ( number_literal , (binary_expression "PTR_DAT_0003f178 + -0x1940" identifier + number_literal) , number_literal )))) ;) (expression_statement "(*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);" (call_expression "(*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0003f390)" ( (pointer_expression "*(code *)PTR___fprintf_chk_0003f390" * (cast_expression "(code *)PTR___fprintf_chk_0003f390" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1)" ( identifier , number_literal , (binary_expression "PTR_DAT_0003f178 + -0x1ca8" identifier + number_literal) , identifier ))) ;) (expression_statement "(*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);" (call_expression "(*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc)" (parenthesized_expression "(*(code *)PTR_exit_0003f43c)" ( (pointer_expression "*(code *)PTR_exit_0003f43c" * (cast_expression "(code *)PTR_exit_0003f43c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_exit_failure_0003f2fc)" ( (pointer_expression "*(undefined4 *)PTR_exit_failure_0003f2fc" * (cast_expression "(undefined4 *)PTR_exit_failure_0003f2fc" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_0002a060(void)\n\n{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}\n\n" (function_definition "void FUN_0002a060(void)\n\n{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}" primitive_type (function_declarator "FUN_0002a060(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (expression_statement "uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;" (assignment_expression "uVar2 = *(undefined4 *)PTR_stderr_0003f4e0" identifier = (pointer_expression "*(undefined4 *)PTR_stderr_0003f4e0" * (cast_expression "(undefined4 *)PTR_stderr_0003f4e0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier))) ;) (expression_statement "uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);" (assignment_expression "uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5)" identifier = (call_expression "(*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5)" (parenthesized_expression "(*(code *)PTR_dcgettext_0003f4b4)" ( (pointer_expression "*(code *)PTR_dcgettext_0003f4b4" * (cast_expression "(code *)PTR_dcgettext_0003f4b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(0,PTR_DAT_0003f178 + -0x1940,5)" ( number_literal , (binary_expression "PTR_DAT_0003f178 + -0x1940" identifier + number_literal) , number_literal )))) ;) (expression_statement "(*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);" (call_expression "(*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0003f390)" ( (pointer_expression "*(code *)PTR___fprintf_chk_0003f390" * (cast_expression "(code *)PTR___fprintf_chk_0003f390" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1)" ( identifier , number_literal , (binary_expression "PTR_DAT_0003f178 + -0x1ca8" identifier + number_literal) , identifier ))) ;) (expression_statement "(*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);" (call_expression "(*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc)" (parenthesized_expression "(*(code *)PTR_exit_0003f43c)" ( (pointer_expression "*(code *)PTR_exit_0003f43c" * (cast_expression "(code *)PTR_exit_0003f43c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_exit_failure_0003f2fc)" ( (pointer_expression "*(undefined4 *)PTR_exit_failure_0003f2fc" * (cast_expression "(undefined4 *)PTR_exit_failure_0003f2fc" ( (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 IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( LIT , (binary_expression IDENT + LIT) , LIT )))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( 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 ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ))) ;) (return_statement return ;) })))
(function_definition "void FUN_0002a060(void)\n\n{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0002a060(void)" (identifier "FUN_0002a060") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  undefined4 uVar1;\n  undefined4 uVar2;\n  \n  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;\n  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);\n  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);\n  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);\n  return;\n}" ({ "{") (declaration "undefined4 uVar1;" (type_identifier "undefined4") (identifier "uVar1") (; ";")) (declaration "undefined4 uVar2;" (type_identifier "undefined4") (identifier "uVar2") (; ";")) (expression_statement "uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;" (assignment_expression "uVar2 = *(undefined4 *)PTR_stderr_0003f4e0" (identifier "uVar2") (= "=") (pointer_expression "*(undefined4 *)PTR_stderr_0003f4e0" (* "*") (cast_expression "(undefined4 *)PTR_stderr_0003f4e0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_stderr_0003f4e0")))) (; ";")) (expression_statement "uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);" (assignment_expression "uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5)" (identifier "uVar1") (= "=") (call_expression "(*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5)" (parenthesized_expression "(*(code *)PTR_dcgettext_0003f4b4)" (( "(") (pointer_expression "*(code *)PTR_dcgettext_0003f4b4" (* "*") (cast_expression "(code *)PTR_dcgettext_0003f4b4" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_dcgettext_0003f4b4"))) () ")")) (argument_list "(0,PTR_DAT_0003f178 + -0x1940,5)" (( "(") (number_literal "0") (, ",") (binary_expression "PTR_DAT_0003f178 + -0x1940" (identifier "PTR_DAT_0003f178") (+ "+") (number_literal "-0x1940")) (, ",") (number_literal "5") () ")")))) (; ";")) (expression_statement "(*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);" (call_expression "(*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0003f390)" (( "(") (pointer_expression "*(code *)PTR___fprintf_chk_0003f390" (* "*") (cast_expression "(code *)PTR___fprintf_chk_0003f390" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___fprintf_chk_0003f390"))) () ")")) (argument_list "(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1)" (( "(") (identifier "uVar2") (, ",") (number_literal "1") (, ",") (binary_expression "PTR_DAT_0003f178 + -0x1ca8" (identifier "PTR_DAT_0003f178") (+ "+") (number_literal "-0x1ca8")) (, ",") (identifier "uVar1") () ")"))) (; ";")) (expression_statement "(*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);" (call_expression "(*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc)" (parenthesized_expression "(*(code *)PTR_exit_0003f43c)" (( "(") (pointer_expression "*(code *)PTR_exit_0003f43c" (* "*") (cast_expression "(code *)PTR_exit_0003f43c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_exit_0003f43c"))) () ")")) (argument_list "(*(undefined4 *)PTR_exit_failure_0003f2fc)" (( "(") (pointer_expression "*(undefined4 *)PTR_exit_failure_0003f2fc" (* "*") (cast_expression "(undefined4 *)PTR_exit_failure_0003f2fc" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_exit_failure_0003f2fc"))) () ")"))) (; ";")) (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: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (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)) (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 (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 (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))))) (return_statement))))

void MASKED(void)

{
  undefined4 uVar1;
  undefined4 uVar2;
  
  uVar2 = *(undefined4 *)PTR_stderr_0003f4e0;
  uVar1 = (*(code *)PTR_dcgettext_0003f4b4)(0,PTR_DAT_0003f178 + -0x1940,5);
  (*(code *)PTR___fprintf_chk_0003f390)(uVar2,1,PTR_DAT_0003f178 + -0x1ca8,uVar1);
  (*(code *)PTR_exit_0003f43c)(*(undefined4 *)PTR_exit_failure_0003f2fc);
  return;
}

