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

void print_space(void)

{
                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));
  return;
}



void print_space(void)

{
                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));
  return;
}


lui gp,0x1b
addiu gp,gp,-0x6fc0
addu gp,gp,t9
lw v0,-0x7fc4(gp)
li a0,0x20
lw t9,-0x79f8(gp)
jr t9
_lw a1,0x50(v0)
(translation_unit "void print_space(void)\n\n{\n                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}\n\n" (function_definition "void print_space(void)\n\n{\n                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}" primitive_type (function_declarator "print_space(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}" { comment comment (expression_statement "(*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));" (call_expression "(*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50))" (parenthesized_expression "(*(code *)PTR_fputc_001dbed8)" ( (pointer_expression "*(code *)PTR_fputc_001dbed8" * (cast_expression "(code *)PTR_fputc_001dbed8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50))" ( number_literal , (pointer_expression "*(undefined4 *)(PTR_config_001db90c + 0x50)" * (cast_expression "(undefined4 *)(PTR_config_001db90c + 0x50)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_config_001db90c + 0x50)" ( (binary_expression "PTR_config_001db90c + 0x50" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Unknown calling convention -- yet parameter storage is locked */\n\nvoid print_space(void)\n\n{\n                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}\n\n" comment (function_definition "void print_space(void)\n\n{\n                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}" primitive_type (function_declarator "print_space(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}" { comment comment (expression_statement "(*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));" (call_expression "(*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50))" (parenthesized_expression "(*(code *)PTR_fputc_001dbed8)" ( (pointer_expression "*(code *)PTR_fputc_001dbed8" * (cast_expression "(code *)PTR_fputc_001dbed8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50))" ( number_literal , (pointer_expression "*(undefined4 *)(PTR_config_001db90c + 0x50)" * (cast_expression "(undefined4 *)(PTR_config_001db90c + 0x50)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_config_001db90c + 0x50)" ( (binary_expression "PTR_config_001db90c + 0x50" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void print_space(void)\n\n{\n                    \n                    \n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}\n\n" (function_definition "void print_space(void)\n\n{\n                    \n                    \n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}" primitive_type (function_declarator "print_space(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n                    \n                    \n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}" { (expression_statement "(*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));" (call_expression "(*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50))" (parenthesized_expression "(*(code *)PTR_fputc_001dbed8)" ( (pointer_expression "*(code *)PTR_fputc_001dbed8" * (cast_expression "(code *)PTR_fputc_001dbed8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50))" ( number_literal , (pointer_expression "*(undefined4 *)(PTR_config_001db90c + 0x50)" * (cast_expression "(undefined4 *)(PTR_config_001db90c + 0x50)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_config_001db90c + 0x50)" ( (binary_expression "PTR_config_001db90c + 0x50" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (return_statement return ;) })))
(function_definition "void print_space(void)\n\n{\n                    \n                    \n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}" (primitive_type "void") (function_declarator "print_space(void)" (identifier "print_space") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n                    \n                    \n  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));\n  return;\n}" ({ "{") (expression_statement "(*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));" (call_expression "(*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50))" (parenthesized_expression "(*(code *)PTR_fputc_001dbed8)" (( "(") (pointer_expression "*(code *)PTR_fputc_001dbed8" (* "*") (cast_expression "(code *)PTR_fputc_001dbed8" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_fputc_001dbed8"))) () ")")) (argument_list "(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50))" (( "(") (number_literal "0x20") (, ",") (pointer_expression "*(undefined4 *)(PTR_config_001db90c + 0x50)" (* "*") (cast_expression "(undefined4 *)(PTR_config_001db90c + 0x50)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_config_001db90c + 0x50)" (( "(") (binary_expression "PTR_config_001db90c + 0x50" (identifier "PTR_config_001db90c") (+ "+") (number_literal "0x50")) () ")")))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

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

void function_1(void)

{
                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(type_1 *)PTR_fputc_001dbed8)(0x20,*(type_2 *)(var_1 + 0x50));
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) 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 (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))))) (return_statement))))

void MASKED(void)

{
                    /* WARNING: Could not recover jumptable at 0x0003a8a8. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_fputc_001dbed8)(0x20,*(undefined4 *)(PTR_config_001db90c + 0x50));
  return;
}

