
/* WARNING: Unknown calling convention */

mp_bitcnt_t __gmpf_get_default_prec(void)

{
  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 - 0x20;
}



int __gmpf_get_default_prec(void)

{
  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;
}


lui gp,0x8
addiu gp,gp,0x6ac0
addu gp,gp,t9
lw v0,-0x7d44(gp)
lw v0,0x0(v0)
sll v0,v0,0x5
jr ra
_addiu v0,v0,-0x20
(translation_unit "int __gmpf_get_default_prec(void)\n\n{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;\n}\n\n" (function_definition "int __gmpf_get_default_prec(void)\n\n{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;\n}" primitive_type (function_declarator "__gmpf_get_default_prec(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;\n}" { (return_statement "return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;" return (binary_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20" (binary_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20" (pointer_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc" * (cast_expression "(int *)PTR___gmp_default_fp_limb_precision_0009d2fc" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) * number_literal) + number_literal) ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nmp_bitcnt_t __gmpf_get_default_prec(void)\n\n{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 - 0x20;\n}\n\n" comment (function_definition "mp_bitcnt_t __gmpf_get_default_prec(void)\n\n{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 - 0x20;\n}" type_identifier (function_declarator "__gmpf_get_default_prec(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 - 0x20;\n}" { (return_statement "return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 - 0x20;" return (binary_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 - 0x20" (binary_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20" (pointer_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc" * (cast_expression "(int *)PTR___gmp_default_fp_limb_precision_0009d2fc" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) * number_literal) - number_literal) ;) })))
(translation_unit "int __gmpf_get_default_prec(void)\n\n{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;\n}\n\n" (function_definition "int __gmpf_get_default_prec(void)\n\n{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;\n}" primitive_type (function_declarator "__gmpf_get_default_prec(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;\n}" { (return_statement "return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;" return (binary_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20" (binary_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20" (pointer_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc" * (cast_expression "(int *)PTR___gmp_default_fp_limb_precision_0009d2fc" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) * number_literal) + number_literal) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (return_statement return (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) * LIT) + LIT) ;) })))
(function_definition "int __gmpf_get_default_prec(void)\n\n{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;\n}" (primitive_type "int") (function_declarator "__gmpf_get_default_prec(void)" (identifier "__gmpf_get_default_prec") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;\n}" ({ "{") (return_statement "return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;" (return "return") (binary_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20" (binary_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20" (pointer_expression "*(int *)PTR___gmp_default_fp_limb_precision_0009d2fc" (* "*") (cast_expression "(int *)PTR___gmp_default_fp_limb_precision_0009d2fc" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmp_default_fp_limb_precision_0009d2fc"))) (* "*") (number_literal "0x20")) (+ "+") (number_literal "-0x20")) (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

type_1 function_1(void)

{
  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 - 0x20;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (return_statement (binary_expression left: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (number_literal)) right: (number_literal))))))

int MASKED(void)

{
  return *(int *)PTR___gmp_default_fp_limb_precision_0009d2fc * 0x20 + -0x20;
}

