
void sv_terminal(char *name)

{
  char *pcVar1;
  
  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))
  {
    pcVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);
                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)PTR_rl_reset_terminal_00144f74)(pcVar1);
    return;
  }
  return;
}



void sv_terminal(void)

{
  undefined4 uVar1;
  
  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))
  {
    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);
                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);
    return;
  }
  return;
}


lui gp,0xf
addiu gp,gp,0x5b04
addu gp,gp,t9
lw v0,-0x7fa8(gp)
addiu sp,sp,-0x20
sw gp,0x10(sp)
sw ra,0x1c(sp)
lw v0,0x0(v0)
beq v0,zero,0x00056a74
_lw ra,0x1c(sp)
lw v0,-0x7fa0(gp)
lw v0,0x0(v0)
beq v0,zero,0x00056a7c
_lw a0,-0x7fc8(gp)
jr ra
_addiu sp,sp,0x20
lw t9,-0x7db0(gp)
bal 0x000569f0
_addiu a0,a0,0x4444
lw gp,0x10(sp)
or a0,v0,zero
lw ra,0x1c(sp)
lw t9,-0x75cc(gp)
jr t9
_addiu sp,sp,0x20
(translation_unit "void sv_terminal(void)\n\n{\n  undefined4 uVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void sv_terminal(void)\n\n{\n  undefined4 uVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sv_terminal(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined4 uVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }\n  return;\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (if_statement "if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }" if (parenthesized_expression "((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))" ( (binary_expression "(*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0)" (parenthesized_expression "(*(int *)PTR_interactive_shell_00144598 != 0)" ( (binary_expression "*(int *)PTR_interactive_shell_00144598 != 0" (pointer_expression "*(int *)PTR_interactive_shell_00144598" * (cast_expression "(int *)PTR_interactive_shell_00144598" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) != number_literal) )) && (parenthesized_expression "(*(int *)PTR_no_line_editing_001445a0 == 0)" ( (binary_expression "*(int *)PTR_no_line_editing_001445a0 == 0" (pointer_expression "*(int *)PTR_no_line_editing_001445a0" * (cast_expression "(int *)PTR_no_line_editing_001445a0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) == number_literal) ))) )) (compound_statement "{\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }" { (expression_statement "uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);" (assignment_expression "uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444)" identifier = (call_expression "get_string_value(PTR_LAB_00144578 + 0x4444)" identifier (argument_list "(PTR_LAB_00144578 + 0x4444)" ( (binary_expression "PTR_LAB_00144578 + 0x4444" identifier + number_literal) )))) ;) comment comment (expression_statement "(*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);" (call_expression "(*(code *)PTR_rl_reset_terminal_00144f74)(uVar1)" (parenthesized_expression "(*(code *)PTR_rl_reset_terminal_00144f74)" ( (pointer_expression "*(code *)PTR_rl_reset_terminal_00144f74" * (cast_expression "(code *)PTR_rl_reset_terminal_00144f74" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar1)" ( identifier ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void sv_terminal(char *name)\n\n{\n  char *pcVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    pcVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(pcVar1);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void sv_terminal(char *name)\n\n{\n  char *pcVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    pcVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(pcVar1);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sv_terminal(char *name)" identifier (parameter_list "(char *name)" ( (parameter_declaration "char *name" primitive_type (pointer_declarator "*name" * identifier)) ))) (compound_statement "{\n  char *pcVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    pcVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(pcVar1);\n    return;\n  }\n  return;\n}" { (declaration "char *pcVar1;" primitive_type (pointer_declarator "*pcVar1" * identifier) ;) (if_statement "if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    pcVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(pcVar1);\n    return;\n  }" if (parenthesized_expression "((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))" ( (binary_expression "(*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0)" (parenthesized_expression "(*(int *)PTR_interactive_shell_00144598 != 0)" ( (binary_expression "*(int *)PTR_interactive_shell_00144598 != 0" (pointer_expression "*(int *)PTR_interactive_shell_00144598" * (cast_expression "(int *)PTR_interactive_shell_00144598" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) != number_literal) )) && (parenthesized_expression "(*(int *)PTR_no_line_editing_001445a0 == 0)" ( (binary_expression "*(int *)PTR_no_line_editing_001445a0 == 0" (pointer_expression "*(int *)PTR_no_line_editing_001445a0" * (cast_expression "(int *)PTR_no_line_editing_001445a0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) == number_literal) ))) )) (compound_statement "{\n    pcVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_rl_reset_terminal_00144f74)(pcVar1);\n    return;\n  }" { (expression_statement "pcVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);" (assignment_expression "pcVar1 = get_string_value(PTR_LAB_00144578 + 0x4444)" identifier = (call_expression "get_string_value(PTR_LAB_00144578 + 0x4444)" identifier (argument_list "(PTR_LAB_00144578 + 0x4444)" ( (binary_expression "PTR_LAB_00144578 + 0x4444" identifier + number_literal) )))) ;) comment comment (expression_statement "(*(code *)PTR_rl_reset_terminal_00144f74)(pcVar1);" (call_expression "(*(code *)PTR_rl_reset_terminal_00144f74)(pcVar1)" (parenthesized_expression "(*(code *)PTR_rl_reset_terminal_00144f74)" ( (pointer_expression "*(code *)PTR_rl_reset_terminal_00144f74" * (cast_expression "(code *)PTR_rl_reset_terminal_00144f74" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(pcVar1)" ( identifier ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void sv_terminal(void)\n\n{\n  undefined4 uVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    \n                    \n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void sv_terminal(void)\n\n{\n  undefined4 uVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    \n                    \n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sv_terminal(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined4 uVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    \n                    \n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }\n  return;\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (if_statement "if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    \n                    \n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }" if (parenthesized_expression "((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))" ( (binary_expression "(*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0)" (parenthesized_expression "(*(int *)PTR_interactive_shell_00144598 != 0)" ( (binary_expression "*(int *)PTR_interactive_shell_00144598 != 0" (pointer_expression "*(int *)PTR_interactive_shell_00144598" * (cast_expression "(int *)PTR_interactive_shell_00144598" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) != number_literal) )) && (parenthesized_expression "(*(int *)PTR_no_line_editing_001445a0 == 0)" ( (binary_expression "*(int *)PTR_no_line_editing_001445a0 == 0" (pointer_expression "*(int *)PTR_no_line_editing_001445a0" * (cast_expression "(int *)PTR_no_line_editing_001445a0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) == number_literal) ))) )) (compound_statement "{\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    \n                    \n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }" { (expression_statement "uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);" (assignment_expression "uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444)" identifier = (call_expression "get_string_value(PTR_LAB_00144578 + 0x4444)" identifier (argument_list "(PTR_LAB_00144578 + 0x4444)" ( (binary_expression "PTR_LAB_00144578 + 0x4444" identifier + number_literal) )))) ;) (expression_statement "(*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);" (call_expression "(*(code *)PTR_rl_reset_terminal_00144f74)(uVar1)" (parenthesized_expression "(*(code *)PTR_rl_reset_terminal_00144f74)" ( (pointer_expression "*(code *)PTR_rl_reset_terminal_00144f74" * (cast_expression "(code *)PTR_rl_reset_terminal_00144f74" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar1)" ( identifier ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) != LIT) )) && (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) == LIT) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression 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 ;) })) (return_statement return ;) })))
(function_definition "void sv_terminal(void)\n\n{\n  undefined4 uVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    \n                    \n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "sv_terminal(void)" (identifier "sv_terminal") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  undefined4 uVar1;\n  \n  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    \n                    \n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }\n  return;\n}" ({ "{") (declaration "undefined4 uVar1;" (type_identifier "undefined4") (identifier "uVar1") (; ";")) (if_statement "if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))\n  {\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    \n                    \n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }" (if "if") (parenthesized_expression "((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))" (( "(") (binary_expression "(*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0)" (parenthesized_expression "(*(int *)PTR_interactive_shell_00144598 != 0)" (( "(") (binary_expression "*(int *)PTR_interactive_shell_00144598 != 0" (pointer_expression "*(int *)PTR_interactive_shell_00144598" (* "*") (cast_expression "(int *)PTR_interactive_shell_00144598" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_interactive_shell_00144598"))) (!= "!=") (number_literal "0")) () ")")) (&& "&&") (parenthesized_expression "(*(int *)PTR_no_line_editing_001445a0 == 0)" (( "(") (binary_expression "*(int *)PTR_no_line_editing_001445a0 == 0" (pointer_expression "*(int *)PTR_no_line_editing_001445a0" (* "*") (cast_expression "(int *)PTR_no_line_editing_001445a0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_no_line_editing_001445a0"))) (== "==") (number_literal "0")) () ")"))) () ")")) (compound_statement "{\n    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);\n                    \n                    \n    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);\n    return;\n  }" ({ "{") (expression_statement "uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);" (assignment_expression "uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444)" (identifier "uVar1") (= "=") (call_expression "get_string_value(PTR_LAB_00144578 + 0x4444)" (identifier "get_string_value") (argument_list "(PTR_LAB_00144578 + 0x4444)" (( "(") (binary_expression "PTR_LAB_00144578 + 0x4444" (identifier "PTR_LAB_00144578") (+ "+") (number_literal "0x4444")) () ")")))) (; ";")) (expression_statement "(*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);" (call_expression "(*(code *)PTR_rl_reset_terminal_00144f74)(uVar1)" (parenthesized_expression "(*(code *)PTR_rl_reset_terminal_00144f74)" (( "(") (pointer_expression "*(code *)PTR_rl_reset_terminal_00144f74" (* "*") (cast_expression "(code *)PTR_rl_reset_terminal_00144f74" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_rl_reset_terminal_00144f74"))) () ")")) (argument_list "(uVar1)" (( "(") (identifier "uVar1") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (number_literal))) right: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (number_literal))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (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))) (return_statement))))

void MASKED(void)

{
  undefined4 uVar1;
  
  if ((*(int *)PTR_interactive_shell_00144598 != 0) && (*(int *)PTR_no_line_editing_001445a0 == 0))
  {
    uVar1 = get_string_value(PTR_LAB_00144578 + 0x4444);
                    /* WARNING: Could not recover jumptable at 0x00056a98. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)PTR_rl_reset_terminal_00144f74)(uVar1);
    return;
  }
  return;
}

