
void randint_free(randint_source *s)

{
  (*(code *)PTR___explicit_bzero_chk_00046524)(s,0x18,0xffffffff);
                    /* WARNING: Could not recover jumptable at 0x0002fbbc. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_free_000466a8)(s);
  return;
}



void randint_free(undefined4 param_1)

{
  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);
                    /* WARNING: Could not recover jumptable at 0x0002fbbc. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_free_000466a8)(param_1);
  return;
}


lui gp,0x2
addiu gp,gp,-0x1a68
addu gp,gp,t9
addiu sp,sp,-0x20
lw t9,-0x7bec(gp)
li a2,-0x1
li a1,0x18
sw s0,0x18(sp)
sw ra,0x1c(sp)
sw gp,0x10(sp)
jalr t9
_or s0,a0,zero
or a0,s0,zero
lw gp,0x10(sp)
lw ra,0x1c(sp)
lw s0,0x18(sp)
lw t9,-0x7a68(gp)
jr t9
_addiu sp,sp,0x20
(translation_unit "void randint_free(undefined4 param_1)\n\n{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);\n                    /* WARNING: Could not recover jumptable at 0x0002fbbc. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_free_000466a8)(param_1);\n  return;\n}\n\n" (function_definition "void randint_free(undefined4 param_1)\n\n{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);\n                    /* WARNING: Could not recover jumptable at 0x0002fbbc. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_free_000466a8)(param_1);\n  return;\n}" primitive_type (function_declarator "randint_free(undefined4 param_1)" identifier (parameter_list "(undefined4 param_1)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) ))) (compound_statement "{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);\n                    /* WARNING: Could not recover jumptable at 0x0002fbbc. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_free_000466a8)(param_1);\n  return;\n}" { (expression_statement "(*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);" (call_expression "(*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff)" (parenthesized_expression "(*(code *)PTR___explicit_bzero_chk_00046524)" ( (pointer_expression "*(code *)PTR___explicit_bzero_chk_00046524" * (cast_expression "(code *)PTR___explicit_bzero_chk_00046524" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0x18,0xffffffff)" ( identifier , number_literal , number_literal ))) ;) comment comment (expression_statement "(*(code *)PTR_free_000466a8)(param_1);" (call_expression "(*(code *)PTR_free_000466a8)(param_1)" (parenthesized_expression "(*(code *)PTR_free_000466a8)" ( (pointer_expression "*(code *)PTR_free_000466a8" * (cast_expression "(code *)PTR_free_000466a8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void randint_free(randint_source *s)\n\n{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(s,0x18,0xffffffff);\n                    /* WARNING: Could not recover jumptable at 0x0002fbbc. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_free_000466a8)(s);\n  return;\n}\n\n" (function_definition "void randint_free(randint_source *s)\n\n{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(s,0x18,0xffffffff);\n                    /* WARNING: Could not recover jumptable at 0x0002fbbc. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_free_000466a8)(s);\n  return;\n}" primitive_type (function_declarator "randint_free(randint_source *s)" identifier (parameter_list "(randint_source *s)" ( (parameter_declaration "randint_source *s" type_identifier (pointer_declarator "*s" * identifier)) ))) (compound_statement "{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(s,0x18,0xffffffff);\n                    /* WARNING: Could not recover jumptable at 0x0002fbbc. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_free_000466a8)(s);\n  return;\n}" { (expression_statement "(*(code *)PTR___explicit_bzero_chk_00046524)(s,0x18,0xffffffff);" (call_expression "(*(code *)PTR___explicit_bzero_chk_00046524)(s,0x18,0xffffffff)" (parenthesized_expression "(*(code *)PTR___explicit_bzero_chk_00046524)" ( (pointer_expression "*(code *)PTR___explicit_bzero_chk_00046524" * (cast_expression "(code *)PTR___explicit_bzero_chk_00046524" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(s,0x18,0xffffffff)" ( identifier , number_literal , number_literal ))) ;) comment comment (expression_statement "(*(code *)PTR_free_000466a8)(s);" (call_expression "(*(code *)PTR_free_000466a8)(s)" (parenthesized_expression "(*(code *)PTR_free_000466a8)" ( (pointer_expression "*(code *)PTR_free_000466a8" * (cast_expression "(code *)PTR_free_000466a8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(s)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void randint_free(undefined4 param_1)\n\n{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);\n                    \n                    \n  (*(code *)PTR_free_000466a8)(param_1);\n  return;\n}\n\n" (function_definition "void randint_free(undefined4 param_1)\n\n{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);\n                    \n                    \n  (*(code *)PTR_free_000466a8)(param_1);\n  return;\n}" primitive_type (function_declarator "randint_free(undefined4 param_1)" identifier (parameter_list "(undefined4 param_1)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) ))) (compound_statement "{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);\n                    \n                    \n  (*(code *)PTR_free_000466a8)(param_1);\n  return;\n}" { (expression_statement "(*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);" (call_expression "(*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff)" (parenthesized_expression "(*(code *)PTR___explicit_bzero_chk_00046524)" ( (pointer_expression "*(code *)PTR___explicit_bzero_chk_00046524" * (cast_expression "(code *)PTR___explicit_bzero_chk_00046524" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0x18,0xffffffff)" ( identifier , number_literal , number_literal ))) ;) (expression_statement "(*(code *)PTR_free_000466a8)(param_1);" (call_expression "(*(code *)PTR_free_000466a8)(param_1)" (parenthesized_expression "(*(code *)PTR_free_000466a8)" ( (pointer_expression "*(code *)PTR_free_000466a8" * (cast_expression "(code *)PTR_free_000466a8" ( (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 IDENT) ))) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , LIT , 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 randint_free(undefined4 param_1)\n\n{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);\n                    \n                    \n  (*(code *)PTR_free_000466a8)(param_1);\n  return;\n}" (primitive_type "void") (function_declarator "randint_free(undefined4 param_1)" (identifier "randint_free") (parameter_list "(undefined4 param_1)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) () ")"))) (compound_statement "{\n  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);\n                    \n                    \n  (*(code *)PTR_free_000466a8)(param_1);\n  return;\n}" ({ "{") (expression_statement "(*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);" (call_expression "(*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff)" (parenthesized_expression "(*(code *)PTR___explicit_bzero_chk_00046524)" (( "(") (pointer_expression "*(code *)PTR___explicit_bzero_chk_00046524" (* "*") (cast_expression "(code *)PTR___explicit_bzero_chk_00046524" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___explicit_bzero_chk_00046524"))) () ")")) (argument_list "(param_1,0x18,0xffffffff)" (( "(") (identifier "param_1") (, ",") (number_literal "0x18") (, ",") (number_literal "0xffffffff") () ")"))) (; ";")) (expression_statement "(*(code *)PTR_free_000466a8)(param_1);" (call_expression "(*(code *)PTR_free_000466a8)(param_1)" (parenthesized_expression "(*(code *)PTR_free_000466a8)" (( "(") (pointer_expression "*(code *)PTR_free_000466a8" (* "*") (cast_expression "(code *)PTR_free_000466a8" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_free_000466a8"))) () ")")) (argument_list "(param_1)" (( "(") (identifier "param_1") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (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 (identifier) (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)))) (return_statement))))

void MASKED(undefined4 param_1)

{
  (*(code *)PTR___explicit_bzero_chk_00046524)(param_1,0x18,0xffffffff);
                    /* WARNING: Could not recover jumptable at 0x0002fbbc. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_free_000466a8)(param_1);
  return;
}

