
void __gmp_assert_fail(char *filename,int linenum,char *expr)

{
  (*(code *)PTR___gmp_assert_header_0009d274)();
  (*(code *)PTR___fprintf_chk_0009d15c)
            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_gmp_snprintf_final_0009d06c + 0x310c,expr);
  (*(code *)PTR_abort_0009d108)();
  return;
}



void __gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3)

{
  (*(code *)PTR___gmp_assert_header_0009d274)();
  (*(code *)PTR___fprintf_chk_0009d15c)
            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);
  (*(code *)PTR_abort_0009d108)();
  return;
}


lui gp,0x9
addiu gp,gp,-0x210c
addu gp,gp,t9
addiu sp,sp,-0x20
lw t9,-0x7dcc(gp)
sw gp,0x10(sp)
sw ra,0x1c(sp)
sw s0,0x18(sp)
jalr t9
_or s0,a2,zero
li a1,0x1
lw gp,0x10(sp)
or a3,s0,zero
lw v0,-0x7aac(gp)
lw a2,-0x7fd4(gp)
lw t9,-0x7ee4(gp)
lw a0,0x0(v0)
jalr t9
_addiu a2,a2,0x310c
lw gp,0x10(sp)
lw t9,-0x7f38(gp)
jalr t9
_nop
(translation_unit "void __gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3)\n\n{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}\n\n" (function_definition "void __gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3)\n\n{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}" primitive_type (function_declarator "__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,undefined4 param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) ))) (compound_statement "{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}" { (expression_statement "(*(code *)PTR___gmp_assert_header_0009d274)();" (call_expression "(*(code *)PTR___gmp_assert_header_0009d274)()" (parenthesized_expression "(*(code *)PTR___gmp_assert_header_0009d274)" ( (pointer_expression "*(code *)PTR___gmp_assert_header_0009d274" * (cast_expression "(code *)PTR___gmp_assert_header_0009d274" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (expression_statement "(*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);" (call_expression "(*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0009d15c)" ( (pointer_expression "*(code *)PTR___fprintf_chk_0009d15c" * (cast_expression "(code *)PTR___fprintf_chk_0009d15c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3)" ( (pointer_expression "*(undefined4 *)PTR_stderr_0009d594" * (cast_expression "(undefined4 *)PTR_stderr_0009d594" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (binary_expression "PTR_LAB_0009d06c + 0x310c" identifier + number_literal) , identifier ))) ;) (expression_statement "(*(code *)PTR_abort_0009d108)();" (call_expression "(*(code *)PTR_abort_0009d108)()" (parenthesized_expression "(*(code *)PTR_abort_0009d108)" ( (pointer_expression "*(code *)PTR_abort_0009d108" * (cast_expression "(code *)PTR_abort_0009d108" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmp_assert_fail(char *filename,int linenum,char *expr)\n\n{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_gmp_snprintf_final_0009d06c + 0x310c,expr);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}\n\n" (function_definition "void __gmp_assert_fail(char *filename,int linenum,char *expr)\n\n{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_gmp_snprintf_final_0009d06c + 0x310c,expr);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}" primitive_type (function_declarator "__gmp_assert_fail(char *filename,int linenum,char *expr)" identifier (parameter_list "(char *filename,int linenum,char *expr)" ( (parameter_declaration "char *filename" primitive_type (pointer_declarator "*filename" * identifier)) , (parameter_declaration "int linenum" primitive_type identifier) , (parameter_declaration "char *expr" primitive_type (pointer_declarator "*expr" * identifier)) ))) (compound_statement "{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_gmp_snprintf_final_0009d06c + 0x310c,expr);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}" { (expression_statement "(*(code *)PTR___gmp_assert_header_0009d274)();" (call_expression "(*(code *)PTR___gmp_assert_header_0009d274)()" (parenthesized_expression "(*(code *)PTR___gmp_assert_header_0009d274)" ( (pointer_expression "*(code *)PTR___gmp_assert_header_0009d274" * (cast_expression "(code *)PTR___gmp_assert_header_0009d274" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (expression_statement "(*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_gmp_snprintf_final_0009d06c + 0x310c,expr);" (call_expression "(*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_gmp_snprintf_final_0009d06c + 0x310c,expr)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0009d15c)" ( (pointer_expression "*(code *)PTR___fprintf_chk_0009d15c" * (cast_expression "(code *)PTR___fprintf_chk_0009d15c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stderr_0009d594,1,PTR_gmp_snprintf_final_0009d06c + 0x310c,expr)" ( (pointer_expression "*(undefined4 *)PTR_stderr_0009d594" * (cast_expression "(undefined4 *)PTR_stderr_0009d594" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (binary_expression "PTR_gmp_snprintf_final_0009d06c + 0x310c" identifier + number_literal) , identifier ))) ;) (expression_statement "(*(code *)PTR_abort_0009d108)();" (call_expression "(*(code *)PTR_abort_0009d108)()" (parenthesized_expression "(*(code *)PTR_abort_0009d108)" ( (pointer_expression "*(code *)PTR_abort_0009d108" * (cast_expression "(code *)PTR_abort_0009d108" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3)\n\n{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}\n\n" (function_definition "void __gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3)\n\n{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}" primitive_type (function_declarator "__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,undefined4 param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) ))) (compound_statement "{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}" { (expression_statement "(*(code *)PTR___gmp_assert_header_0009d274)();" (call_expression "(*(code *)PTR___gmp_assert_header_0009d274)()" (parenthesized_expression "(*(code *)PTR___gmp_assert_header_0009d274)" ( (pointer_expression "*(code *)PTR___gmp_assert_header_0009d274" * (cast_expression "(code *)PTR___gmp_assert_header_0009d274" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (expression_statement "(*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);" (call_expression "(*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0009d15c)" ( (pointer_expression "*(code *)PTR___fprintf_chk_0009d15c" * (cast_expression "(code *)PTR___fprintf_chk_0009d15c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3)" ( (pointer_expression "*(undefined4 *)PTR_stderr_0009d594" * (cast_expression "(undefined4 *)PTR_stderr_0009d594" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (binary_expression "PTR_LAB_0009d06c + 0x310c" identifier + number_literal) , identifier ))) ;) (expression_statement "(*(code *)PTR_abort_0009d108)();" (call_expression "(*(code *)PTR_abort_0009d108)()" (parenthesized_expression "(*(code *)PTR_abort_0009d108)" ( (pointer_expression "*(code *)PTR_abort_0009d108" * (cast_expression "(code *)PTR_abort_0009d108" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( ))) ;) (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 ( ))) ;) (return_statement return ;) })))
(function_definition "void __gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3)\n\n{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}" (primitive_type "void") (function_declarator "__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3)" (identifier "__gmp_assert_fail") (parameter_list "(undefined4 param_1,undefined4 param_2,undefined4 param_3)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) (, ",") (parameter_declaration "undefined4 param_3" (type_identifier "undefined4") (identifier "param_3")) () ")"))) (compound_statement "{\n  (*(code *)PTR___gmp_assert_header_0009d274)();\n  (*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);\n  (*(code *)PTR_abort_0009d108)();\n  return;\n}" ({ "{") (expression_statement "(*(code *)PTR___gmp_assert_header_0009d274)();" (call_expression "(*(code *)PTR___gmp_assert_header_0009d274)()" (parenthesized_expression "(*(code *)PTR___gmp_assert_header_0009d274)" (( "(") (pointer_expression "*(code *)PTR___gmp_assert_header_0009d274" (* "*") (cast_expression "(code *)PTR___gmp_assert_header_0009d274" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmp_assert_header_0009d274"))) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "(*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);" (call_expression "(*(code *)PTR___fprintf_chk_0009d15c)\n            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_0009d15c)" (( "(") (pointer_expression "*(code *)PTR___fprintf_chk_0009d15c" (* "*") (cast_expression "(code *)PTR___fprintf_chk_0009d15c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___fprintf_chk_0009d15c"))) () ")")) (argument_list "(*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3)" (( "(") (pointer_expression "*(undefined4 *)PTR_stderr_0009d594" (* "*") (cast_expression "(undefined4 *)PTR_stderr_0009d594" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_stderr_0009d594"))) (, ",") (number_literal "1") (, ",") (binary_expression "PTR_LAB_0009d06c + 0x310c" (identifier "PTR_LAB_0009d06c") (+ "+") (number_literal "0x310c")) (, ",") (identifier "param_3") () ")"))) (; ";")) (expression_statement "(*(code *)PTR_abort_0009d108)();" (call_expression "(*(code *)PTR_abort_0009d108)()" (parenthesized_expression "(*(code *)PTR_abort_0009d108)" (( "(") (pointer_expression "*(code *)PTR_abort_0009d108" (* "*") (cast_expression "(code *)PTR_abort_0009d108" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_abort_0009d108"))) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(char *filename,int linenum,char *expr)

{
  (*(type_1 *)PTR___gmp_assert_header_0009d274)();
  (*(type_1 *)PTR___fprintf_chk_0009d15c)
            (*(type_2 *)PTR_stderr_0009d594,1,var_1 + 0x310c,expr);
  (*(type_1 *)PTR_abort_0009d108)();
  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)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (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))) (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))) (return_statement))))

void MASKED(undefined4 param_1,undefined4 param_2,undefined4 param_3)

{
  (*(code *)PTR___gmp_assert_header_0009d274)();
  (*(code *)PTR___fprintf_chk_0009d15c)
            (*(undefined4 *)PTR_stderr_0009d594,1,PTR_LAB_0009d06c + 0x310c,param_3);
  (*(code *)PTR_abort_0009d108)();
  return;
}

