
/* WARNING: Enum "anon_enum_32": Some values do not have unique names */

void raw_check_close(Raw raw)

{
  Socket ppsVar1;
  
  if (((raw->sent_console_eof != 0) && (raw->sent_socket_eof != 0)) &&
     (ppsVar1 = raw->s, ppsVar1 != (Socket)0x0)) {
    (*(*ppsVar1)->close)(ppsVar1);
    raw->s = (Socket)0x0;
    (*(code *)PTR_notify_remote_exit_00121690)(raw->frontend);
    return;
  }
  return;
}



void FUN_000423cc(int param_1)

{
  int *piVar1;
  
  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&
     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {
    (**(code **)(*piVar1 + 4))(piVar1);
    *(undefined4 *)(param_1 + 4) = 0;
    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));
    return;
  }
  return;
}


lui gp,0xe
addiu gp,gp,0x6ee4
addu gp,gp,t9
lw v0,0x14(a0)
beq v0,zero,0x00042450
_nop
lw v0,0x18(a0)
beq v0,zero,0x00042450
_nop
lw v0,0x4(a0)
beq v0,zero,0x00042450
_nop
addiu sp,sp,-0x20
sw ra,0x1c(sp)
sw s0,0x18(sp)
sw gp,0x10(sp)
or s0,a0,zero
lw v1,0x0(v0)
lw t9,0x4(v1)
or a0,v0,zero
jalr t9
_nop
lw gp,0x10(sp)
sw zero,0x4(s0)
lw a0,0x10(s0)
lw t9,-0x7c20(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw ra,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x20
jr ra
_nop
(translation_unit "void FUN_000423cc(int param_1)\n\n{\n  int *piVar1;\n  \n  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }\n  return;\n}\n\n" (function_definition "void FUN_000423cc(int param_1)\n\n{\n  int *piVar1;\n  \n  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_000423cc(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  int *piVar1;\n  \n  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }\n  return;\n}" { (declaration "int *piVar1;" primitive_type (pointer_declarator "*piVar1" * identifier) ;) (if_statement "if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }" if (parenthesized_expression "(((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0))" ( (binary_expression "((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)" (parenthesized_expression "((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0))" ( (binary_expression "(*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)" (parenthesized_expression "(*(int *)(param_1 + 0x14) != 0)" ( (binary_expression "*(int *)(param_1 + 0x14) != 0" (pointer_expression "*(int *)(param_1 + 0x14)" * (cast_expression "(int *)(param_1 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) )))) != number_literal) )) && (parenthesized_expression "(*(int *)(param_1 + 0x18) != 0)" ( (binary_expression "*(int *)(param_1 + 0x18) != 0" (pointer_expression "*(int *)(param_1 + 0x18)" * (cast_expression "(int *)(param_1 + 0x18)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x18)" ( (binary_expression "param_1 + 0x18" identifier + number_literal) )))) != number_literal) ))) )) && (parenthesized_expression "(piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)" ( (comma_expression "piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0" (assignment_expression "piVar1 = *(int **)(param_1 + 4)" identifier = (pointer_expression "*(int **)(param_1 + 4)" * (cast_expression "(int **)(param_1 + 4)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) ))))) , (binary_expression "piVar1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal))) ))) )) (compound_statement "{\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }" { (expression_statement "(**(code **)(*piVar1 + 4))(piVar1);" (call_expression "(**(code **)(*piVar1 + 4))(piVar1)" (parenthesized_expression "(**(code **)(*piVar1 + 4))" ( (pointer_expression "**(code **)(*piVar1 + 4)" * (pointer_expression "*(code **)(*piVar1 + 4)" * (cast_expression "(code **)(*piVar1 + 4)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*piVar1 + 4)" ( (binary_expression "*piVar1 + 4" (pointer_expression "*piVar1" * identifier) + number_literal) ))))) )) (argument_list "(piVar1)" ( identifier ))) ;) (expression_statement "*(undefined4 *)(param_1 + 4) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 4) = 0" (pointer_expression "*(undefined4 *)(param_1 + 4)" * (cast_expression "(undefined4 *)(param_1 + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) )))) = number_literal) ;) (expression_statement "(*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));" (call_expression "(*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10))" (parenthesized_expression "(*(code *)PTR_notify_remote_exit_00121690)" ( (pointer_expression "*(code *)PTR_notify_remote_exit_00121690" * (cast_expression "(code *)PTR_notify_remote_exit_00121690" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0x10))" ( (pointer_expression "*(undefined4 *)(param_1 + 0x10)" * (cast_expression "(undefined4 *)(param_1 + 0x10)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x10)" ( (binary_expression "param_1 + 0x10" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Enum "anon_enum_32": Some values do not have unique names */\n\nvoid raw_check_close(Raw raw)\n\n{\n  Socket ppsVar1;\n  \n  if (((raw->sent_console_eof != 0) && (raw->sent_socket_eof != 0)) &&\n     (ppsVar1 = raw->s, ppsVar1 != (Socket)0x0)) {\n    (*(*ppsVar1)->close)(ppsVar1);\n    raw->s = (Socket)0x0;\n    (*(code *)PTR_notify_remote_exit_00121690)(raw->frontend);\n    return;\n  }\n  return;\n}\n\n" comment (function_definition "void raw_check_close(Raw raw)\n\n{\n  Socket ppsVar1;\n  \n  if (((raw->sent_console_eof != 0) && (raw->sent_socket_eof != 0)) &&\n     (ppsVar1 = raw->s, ppsVar1 != (Socket)0x0)) {\n    (*(*ppsVar1)->close)(ppsVar1);\n    raw->s = (Socket)0x0;\n    (*(code *)PTR_notify_remote_exit_00121690)(raw->frontend);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "raw_check_close(Raw raw)" identifier (parameter_list "(Raw raw)" ( (parameter_declaration "Raw raw" type_identifier identifier) ))) (compound_statement "{\n  Socket ppsVar1;\n  \n  if (((raw->sent_console_eof != 0) && (raw->sent_socket_eof != 0)) &&\n     (ppsVar1 = raw->s, ppsVar1 != (Socket)0x0)) {\n    (*(*ppsVar1)->close)(ppsVar1);\n    raw->s = (Socket)0x0;\n    (*(code *)PTR_notify_remote_exit_00121690)(raw->frontend);\n    return;\n  }\n  return;\n}" { (declaration "Socket ppsVar1;" type_identifier identifier ;) (if_statement "if (((raw->sent_console_eof != 0) && (raw->sent_socket_eof != 0)) &&\n     (ppsVar1 = raw->s, ppsVar1 != (Socket)0x0)) {\n    (*(*ppsVar1)->close)(ppsVar1);\n    raw->s = (Socket)0x0;\n    (*(code *)PTR_notify_remote_exit_00121690)(raw->frontend);\n    return;\n  }" if (parenthesized_expression "(((raw->sent_console_eof != 0) && (raw->sent_socket_eof != 0)) &&\n     (ppsVar1 = raw->s, ppsVar1 != (Socket)0x0))" ( (binary_expression "((raw->sent_console_eof != 0) && (raw->sent_socket_eof != 0)) &&\n     (ppsVar1 = raw->s, ppsVar1 != (Socket)0x0)" (parenthesized_expression "((raw->sent_console_eof != 0) && (raw->sent_socket_eof != 0))" ( (binary_expression "(raw->sent_console_eof != 0) && (raw->sent_socket_eof != 0)" (parenthesized_expression "(raw->sent_console_eof != 0)" ( (binary_expression "raw->sent_console_eof != 0" (field_expression "raw->sent_console_eof" identifier -> field_identifier) != number_literal) )) && (parenthesized_expression "(raw->sent_socket_eof != 0)" ( (binary_expression "raw->sent_socket_eof != 0" (field_expression "raw->sent_socket_eof" identifier -> field_identifier) != number_literal) ))) )) && (parenthesized_expression "(ppsVar1 = raw->s, ppsVar1 != (Socket)0x0)" ( (comma_expression "ppsVar1 = raw->s, ppsVar1 != (Socket)0x0" (assignment_expression "ppsVar1 = raw->s" identifier = (field_expression "raw->s" identifier -> field_identifier)) , (binary_expression "ppsVar1 != (Socket)0x0" identifier != (cast_expression "(Socket)0x0" ( (type_descriptor "Socket" type_identifier) ) number_literal))) ))) )) (compound_statement "{\n    (*(*ppsVar1)->close)(ppsVar1);\n    raw->s = (Socket)0x0;\n    (*(code *)PTR_notify_remote_exit_00121690)(raw->frontend);\n    return;\n  }" { (expression_statement "(*(*ppsVar1)->close)(ppsVar1);" (call_expression "(*(*ppsVar1)->close)(ppsVar1)" (parenthesized_expression "(*(*ppsVar1)->close)" ( (pointer_expression "*(*ppsVar1)->close" * (field_expression "(*ppsVar1)->close" (parenthesized_expression "(*ppsVar1)" ( (pointer_expression "*ppsVar1" * identifier) )) -> field_identifier)) )) (argument_list "(ppsVar1)" ( identifier ))) ;) (expression_statement "raw->s = (Socket)0x0;" (assignment_expression "raw->s = (Socket)0x0" (field_expression "raw->s" identifier -> field_identifier) = (cast_expression "(Socket)0x0" ( (type_descriptor "Socket" type_identifier) ) number_literal)) ;) (expression_statement "(*(code *)PTR_notify_remote_exit_00121690)(raw->frontend);" (call_expression "(*(code *)PTR_notify_remote_exit_00121690)(raw->frontend)" (parenthesized_expression "(*(code *)PTR_notify_remote_exit_00121690)" ( (pointer_expression "*(code *)PTR_notify_remote_exit_00121690" * (cast_expression "(code *)PTR_notify_remote_exit_00121690" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(raw->frontend)" ( (field_expression "raw->frontend" identifier -> field_identifier) ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void FUN_000423cc(int param_1)\n\n{\n  int *piVar1;\n  \n  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }\n  return;\n}\n\n" (function_definition "void FUN_000423cc(int param_1)\n\n{\n  int *piVar1;\n  \n  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_000423cc(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  int *piVar1;\n  \n  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }\n  return;\n}" { (declaration "int *piVar1;" primitive_type (pointer_declarator "*piVar1" * identifier) ;) (if_statement "if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }" if (parenthesized_expression "(((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0))" ( (binary_expression "((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)" (parenthesized_expression "((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0))" ( (binary_expression "(*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)" (parenthesized_expression "(*(int *)(param_1 + 0x14) != 0)" ( (binary_expression "*(int *)(param_1 + 0x14) != 0" (pointer_expression "*(int *)(param_1 + 0x14)" * (cast_expression "(int *)(param_1 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x14)" ( (binary_expression "param_1 + 0x14" identifier + number_literal) )))) != number_literal) )) && (parenthesized_expression "(*(int *)(param_1 + 0x18) != 0)" ( (binary_expression "*(int *)(param_1 + 0x18) != 0" (pointer_expression "*(int *)(param_1 + 0x18)" * (cast_expression "(int *)(param_1 + 0x18)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x18)" ( (binary_expression "param_1 + 0x18" identifier + number_literal) )))) != number_literal) ))) )) && (parenthesized_expression "(piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)" ( (comma_expression "piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0" (assignment_expression "piVar1 = *(int **)(param_1 + 4)" identifier = (pointer_expression "*(int **)(param_1 + 4)" * (cast_expression "(int **)(param_1 + 4)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) ))))) , (binary_expression "piVar1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal))) ))) )) (compound_statement "{\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }" { (expression_statement "(**(code **)(*piVar1 + 4))(piVar1);" (call_expression "(**(code **)(*piVar1 + 4))(piVar1)" (parenthesized_expression "(**(code **)(*piVar1 + 4))" ( (pointer_expression "**(code **)(*piVar1 + 4)" * (pointer_expression "*(code **)(*piVar1 + 4)" * (cast_expression "(code **)(*piVar1 + 4)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*piVar1 + 4)" ( (binary_expression "*piVar1 + 4" (pointer_expression "*piVar1" * identifier) + number_literal) ))))) )) (argument_list "(piVar1)" ( identifier ))) ;) (expression_statement "*(undefined4 *)(param_1 + 4) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 4) = 0" (pointer_expression "*(undefined4 *)(param_1 + 4)" * (cast_expression "(undefined4 *)(param_1 + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) )))) = number_literal) ;) (expression_statement "(*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));" (call_expression "(*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10))" (parenthesized_expression "(*(code *)PTR_notify_remote_exit_00121690)" ( (pointer_expression "*(code *)PTR_notify_remote_exit_00121690" * (cast_expression "(code *)PTR_notify_remote_exit_00121690" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0x10))" ( (pointer_expression "*(undefined4 *)(param_1 + 0x10)" * (cast_expression "(undefined4 *)(param_1 + 0x10)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x10)" ( (binary_expression "param_1 + 0x10" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) != LIT) )) && (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) != LIT) ))) )) && (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) , (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT))) ))) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + LIT) ))))) )) (argument_list ( IDENT ))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (return_statement return ;) })) (return_statement return ;) })))
(function_definition "void FUN_000423cc(int param_1)\n\n{\n  int *piVar1;\n  \n  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_000423cc(int param_1)" (identifier "FUN_000423cc") (parameter_list "(int param_1)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) () ")"))) (compound_statement "{\n  int *piVar1;\n  \n  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }\n  return;\n}" ({ "{") (declaration "int *piVar1;" (primitive_type "int") (pointer_declarator "*piVar1" (* "*") (identifier "piVar1")) (; ";")) (if_statement "if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }" (if "if") (parenthesized_expression "(((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0))" (( "(") (binary_expression "((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&\n     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)" (parenthesized_expression "((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0))" (( "(") (binary_expression "(*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)" (parenthesized_expression "(*(int *)(param_1 + 0x14) != 0)" (( "(") (binary_expression "*(int *)(param_1 + 0x14) != 0" (pointer_expression "*(int *)(param_1 + 0x14)" (* "*") (cast_expression "(int *)(param_1 + 0x14)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x14)" (( "(") (binary_expression "param_1 + 0x14" (identifier "param_1") (+ "+") (number_literal "0x14")) () ")")))) (!= "!=") (number_literal "0")) () ")")) (&& "&&") (parenthesized_expression "(*(int *)(param_1 + 0x18) != 0)" (( "(") (binary_expression "*(int *)(param_1 + 0x18) != 0" (pointer_expression "*(int *)(param_1 + 0x18)" (* "*") (cast_expression "(int *)(param_1 + 0x18)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x18)" (( "(") (binary_expression "param_1 + 0x18" (identifier "param_1") (+ "+") (number_literal "0x18")) () ")")))) (!= "!=") (number_literal "0")) () ")"))) () ")")) (&& "&&") (parenthesized_expression "(piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)" (( "(") (comma_expression "piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0" (assignment_expression "piVar1 = *(int **)(param_1 + 4)" (identifier "piVar1") (= "=") (pointer_expression "*(int **)(param_1 + 4)" (* "*") (cast_expression "(int **)(param_1 + 4)" (( "(") (type_descriptor "int **" (primitive_type "int") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(param_1 + 4)" (( "(") (binary_expression "param_1 + 4" (identifier "param_1") (+ "+") (number_literal "4")) () ")"))))) (, ",") (binary_expression "piVar1 != (int *)0x0" (identifier "piVar1") (!= "!=") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0")))) () ")"))) () ")")) (compound_statement "{\n    (**(code **)(*piVar1 + 4))(piVar1);\n    *(undefined4 *)(param_1 + 4) = 0;\n    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));\n    return;\n  }" ({ "{") (expression_statement "(**(code **)(*piVar1 + 4))(piVar1);" (call_expression "(**(code **)(*piVar1 + 4))(piVar1)" (parenthesized_expression "(**(code **)(*piVar1 + 4))" (( "(") (pointer_expression "**(code **)(*piVar1 + 4)" (* "*") (pointer_expression "*(code **)(*piVar1 + 4)" (* "*") (cast_expression "(code **)(*piVar1 + 4)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*piVar1 + 4)" (( "(") (binary_expression "*piVar1 + 4" (pointer_expression "*piVar1" (* "*") (identifier "piVar1")) (+ "+") (number_literal "4")) () ")"))))) () ")")) (argument_list "(piVar1)" (( "(") (identifier "piVar1") () ")"))) (; ";")) (expression_statement "*(undefined4 *)(param_1 + 4) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 4) = 0" (pointer_expression "*(undefined4 *)(param_1 + 4)" (* "*") (cast_expression "(undefined4 *)(param_1 + 4)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 4)" (( "(") (binary_expression "param_1 + 4" (identifier "param_1") (+ "+") (number_literal "4")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "(*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));" (call_expression "(*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10))" (parenthesized_expression "(*(code *)PTR_notify_remote_exit_00121690)" (( "(") (pointer_expression "*(code *)PTR_notify_remote_exit_00121690" (* "*") (cast_expression "(code *)PTR_notify_remote_exit_00121690" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_notify_remote_exit_00121690"))) () ")")) (argument_list "(*(undefined4 *)(param_1 + 0x10))" (( "(") (pointer_expression "*(undefined4 *)(param_1 + 0x10)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x10)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x10)" (( "(") (binary_expression "param_1 + 0x10" (identifier "param_1") (+ "+") (number_literal "0x10")) () ")")))) () ")"))) (; ";")) (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) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (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: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) 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: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))))) right: (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) right: (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal))))))) consequence: (compound_statement (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))))))) arguments: (argument_list (identifier)))) (expression_statement (assignment_expression left: (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))))) 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 (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))) (return_statement))))

void MASKED(int param_1)

{
  int *piVar1;
  
  if (((*(int *)(param_1 + 0x14) != 0) && (*(int *)(param_1 + 0x18) != 0)) &&
     (piVar1 = *(int **)(param_1 + 4), piVar1 != (int *)0x0)) {
    (**(code **)(*piVar1 + 4))(piVar1);
    *(undefined4 *)(param_1 + 4) = 0;
    (*(code *)PTR_notify_remote_exit_00121690)(*(undefined4 *)(param_1 + 0x10));
    return;
  }
  return;
}

