
void freev(VALUE *v)

{
  if (v->type == string) {
    (*(code *)PTR_free_0003f300)((v->u).i[0]._mp_alloc);
  }
  else {
    (*(code *)PTR___gmpz_clear_0003f270)(&v->u);
  }
  (*(code *)PTR_free_0003f300)(v);
  return;
}



void FUN_00012738(int *param_1)

{
  if (*param_1 == 1) {
    (*(code *)PTR_free_0003f300)(param_1[1]);
  }
  else {
    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);
  }
  (*(code *)PTR_free_0003f300)(param_1);
  return;
}


lui gp,0x3
addiu gp,gp,0x4988
addu gp,gp,t9
addiu sp,sp,-0x20
sw ra,0x1c(sp)
sw s0,0x18(sp)
sw gp,0x10(sp)
lw v1,0x0(a0)
li v0,0x1
beq v1,v0,0x0001279c
_or s0,a0,zero
addiu a0,a0,0x4
lw t9,-0x7e50(gp)
jalr t9
_nop
lw gp,0x10(sp)
or a0,s0,zero
lw t9,-0x7dc0(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw ra,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x20
lw a0,0x4(a0)
lw t9,-0x7dc0(gp)
jalr t9
_nop
lw gp,0x10(sp)
b 0x0001277c
_or a0,s0,zero
(translation_unit "void FUN_00012738(int *param_1)\n\n{\n  if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }\n  (*(code *)PTR_free_0003f300)(param_1);\n  return;\n}\n\n" (function_definition "void FUN_00012738(int *param_1)\n\n{\n  if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }\n  (*(code *)PTR_free_0003f300)(param_1);\n  return;\n}" primitive_type (function_declarator "FUN_00012738(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }\n  (*(code *)PTR_free_0003f300)(param_1);\n  return;\n}" { (if_statement "if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }" if (parenthesized_expression "(*param_1 == 1)" ( (binary_expression "*param_1 == 1" (pointer_expression "*param_1" * identifier) == number_literal) )) (compound_statement "{\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }" { (expression_statement "(*(code *)PTR_free_0003f300)(param_1[1]);" (call_expression "(*(code *)PTR_free_0003f300)(param_1[1])" (parenthesized_expression "(*(code *)PTR_free_0003f300)" ( (pointer_expression "*(code *)PTR_free_0003f300" * (cast_expression "(code *)PTR_free_0003f300" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1[1])" ( (subscript_expression "param_1[1]" identifier [ number_literal ]) ))) ;) }) (else_clause "else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }" else (compound_statement "{\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }" { (expression_statement "(*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);" (call_expression "(*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1)" (parenthesized_expression "(*(code *)PTR___gmpz_clear_0003f270)" ( (pointer_expression "*(code *)PTR___gmpz_clear_0003f270" * (cast_expression "(code *)PTR___gmpz_clear_0003f270" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) ))) ;) }))) (expression_statement "(*(code *)PTR_free_0003f300)(param_1);" (call_expression "(*(code *)PTR_free_0003f300)(param_1)" (parenthesized_expression "(*(code *)PTR_free_0003f300)" ( (pointer_expression "*(code *)PTR_free_0003f300" * (cast_expression "(code *)PTR_free_0003f300" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void freev(VALUE *v)\n\n{\n  if (v->type == string) {\n    (*(code *)PTR_free_0003f300)((v->u).i[0]._mp_alloc);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(&v->u);\n  }\n  (*(code *)PTR_free_0003f300)(v);\n  return;\n}\n\n" (function_definition "void freev(VALUE *v)\n\n{\n  if (v->type == string) {\n    (*(code *)PTR_free_0003f300)((v->u).i[0]._mp_alloc);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(&v->u);\n  }\n  (*(code *)PTR_free_0003f300)(v);\n  return;\n}" primitive_type (function_declarator "freev(VALUE *v)" identifier (parameter_list "(VALUE *v)" ( (parameter_declaration "VALUE *v" type_identifier (pointer_declarator "*v" * identifier)) ))) (compound_statement "{\n  if (v->type == string) {\n    (*(code *)PTR_free_0003f300)((v->u).i[0]._mp_alloc);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(&v->u);\n  }\n  (*(code *)PTR_free_0003f300)(v);\n  return;\n}" { (if_statement "if (v->type == string) {\n    (*(code *)PTR_free_0003f300)((v->u).i[0]._mp_alloc);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(&v->u);\n  }" if (parenthesized_expression "(v->type == string)" ( (binary_expression "v->type == string" (field_expression "v->type" identifier -> field_identifier) == identifier) )) (compound_statement "{\n    (*(code *)PTR_free_0003f300)((v->u).i[0]._mp_alloc);\n  }" { (expression_statement "(*(code *)PTR_free_0003f300)((v->u).i[0]._mp_alloc);" (call_expression "(*(code *)PTR_free_0003f300)((v->u).i[0]._mp_alloc)" (parenthesized_expression "(*(code *)PTR_free_0003f300)" ( (pointer_expression "*(code *)PTR_free_0003f300" * (cast_expression "(code *)PTR_free_0003f300" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "((v->u).i[0]._mp_alloc)" ( (field_expression "(v->u).i[0]._mp_alloc" (subscript_expression "(v->u).i[0]" (field_expression "(v->u).i" (parenthesized_expression "(v->u)" ( (field_expression "v->u" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) . field_identifier) ))) ;) }) (else_clause "else {\n    (*(code *)PTR___gmpz_clear_0003f270)(&v->u);\n  }" else (compound_statement "{\n    (*(code *)PTR___gmpz_clear_0003f270)(&v->u);\n  }" { (expression_statement "(*(code *)PTR___gmpz_clear_0003f270)(&v->u);" (call_expression "(*(code *)PTR___gmpz_clear_0003f270)(&v->u)" (parenthesized_expression "(*(code *)PTR___gmpz_clear_0003f270)" ( (pointer_expression "*(code *)PTR___gmpz_clear_0003f270" * (cast_expression "(code *)PTR___gmpz_clear_0003f270" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(&v->u)" ( (pointer_expression "&v->u" & (field_expression "v->u" identifier -> field_identifier)) ))) ;) }))) (expression_statement "(*(code *)PTR_free_0003f300)(v);" (call_expression "(*(code *)PTR_free_0003f300)(v)" (parenthesized_expression "(*(code *)PTR_free_0003f300)" ( (pointer_expression "*(code *)PTR_free_0003f300" * (cast_expression "(code *)PTR_free_0003f300" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(v)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_00012738(int *param_1)\n\n{\n  if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }\n  (*(code *)PTR_free_0003f300)(param_1);\n  return;\n}\n\n" (function_definition "void FUN_00012738(int *param_1)\n\n{\n  if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }\n  (*(code *)PTR_free_0003f300)(param_1);\n  return;\n}" primitive_type (function_declarator "FUN_00012738(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }\n  (*(code *)PTR_free_0003f300)(param_1);\n  return;\n}" { (if_statement "if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }" if (parenthesized_expression "(*param_1 == 1)" ( (binary_expression "*param_1 == 1" (pointer_expression "*param_1" * identifier) == number_literal) )) (compound_statement "{\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }" { (expression_statement "(*(code *)PTR_free_0003f300)(param_1[1]);" (call_expression "(*(code *)PTR_free_0003f300)(param_1[1])" (parenthesized_expression "(*(code *)PTR_free_0003f300)" ( (pointer_expression "*(code *)PTR_free_0003f300" * (cast_expression "(code *)PTR_free_0003f300" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1[1])" ( (subscript_expression "param_1[1]" identifier [ number_literal ]) ))) ;) }) (else_clause "else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }" else (compound_statement "{\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }" { (expression_statement "(*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);" (call_expression "(*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1)" (parenthesized_expression "(*(code *)PTR___gmpz_clear_0003f270)" ( (pointer_expression "*(code *)PTR___gmpz_clear_0003f270" * (cast_expression "(code *)PTR___gmpz_clear_0003f270" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) ))) ;) }))) (expression_statement "(*(code *)PTR_free_0003f300)(param_1);" (call_expression "(*(code *)PTR_free_0003f300)(param_1)" (parenthesized_expression "(*(code *)PTR_free_0003f300)" ( (pointer_expression "*(code *)PTR_free_0003f300" * (cast_expression "(code *)PTR_free_0003f300" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) == LIT) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (subscript_expression IDENT [ LIT ]) ))) ;) }) (else_clause else (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) ))) ;) }))) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT ))) ;) (return_statement return ;) })))
(function_definition "void FUN_00012738(int *param_1)\n\n{\n  if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }\n  (*(code *)PTR_free_0003f300)(param_1);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_00012738(int *param_1)" (identifier "FUN_00012738") (parameter_list "(int *param_1)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }\n  (*(code *)PTR_free_0003f300)(param_1);\n  return;\n}" ({ "{") (if_statement "if (*param_1 == 1) {\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }\n  else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }" (if "if") (parenthesized_expression "(*param_1 == 1)" (( "(") (binary_expression "*param_1 == 1" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (== "==") (number_literal "1")) () ")")) (compound_statement "{\n    (*(code *)PTR_free_0003f300)(param_1[1]);\n  }" ({ "{") (expression_statement "(*(code *)PTR_free_0003f300)(param_1[1]);" (call_expression "(*(code *)PTR_free_0003f300)(param_1[1])" (parenthesized_expression "(*(code *)PTR_free_0003f300)" (( "(") (pointer_expression "*(code *)PTR_free_0003f300" (* "*") (cast_expression "(code *)PTR_free_0003f300" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_free_0003f300"))) () ")")) (argument_list "(param_1[1])" (( "(") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) () ")"))) (; ";")) (} "}")) (else_clause "else {\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }" (else "else") (compound_statement "{\n    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);\n  }" ({ "{") (expression_statement "(*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);" (call_expression "(*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1)" (parenthesized_expression "(*(code *)PTR___gmpz_clear_0003f270)" (( "(") (pointer_expression "*(code *)PTR___gmpz_clear_0003f270" (* "*") (cast_expression "(code *)PTR___gmpz_clear_0003f270" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpz_clear_0003f270"))) () ")")) (argument_list "(param_1 + 1)" (( "(") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1")) () ")"))) (; ";")) (} "}")))) (expression_statement "(*(code *)PTR_free_0003f300)(param_1);" (call_expression "(*(code *)PTR_free_0003f300)(param_1)" (parenthesized_expression "(*(code *)PTR_free_0003f300)" (( "(") (pointer_expression "*(code *)PTR_free_0003f300" (* "*") (cast_expression "(code *)PTR_free_0003f300" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_free_0003f300"))) () ")")) (argument_list "(param_1)" (( "(") (identifier "param_1") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *v)

{
  if (v->type == var_1) {
    (*(type_2 *)PTR_free_0003f300)((v->u).i[0]._mp_alloc);
  }
  else {
    (*(type_2 *)PTR___gmpz_clear_0003f270)(&v->u);
  }
  (*(type_2 *)PTR_free_0003f300)(v);
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (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 (subscript_expression argument: (identifier) index: (number_literal)))))) alternative: (else_clause (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 (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 (identifier)))) (return_statement))))

void MASKED(int *param_1)

{
  if (*param_1 == 1) {
    (*(code *)PTR_free_0003f300)(param_1[1]);
  }
  else {
    (*(code *)PTR___gmpz_clear_0003f270)(param_1 + 1);
  }
  (*(code *)PTR_free_0003f300)(param_1);
  return;
}

