
_Bool re_node_set_insert_last(re_node_set *set,Idx elem)

{
  undefined *puVar1;
  Idx *pIVar2;
  int iVar3;
  
  puVar1 = PTR_realloc_00045354;
  iVar3 = set->nelem;
  pIVar2 = set->elems;
  if (set->alloc == iVar3) {
    set->alloc = (iVar3 + 1) * 2;
    pIVar2 = (Idx *)(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8);
    if (pIVar2 == (Idx *)0x0) {
      return false;
    }
    iVar3 = set->nelem;
    set->elems = pIVar2;
  }
  set->nelem = iVar3 + 1;
  pIVar2[iVar3] = elem;
  return true;
}



undefined4 FUN_0001e5d0(int *param_1,undefined4 param_2)

{
  undefined *puVar1;
  int iVar2;
  int iVar3;
  
  puVar1 = PTR_realloc_00045354;
  iVar3 = param_1[1];
  iVar2 = param_1[2];
  if (*param_1 == iVar3) {
    *param_1 = (iVar3 + 1) * 2;
    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);
    if (iVar2 == 0) {
      return 0;
    }
    iVar3 = param_1[1];
    param_1[2] = iVar2;
  }
  param_1[1] = iVar3 + 1;
  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;
  return 1;
}


lui gp,0x3
addiu gp,gp,-0x14d0
addu gp,gp,t9
addiu sp,sp,-0x28
lw v0,0x0(a0)
sw s1,0x20(sp)
or s1,a1,zero
sw gp,0x10(sp)
sw s0,0x1c(sp)
or s0,a0,zero
sw ra,0x24(sp)
lw a1,0x4(a0)
beq v0,a1,0x0001e634
_lw a0,0x8(a0)
sll v0,a1,0x2
addiu a1,a1,0x1
addu a0,a0,v0
li v0,0x1
sw a1,0x4(s0)
sw s1,0x0(a0)
lw ra,0x24(sp)
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x28
addiu a1,a1,0x1
lw t9,-0x7dac(gp)
sll v0,a1,0x1
sll a1,a1,0x3
jalr t9
_sw v0,0x0(s0)
beq v0,zero,0x0001e660
_or a0,v0,zero
lw a1,0x4(s0)
b 0x0001e608
_sw v0,0x8(s0)
b 0x0001e620
_or v0,zero,zero
(translation_unit "undefined4 FUN_0001e5d0(int *param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = param_1[1];\n  iVar2 = param_1[2];\n  if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }\n  param_1[1] = iVar3 + 1;\n  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;\n  return 1;\n}\n\n" (function_definition "undefined4 FUN_0001e5d0(int *param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = param_1[1];\n  iVar2 = param_1[2];\n  if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }\n  param_1[1] = iVar3 + 1;\n  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;\n  return 1;\n}" type_identifier (function_declarator "FUN_0001e5d0(int *param_1,undefined4 param_2)" identifier (parameter_list "(int *param_1,undefined4 param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "undefined4 param_2" type_identifier identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = param_1[1];\n  iVar2 = param_1[2];\n  if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }\n  param_1[1] = iVar3 + 1;\n  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;\n  return 1;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (expression_statement "puVar1 = PTR_realloc_00045354;" (assignment_expression "puVar1 = PTR_realloc_00045354" identifier = identifier) ;) (expression_statement "iVar3 = param_1[1];" (assignment_expression "iVar3 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) ;) (expression_statement "iVar2 = param_1[2];" (assignment_expression "iVar2 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (if_statement "if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }" if (parenthesized_expression "(*param_1 == iVar3)" ( (binary_expression "*param_1 == iVar3" (pointer_expression "*param_1" * identifier) == identifier) )) (compound_statement "{\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }" { (expression_statement "*param_1 = (iVar3 + 1) * 2;" (assignment_expression "*param_1 = (iVar3 + 1) * 2" (pointer_expression "*param_1" * identifier) = (binary_expression "(iVar3 + 1) * 2" (parenthesized_expression "(iVar3 + 1)" ( (binary_expression "iVar3 + 1" identifier + number_literal) )) * number_literal)) ;) (expression_statement "iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);" (assignment_expression "iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8)" identifier = (call_expression "(*(code *)puVar1)(iVar2,(iVar3 + 1) * 8)" (parenthesized_expression "(*(code *)puVar1)" ( (pointer_expression "*(code *)puVar1" * (cast_expression "(code *)puVar1" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(iVar2,(iVar3 + 1) * 8)" ( identifier , (binary_expression "(iVar3 + 1) * 8" (parenthesized_expression "(iVar3 + 1)" ( (binary_expression "iVar3 + 1" identifier + number_literal) )) * number_literal) )))) ;) (if_statement "if (iVar2 == 0) {\n      return 0;\n    }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar3 = param_1[1];" (assignment_expression "iVar3 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) ;) (expression_statement "param_1[2] = iVar2;" (assignment_expression "param_1[2] = iVar2" (subscript_expression "param_1[2]" identifier [ number_literal ]) = identifier) ;) })) (expression_statement "param_1[1] = iVar3 + 1;" (assignment_expression "param_1[1] = iVar3 + 1" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "*(undefined4 *)(iVar2 + iVar3 * 4) = param_2;" (assignment_expression "*(undefined4 *)(iVar2 + iVar3 * 4) = param_2" (pointer_expression "*(undefined4 *)(iVar2 + iVar3 * 4)" * (cast_expression "(undefined4 *)(iVar2 + iVar3 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar2 + iVar3 * 4)" ( (binary_expression "iVar2 + iVar3 * 4" identifier + (binary_expression "iVar3 * 4" identifier * number_literal)) )))) = identifier) ;) (return_statement "return 1;" return number_literal ;) })))
(translation_unit "_Bool re_node_set_insert_last(re_node_set *set,Idx elem)\n\n{\n  undefined *puVar1;\n  Idx *pIVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = set->nelem;\n  pIVar2 = set->elems;\n  if (set->alloc == iVar3) {\n    set->alloc = (iVar3 + 1) * 2;\n    pIVar2 = (Idx *)(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8);\n    if (pIVar2 == (Idx *)0x0) {\n      return false;\n    }\n    iVar3 = set->nelem;\n    set->elems = pIVar2;\n  }\n  set->nelem = iVar3 + 1;\n  pIVar2[iVar3] = elem;\n  return true;\n}\n\n" (function_definition "_Bool re_node_set_insert_last(re_node_set *set,Idx elem)\n\n{\n  undefined *puVar1;\n  Idx *pIVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = set->nelem;\n  pIVar2 = set->elems;\n  if (set->alloc == iVar3) {\n    set->alloc = (iVar3 + 1) * 2;\n    pIVar2 = (Idx *)(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8);\n    if (pIVar2 == (Idx *)0x0) {\n      return false;\n    }\n    iVar3 = set->nelem;\n    set->elems = pIVar2;\n  }\n  set->nelem = iVar3 + 1;\n  pIVar2[iVar3] = elem;\n  return true;\n}" type_identifier (function_declarator "re_node_set_insert_last(re_node_set *set,Idx elem)" identifier (parameter_list "(re_node_set *set,Idx elem)" ( (parameter_declaration "re_node_set *set" type_identifier (pointer_declarator "*set" * identifier)) , (parameter_declaration "Idx elem" type_identifier identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  Idx *pIVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = set->nelem;\n  pIVar2 = set->elems;\n  if (set->alloc == iVar3) {\n    set->alloc = (iVar3 + 1) * 2;\n    pIVar2 = (Idx *)(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8);\n    if (pIVar2 == (Idx *)0x0) {\n      return false;\n    }\n    iVar3 = set->nelem;\n    set->elems = pIVar2;\n  }\n  set->nelem = iVar3 + 1;\n  pIVar2[iVar3] = elem;\n  return true;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "Idx *pIVar2;" type_identifier (pointer_declarator "*pIVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (expression_statement "puVar1 = PTR_realloc_00045354;" (assignment_expression "puVar1 = PTR_realloc_00045354" identifier = identifier) ;) (expression_statement "iVar3 = set->nelem;" (assignment_expression "iVar3 = set->nelem" identifier = (field_expression "set->nelem" identifier -> field_identifier)) ;) (expression_statement "pIVar2 = set->elems;" (assignment_expression "pIVar2 = set->elems" identifier = (field_expression "set->elems" identifier -> field_identifier)) ;) (if_statement "if (set->alloc == iVar3) {\n    set->alloc = (iVar3 + 1) * 2;\n    pIVar2 = (Idx *)(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8);\n    if (pIVar2 == (Idx *)0x0) {\n      return false;\n    }\n    iVar3 = set->nelem;\n    set->elems = pIVar2;\n  }" if (parenthesized_expression "(set->alloc == iVar3)" ( (binary_expression "set->alloc == iVar3" (field_expression "set->alloc" identifier -> field_identifier) == identifier) )) (compound_statement "{\n    set->alloc = (iVar3 + 1) * 2;\n    pIVar2 = (Idx *)(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8);\n    if (pIVar2 == (Idx *)0x0) {\n      return false;\n    }\n    iVar3 = set->nelem;\n    set->elems = pIVar2;\n  }" { (expression_statement "set->alloc = (iVar3 + 1) * 2;" (assignment_expression "set->alloc = (iVar3 + 1) * 2" (field_expression "set->alloc" identifier -> field_identifier) = (binary_expression "(iVar3 + 1) * 2" (parenthesized_expression "(iVar3 + 1)" ( (binary_expression "iVar3 + 1" identifier + number_literal) )) * number_literal)) ;) (expression_statement "pIVar2 = (Idx *)(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8);" (assignment_expression "pIVar2 = (Idx *)(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8)" identifier = (cast_expression "(Idx *)(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8)" ( (type_descriptor "Idx *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)puVar1)(pIVar2,(iVar3 + 1) * 8)" (parenthesized_expression "(*(code *)puVar1)" ( (pointer_expression "*(code *)puVar1" * (cast_expression "(code *)puVar1" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(pIVar2,(iVar3 + 1) * 8)" ( identifier , (binary_expression "(iVar3 + 1) * 8" (parenthesized_expression "(iVar3 + 1)" ( (binary_expression "iVar3 + 1" identifier + number_literal) )) * number_literal) ))))) ;) (if_statement "if (pIVar2 == (Idx *)0x0) {\n      return false;\n    }" if (parenthesized_expression "(pIVar2 == (Idx *)0x0)" ( (binary_expression "pIVar2 == (Idx *)0x0" identifier == (cast_expression "(Idx *)0x0" ( (type_descriptor "Idx *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      return false;\n    }" { (return_statement "return false;" return false ;) })) (expression_statement "iVar3 = set->nelem;" (assignment_expression "iVar3 = set->nelem" identifier = (field_expression "set->nelem" identifier -> field_identifier)) ;) (expression_statement "set->elems = pIVar2;" (assignment_expression "set->elems = pIVar2" (field_expression "set->elems" identifier -> field_identifier) = identifier) ;) })) (expression_statement "set->nelem = iVar3 + 1;" (assignment_expression "set->nelem = iVar3 + 1" (field_expression "set->nelem" identifier -> field_identifier) = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "pIVar2[iVar3] = elem;" (assignment_expression "pIVar2[iVar3] = elem" (subscript_expression "pIVar2[iVar3]" identifier [ identifier ]) = identifier) ;) (return_statement "return true;" return true ;) })))
(translation_unit "undefined4 FUN_0001e5d0(int *param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = param_1[1];\n  iVar2 = param_1[2];\n  if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }\n  param_1[1] = iVar3 + 1;\n  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;\n  return 1;\n}\n\n" (function_definition "undefined4 FUN_0001e5d0(int *param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = param_1[1];\n  iVar2 = param_1[2];\n  if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }\n  param_1[1] = iVar3 + 1;\n  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;\n  return 1;\n}" type_identifier (function_declarator "FUN_0001e5d0(int *param_1,undefined4 param_2)" identifier (parameter_list "(int *param_1,undefined4 param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "undefined4 param_2" type_identifier identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = param_1[1];\n  iVar2 = param_1[2];\n  if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }\n  param_1[1] = iVar3 + 1;\n  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;\n  return 1;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (expression_statement "puVar1 = PTR_realloc_00045354;" (assignment_expression "puVar1 = PTR_realloc_00045354" identifier = identifier) ;) (expression_statement "iVar3 = param_1[1];" (assignment_expression "iVar3 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) ;) (expression_statement "iVar2 = param_1[2];" (assignment_expression "iVar2 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (if_statement "if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }" if (parenthesized_expression "(*param_1 == iVar3)" ( (binary_expression "*param_1 == iVar3" (pointer_expression "*param_1" * identifier) == identifier) )) (compound_statement "{\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }" { (expression_statement "*param_1 = (iVar3 + 1) * 2;" (assignment_expression "*param_1 = (iVar3 + 1) * 2" (pointer_expression "*param_1" * identifier) = (binary_expression "(iVar3 + 1) * 2" (parenthesized_expression "(iVar3 + 1)" ( (binary_expression "iVar3 + 1" identifier + number_literal) )) * number_literal)) ;) (expression_statement "iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);" (assignment_expression "iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8)" identifier = (call_expression "(*(code *)puVar1)(iVar2,(iVar3 + 1) * 8)" (parenthesized_expression "(*(code *)puVar1)" ( (pointer_expression "*(code *)puVar1" * (cast_expression "(code *)puVar1" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(iVar2,(iVar3 + 1) * 8)" ( identifier , (binary_expression "(iVar3 + 1) * 8" (parenthesized_expression "(iVar3 + 1)" ( (binary_expression "iVar3 + 1" identifier + number_literal) )) * number_literal) )))) ;) (if_statement "if (iVar2 == 0) {\n      return 0;\n    }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar3 = param_1[1];" (assignment_expression "iVar3 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) ;) (expression_statement "param_1[2] = iVar2;" (assignment_expression "param_1[2] = iVar2" (subscript_expression "param_1[2]" identifier [ number_literal ]) = identifier) ;) })) (expression_statement "param_1[1] = iVar3 + 1;" (assignment_expression "param_1[1] = iVar3 + 1" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "*(undefined4 *)(iVar2 + iVar3 * 4) = param_2;" (assignment_expression "*(undefined4 *)(iVar2 + iVar3 * 4) = param_2" (pointer_expression "*(undefined4 *)(iVar2 + iVar3 * 4)" * (cast_expression "(undefined4 *)(iVar2 + iVar3 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar2 + iVar3 * 4)" ( (binary_expression "iVar2 + iVar3 * 4" identifier + (binary_expression "iVar3 * 4" identifier * number_literal)) )))) = identifier) ;) (return_statement "return 1;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) == IDENT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) * LIT)) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) * LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (binary_expression IDENT * LIT)) )))) = IDENT) ;) (return_statement return LIT ;) })))
(function_definition "undefined4 FUN_0001e5d0(int *param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = param_1[1];\n  iVar2 = param_1[2];\n  if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }\n  param_1[1] = iVar3 + 1;\n  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;\n  return 1;\n}" (type_identifier "undefined4") (function_declarator "FUN_0001e5d0(int *param_1,undefined4 param_2)" (identifier "FUN_0001e5d0") (parameter_list "(int *param_1,undefined4 param_2)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) () ")"))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  int iVar3;\n  \n  puVar1 = PTR_realloc_00045354;\n  iVar3 = param_1[1];\n  iVar2 = param_1[2];\n  if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }\n  param_1[1] = iVar3 + 1;\n  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;\n  return 1;\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (expression_statement "puVar1 = PTR_realloc_00045354;" (assignment_expression "puVar1 = PTR_realloc_00045354" (identifier "puVar1") (= "=") (identifier "PTR_realloc_00045354")) (; ";")) (expression_statement "iVar3 = param_1[1];" (assignment_expression "iVar3 = param_1[1]" (identifier "iVar3") (= "=") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "iVar2 = param_1[2];" (assignment_expression "iVar2 = param_1[2]" (identifier "iVar2") (= "=") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]"))) (; ";")) (if_statement "if (*param_1 == iVar3) {\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }" (if "if") (parenthesized_expression "(*param_1 == iVar3)" (( "(") (binary_expression "*param_1 == iVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (== "==") (identifier "iVar3")) () ")")) (compound_statement "{\n    *param_1 = (iVar3 + 1) * 2;\n    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);\n    if (iVar2 == 0) {\n      return 0;\n    }\n    iVar3 = param_1[1];\n    param_1[2] = iVar2;\n  }" ({ "{") (expression_statement "*param_1 = (iVar3 + 1) * 2;" (assignment_expression "*param_1 = (iVar3 + 1) * 2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "(iVar3 + 1) * 2" (parenthesized_expression "(iVar3 + 1)" (( "(") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1")) () ")")) (* "*") (number_literal "2"))) (; ";")) (expression_statement "iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);" (assignment_expression "iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8)" (identifier "iVar2") (= "=") (call_expression "(*(code *)puVar1)(iVar2,(iVar3 + 1) * 8)" (parenthesized_expression "(*(code *)puVar1)" (( "(") (pointer_expression "*(code *)puVar1" (* "*") (cast_expression "(code *)puVar1" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")")) (argument_list "(iVar2,(iVar3 + 1) * 8)" (( "(") (identifier "iVar2") (, ",") (binary_expression "(iVar3 + 1) * 8" (parenthesized_expression "(iVar3 + 1)" (( "(") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1")) () ")")) (* "*") (number_literal "8")) () ")")))) (; ";")) (if_statement "if (iVar2 == 0) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(iVar2 == 0)" (( "(") (binary_expression "iVar2 == 0" (identifier "iVar2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "iVar3 = param_1[1];" (assignment_expression "iVar3 = param_1[1]" (identifier "iVar3") (= "=") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "param_1[2] = iVar2;" (assignment_expression "param_1[2] = iVar2" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "iVar2")) (; ";")) (} "}"))) (expression_statement "param_1[1] = iVar3 + 1;" (assignment_expression "param_1[1] = iVar3 + 1" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*(undefined4 *)(iVar2 + iVar3 * 4) = param_2;" (assignment_expression "*(undefined4 *)(iVar2 + iVar3 * 4) = param_2" (pointer_expression "*(undefined4 *)(iVar2 + iVar3 * 4)" (* "*") (cast_expression "(undefined4 *)(iVar2 + iVar3 * 4)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar2 + iVar3 * 4)" (( "(") (binary_expression "iVar2 + iVar3 * 4" (identifier "iVar2") (+ "+") (binary_expression "iVar3 * 4" (identifier "iVar3") (* "*") (number_literal "4"))) () ")")))) (= "=") (identifier "param_2")) (; ";")) (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}")))

type_1 function_1(type_2 *set,type_3 elem)

{
  type_4 *puVar1;
  type_3 *var_2;
  int var_1;
  
  puVar1 = PTR_realloc_00045354;
  var_1 = set->nelem;
  var_2 = set->elems;
  if (set->alloc == var_1) {
    set->alloc = (var_1 + 1) * 2;
    var_2 = (type_3 *)(*(type_5 *)puVar1)(var_2,(var_1 + 1) * 8);
    if (var_2 == (type_3 *)0x0) {
      return false;
    }
    var_1 = set->nelem;
    set->elems = var_2;
  }
  set->nelem = var_1 + 1;
  var_2[var_1] = elem;
  return true;
}


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

undefined4 MASKED(int *param_1,undefined4 param_2)

{
  undefined *puVar1;
  int iVar2;
  int iVar3;
  
  puVar1 = PTR_realloc_00045354;
  iVar3 = param_1[1];
  iVar2 = param_1[2];
  if (*param_1 == iVar3) {
    *param_1 = (iVar3 + 1) * 2;
    iVar2 = (*(code *)puVar1)(iVar2,(iVar3 + 1) * 8);
    if (iVar2 == 0) {
      return 0;
    }
    iVar3 = param_1[1];
    param_1[2] = iVar2;
  }
  param_1[1] = iVar3 + 1;
  *(undefined4 *)(iVar2 + iVar3 * 4) = param_2;
  return 1;
}

