
int hash_table_remove(hash_table *ht,void *key)

{
  bool bVar1;
  ulong uVar2;
  void *pvVar3;
  int iVar4;
  cell *pcVar5;
  cell *pcVar6;
  uint uVar7;
  testfun_t p_Var8;
  hashfun_t p_Var9;
  cell *pcVar10;
  cell *pcVar11;
  
  uVar7 = ht->size;
  pcVar10 = ht->cells;
  uVar2 = (*ht->hash_function)(key);
  if (uVar7 == 0) {
    trap(7);
  }
  p_Var8 = ht->test_function;
  pcVar5 = pcVar10 + uVar2 % uVar7;
  do {
    pvVar3 = pcVar5->key;
    pcVar6 = pcVar5;
    if (pvVar3 == (void *)0xffffffff) {
      return 0;
    }
    while( true ) {
      iVar4 = (*p_Var8)(key,pvVar3);
      if (iVar4 != 0) {
        if (pcVar6->key == (void *)0xffffffff) {
          return 0;
        }
        uVar7 = ht->size;
        iVar4 = ht->count;
        pcVar11 = ht->cells;
        p_Var9 = ht->hash_function;
        pcVar6->key = (void *)0xffffffff;
        pcVar5 = pcVar11 + (uVar7 - 1);
        ht->count = iVar4 + -1;
        pcVar10 = pcVar11;
        if (pcVar5 != pcVar6) {
          pcVar10 = pcVar6 + 1;
        }
        goto LAB_0002f000;
      }
      pcVar5 = pcVar10;
      if (pcVar10 + (uVar7 - 1) == pcVar6) break;
      pcVar6 = pcVar6 + 1;
      pvVar3 = pcVar6->key;
      if (pvVar3 == (void *)0xffffffff) {
        return 0;
      }
    }
  } while( true );
LAB_0002f000:
  pvVar3 = pcVar10->key;
  pcVar6 = pcVar10;
  do {
    if (pvVar3 == (void *)0xffffffff) {
      return 1;
    }
    uVar2 = (*p_Var9)(pvVar3);
    if (uVar7 == 0) {
      trap(7);
    }
    pcVar10 = pcVar11 + uVar2 % uVar7;
    while (pcVar10->key != (void *)0xffffffff) {
      if (pcVar10->key == pvVar3) goto LAB_0002f064;
      bVar1 = pcVar5 == pcVar10;
      pcVar10 = pcVar10 + 1;
      if (bVar1) {
        pcVar10 = pcVar11;
      }
    }
    pvVar3 = pcVar6->value;
    pcVar10->key = pcVar6->key;
    pcVar10->value = pvVar3;
    pcVar6->key = (void *)0xffffffff;
LAB_0002f064:
    pcVar10 = pcVar11;
    if (pcVar5 == pcVar6) goto LAB_0002f000;
    pcVar6 = pcVar6 + 1;
    pvVar3 = pcVar6->key;
  } while( true );
}



undefined4 hash_table_remove(undefined4 *param_1,undefined4 param_2)

{
  bool bVar1;
  uint uVar2;
  int iVar3;
  int *piVar4;
  int *piVar5;
  uint uVar6;
  code *pcVar7;
  int *piVar8;
  int *piVar9;
  
  uVar6 = param_1[3];
  piVar8 = (int *)param_1[2];
  uVar2 = (*(code *)*param_1)(param_2);
  if (uVar6 == 0) {
    trap(7);
  }
  pcVar7 = (code *)param_1[1];
  piVar4 = piVar8 + (uVar2 % uVar6) * 2;
  do {
    iVar3 = *piVar4;
    piVar5 = piVar4;
    if (iVar3 == -1) {
      return 0;
    }
    while( true ) {
      iVar3 = (*pcVar7)(param_2,iVar3);
      if (iVar3 != 0) {
        if (*piVar5 == -1) {
          return 0;
        }
        uVar2 = param_1[3];
        iVar3 = param_1[4];
        piVar9 = (int *)param_1[2];
        pcVar7 = (code *)*param_1;
        *piVar5 = -1;
        piVar4 = piVar9 + uVar2 * 2 + -2;
        param_1[4] = iVar3 + -1;
        piVar8 = piVar9;
        if (piVar4 != piVar5) {
          piVar8 = piVar5 + 2;
        }
        goto LAB_0002f000;
      }
      piVar4 = piVar8;
      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;
      piVar5 = piVar5 + 2;
      iVar3 = *piVar5;
      if (iVar3 == -1) {
        return 0;
      }
    }
  } while( true );
LAB_0002f000:
  iVar3 = *piVar8;
  piVar5 = piVar8;
  do {
    if (iVar3 == -1) {
      return 1;
    }
    uVar6 = (*pcVar7)(iVar3);
    if (uVar2 == 0) {
      trap(7);
    }
    piVar8 = piVar9 + (uVar6 % uVar2) * 2;
    while (*piVar8 != -1) {
      if (*piVar8 == iVar3) goto LAB_0002f064;
      bVar1 = piVar4 == piVar8;
      piVar8 = piVar8 + 2;
      if (bVar1) {
        piVar8 = piVar9;
      }
    }
    iVar3 = piVar5[1];
    *piVar8 = *piVar5;
    piVar8[1] = iVar3;
    *piVar5 = -1;
LAB_0002f064:
    piVar8 = piVar9;
    if (piVar4 == piVar5) goto LAB_0002f000;
    piVar5 = piVar5 + 2;
    iVar3 = *piVar5;
  } while( true );
}


addiu sp,sp,-0x38
lw t9,0x0(a0)
sw s1,0x1c(sp)
or s1,a0,zero
sw s2,0x20(sp)
or a0,a1,zero
sw s6,0x30(sp)
li s6,-0x1
sw s5,0x2c(sp)
sw s4,0x28(sp)
sw s3,0x24(sp)
or s3,a1,zero
sw s0,0x18(sp)
sw ra,0x34(sp)
lw s2,0xc(s1)
jalr t9
_lw s5,0x8(s1)
teq s2,zero
divu v0,s2
lw s4,0x4(s1)
sll s2,s2,0x3
addiu s2,s2,-0x8
addu s2,s5,s2
mfhi v1
sll v1,v1,0x3
addu s0,s5,v1
lw v0,0x0(s0)
or a0,s3,zero
beq v0,s6,0x0002ef8c
_or a1,v0,zero
or t9,s4,zero
jalr t9
_nop
bne v0,zero,0x0002efc0
_nop
beq s2,s0,0x0002efb8
_or a0,s3,zero
addiu s0,s0,0x8
lw v0,0x0(s0)
bne v0,s6,0x0002ef60
_or a1,v0,zero
lw ra,0x34(sp)
or v0,zero,zero
lw s6,0x30(sp)
lw s5,0x2c(sp)
lw s4,0x28(sp)
lw s3,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x38
b 0x0002ef50
_or s0,s5,zero
lw v0,0x0(s0)
beq v0,s6,0x0002ef90
_lw ra,0x34(sp)
lw s3,0xc(s1)
lw v0,0x10(s1)
lw s5,0x8(s1)
sll s2,s3,0x3
lw s4,0x0(s1)
addiu v0,v0,-0x1
sw s6,0x0(s0)
addiu s2,s2,-0x8
addu s2,s5,s2
beq s2,s0,0x0002f0a8
_sw v0,0x10(s1)
addiu s6,s0,0x8
li s1,-0x1
lw s0,0x0(s6)
beq s0,s1,0x0002f080
_lw ra,0x34(sp)
or t9,s4,zero
jalr t9
_or a0,s0,zero
teq s3,zero
divu v0,s3
mfhi v0
sll v0,v0,0x3
b 0x0002f044
_addu v0,s5,v0
beq v1,s0,0x0002f064
_nop
bne s2,v0,0x0002f044
_addiu v0,v0,0x8
or v0,s5,zero
lw v1,0x0(v0)
bne v1,s1,0x0002f030
_nop
lw a0,0x0(s6)
lw v1,0x4(s6)
sw a0,0x0(v0)
sw v1,0x4(v0)
sw s1,0x0(s6)
beq s2,s6,0x0002f0b0
_nop
addiu s6,s6,0x8
lw s0,0x0(s6)
bne s0,s1,0x0002f010
_or t9,s4,zero
lw ra,0x34(sp)
li v0,0x1
lw s6,0x30(sp)
lw s5,0x2c(sp)
lw s4,0x28(sp)
lw s3,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x38
b 0x0002effc
_or s6,s5,zero
b 0x0002f000
_or s6,s5,zero
(translation_unit "undefined4 hash_table_remove(undefined4 *param_1,undefined4 param_2)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  uint uVar6;\n  code *pcVar7;\n  int *piVar8;\n  int *piVar9;\n  \n  uVar6 = param_1[3];\n  piVar8 = (int *)param_1[2];\n  uVar2 = (*(code *)*param_1)(param_2);\n  if (uVar6 == 0) {\n    trap(7);\n  }\n  pcVar7 = (code *)param_1[1];\n  piVar4 = piVar8 + (uVar2 % uVar6) * 2;\n  do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  iVar3 = *piVar8;\n  piVar5 = piVar8;\n  do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );\n}\n\n" (function_definition "undefined4 hash_table_remove(undefined4 *param_1,undefined4 param_2)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  uint uVar6;\n  code *pcVar7;\n  int *piVar8;\n  int *piVar9;\n  \n  uVar6 = param_1[3];\n  piVar8 = (int *)param_1[2];\n  uVar2 = (*(code *)*param_1)(param_2);\n  if (uVar6 == 0) {\n    trap(7);\n  }\n  pcVar7 = (code *)param_1[1];\n  piVar4 = piVar8 + (uVar2 % uVar6) * 2;\n  do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  iVar3 = *piVar8;\n  piVar5 = piVar8;\n  do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );\n}" type_identifier (function_declarator "hash_table_remove(undefined4 *param_1,undefined4 param_2)" identifier (parameter_list "(undefined4 *param_1,undefined4 param_2)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "undefined4 param_2" type_identifier identifier) ))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  uint uVar6;\n  code *pcVar7;\n  int *piVar8;\n  int *piVar9;\n  \n  uVar6 = param_1[3];\n  piVar8 = (int *)param_1[2];\n  uVar2 = (*(code *)*param_1)(param_2);\n  if (uVar6 == 0) {\n    trap(7);\n  }\n  pcVar7 = (code *)param_1[1];\n  piVar4 = piVar8 + (uVar2 % uVar6) * 2;\n  do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  iVar3 = *piVar8;\n  piVar5 = piVar8;\n  do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int *piVar4;" primitive_type (pointer_declarator "*piVar4" * identifier) ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "code *pcVar7;" type_identifier (pointer_declarator "*pcVar7" * identifier) ;) (declaration "int *piVar8;" primitive_type (pointer_declarator "*piVar8" * identifier) ;) (declaration "int *piVar9;" primitive_type (pointer_declarator "*piVar9" * identifier) ;) (expression_statement "uVar6 = param_1[3];" (assignment_expression "uVar6 = param_1[3]" identifier = (subscript_expression "param_1[3]" identifier [ number_literal ])) ;) (expression_statement "piVar8 = (int *)param_1[2];" (assignment_expression "piVar8 = (int *)param_1[2]" identifier = (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ]))) ;) (expression_statement "uVar2 = (*(code *)*param_1)(param_2);" (assignment_expression "uVar2 = (*(code *)*param_1)(param_2)" identifier = (call_expression "(*(code *)*param_1)(param_2)" (parenthesized_expression "(*(code *)*param_1)" ( (pointer_expression "*(code *)*param_1" * (cast_expression "(code *)*param_1" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) )) (argument_list "(param_2)" ( identifier )))) ;) (if_statement "if (uVar6 == 0) {\n    trap(7);\n  }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n    trap(7);\n  }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "pcVar7 = (code *)param_1[1];" (assignment_expression "pcVar7 = (code *)param_1[1]" identifier = (cast_expression "(code *)param_1[1]" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) ;) (expression_statement "piVar4 = piVar8 + (uVar2 % uVar6) * 2;" (assignment_expression "piVar4 = piVar8 + (uVar2 % uVar6) * 2" identifier = (binary_expression "piVar8 + (uVar2 % uVar6) * 2" identifier + (binary_expression "(uVar2 % uVar6) * 2" (parenthesized_expression "(uVar2 % uVar6)" ( (binary_expression "uVar2 % uVar6" identifier % identifier) )) * number_literal))) ;) (do_statement "do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );" do (compound_statement "{\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  }" { (expression_statement "iVar3 = *piVar4;" (assignment_expression "iVar3 = *piVar4" identifier = (pointer_expression "*piVar4" * identifier)) ;) (expression_statement "piVar5 = piVar4;" (assignment_expression "piVar5 = piVar4" identifier = identifier) ;) (if_statement "if (iVar3 == -1) {\n      return 0;\n    }" if (parenthesized_expression "(iVar3 == -1)" ( (binary_expression "iVar3 == -1" identifier == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }" { (expression_statement "iVar3 = (*pcVar7)(param_2,iVar3);" (assignment_expression "iVar3 = (*pcVar7)(param_2,iVar3)" identifier = (call_expression "(*pcVar7)(param_2,iVar3)" (parenthesized_expression "(*pcVar7)" ( (pointer_expression "*pcVar7" * identifier) )) (argument_list "(param_2,iVar3)" ( identifier , identifier )))) ;) (if_statement "if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }" if (parenthesized_expression "(iVar3 != 0)" ( (binary_expression "iVar3 != 0" identifier != number_literal) )) (compound_statement "{\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }" { (if_statement "if (*piVar5 == -1) {\n          return 0;\n        }" if (parenthesized_expression "(*piVar5 == -1)" ( (binary_expression "*piVar5 == -1" (pointer_expression "*piVar5" * identifier) == number_literal) )) (compound_statement "{\n          return 0;\n        }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar2 = param_1[3];" (assignment_expression "uVar2 = param_1[3]" identifier = (subscript_expression "param_1[3]" identifier [ number_literal ])) ;) (expression_statement "iVar3 = param_1[4];" (assignment_expression "iVar3 = param_1[4]" identifier = (subscript_expression "param_1[4]" identifier [ number_literal ])) ;) (expression_statement "piVar9 = (int *)param_1[2];" (assignment_expression "piVar9 = (int *)param_1[2]" identifier = (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ]))) ;) (expression_statement "pcVar7 = (code *)*param_1;" (assignment_expression "pcVar7 = (code *)*param_1" identifier = (cast_expression "(code *)*param_1" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (expression_statement "*piVar5 = -1;" (assignment_expression "*piVar5 = -1" (pointer_expression "*piVar5" * identifier) = number_literal) ;) (expression_statement "piVar4 = piVar9 + uVar2 * 2 + -2;" (assignment_expression "piVar4 = piVar9 + uVar2 * 2 + -2" identifier = (binary_expression "piVar9 + uVar2 * 2 + -2" (binary_expression "piVar9 + uVar2 * 2" identifier + (binary_expression "uVar2 * 2" identifier * number_literal)) + number_literal)) ;) (expression_statement "param_1[4] = iVar3 + -1;" (assignment_expression "param_1[4] = iVar3 + -1" (subscript_expression "param_1[4]" identifier [ number_literal ]) = (binary_expression "iVar3 + -1" identifier + number_literal)) ;) (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" identifier = identifier) ;) (if_statement "if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }" if (parenthesized_expression "(piVar4 != piVar5)" ( (binary_expression "piVar4 != piVar5" identifier != identifier) )) (compound_statement "{\n          piVar8 = piVar5 + 2;\n        }" { (expression_statement "piVar8 = piVar5 + 2;" (assignment_expression "piVar8 = piVar5 + 2" identifier = (binary_expression "piVar5 + 2" identifier + number_literal)) ;) })) (goto_statement "goto LAB_0002f000;" goto statement_identifier ;) })) (expression_statement "piVar4 = piVar8;" (assignment_expression "piVar4 = piVar8" identifier = identifier) ;) (if_statement "if (piVar8 + uVar6 * 2 + -2 == piVar5) break;" if (parenthesized_expression "(piVar8 + uVar6 * 2 + -2 == piVar5)" ( (binary_expression "piVar8 + uVar6 * 2 + -2 == piVar5" (binary_expression "piVar8 + uVar6 * 2 + -2" (binary_expression "piVar8 + uVar6 * 2" identifier + (binary_expression "uVar6 * 2" identifier * number_literal)) + number_literal) == identifier) )) (break_statement "break;" break ;)) (expression_statement "piVar5 = piVar5 + 2;" (assignment_expression "piVar5 = piVar5 + 2" identifier = (binary_expression "piVar5 + 2" identifier + number_literal)) ;) (expression_statement "iVar3 = *piVar5;" (assignment_expression "iVar3 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (if_statement "if (iVar3 == -1) {\n        return 0;\n      }" if (parenthesized_expression "(iVar3 == -1)" ( (binary_expression "iVar3 == -1" identifier == number_literal) )) (compound_statement "{\n        return 0;\n      }" { (return_statement "return 0;" return number_literal ;) })) })) }) while (parenthesized_expression "( true )" ( true )) ;) (labeled_statement "LAB_0002f000:\n  iVar3 = *piVar8;" statement_identifier : (expression_statement "iVar3 = *piVar8;" (assignment_expression "iVar3 = *piVar8" identifier = (pointer_expression "*piVar8" * identifier)) ;)) (expression_statement "piVar5 = piVar8;" (assignment_expression "piVar5 = piVar8" identifier = identifier) ;) (do_statement "do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );" do (compound_statement "{\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  }" { (if_statement "if (iVar3 == -1) {\n      return 1;\n    }" if (parenthesized_expression "(iVar3 == -1)" ( (binary_expression "iVar3 == -1" identifier == number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar6 = (*pcVar7)(iVar3);" (assignment_expression "uVar6 = (*pcVar7)(iVar3)" identifier = (call_expression "(*pcVar7)(iVar3)" (parenthesized_expression "(*pcVar7)" ( (pointer_expression "*pcVar7" * identifier) )) (argument_list "(iVar3)" ( identifier )))) ;) (if_statement "if (uVar2 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar2 == 0)" ( (binary_expression "uVar2 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "piVar8 = piVar9 + (uVar6 % uVar2) * 2;" (assignment_expression "piVar8 = piVar9 + (uVar6 % uVar2) * 2" identifier = (binary_expression "piVar9 + (uVar6 % uVar2) * 2" identifier + (binary_expression "(uVar6 % uVar2) * 2" (parenthesized_expression "(uVar6 % uVar2)" ( (binary_expression "uVar6 % uVar2" identifier % identifier) )) * number_literal))) ;) (while_statement "while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }" while (parenthesized_expression "(*piVar8 != -1)" ( (binary_expression "*piVar8 != -1" (pointer_expression "*piVar8" * identifier) != number_literal) )) (compound_statement "{\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }" { (if_statement "if (*piVar8 == iVar3) goto LAB_0002f064;" if (parenthesized_expression "(*piVar8 == iVar3)" ( (binary_expression "*piVar8 == iVar3" (pointer_expression "*piVar8" * identifier) == identifier) )) (goto_statement "goto LAB_0002f064;" goto statement_identifier ;)) (expression_statement "bVar1 = piVar4 == piVar8;" (assignment_expression "bVar1 = piVar4 == piVar8" identifier = (binary_expression "piVar4 == piVar8" identifier == identifier)) ;) (expression_statement "piVar8 = piVar8 + 2;" (assignment_expression "piVar8 = piVar8 + 2" identifier = (binary_expression "piVar8 + 2" identifier + number_literal)) ;) (if_statement "if (bVar1) {\n        piVar8 = piVar9;\n      }" if (parenthesized_expression "(bVar1)" ( identifier )) (compound_statement "{\n        piVar8 = piVar9;\n      }" { (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" identifier = identifier) ;) })) })) (expression_statement "iVar3 = piVar5[1];" (assignment_expression "iVar3 = piVar5[1]" identifier = (subscript_expression "piVar5[1]" identifier [ number_literal ])) ;) (expression_statement "*piVar8 = *piVar5;" (assignment_expression "*piVar8 = *piVar5" (pointer_expression "*piVar8" * identifier) = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "piVar8[1] = iVar3;" (assignment_expression "piVar8[1] = iVar3" (subscript_expression "piVar8[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "*piVar5 = -1;" (assignment_expression "*piVar5 = -1" (pointer_expression "*piVar5" * identifier) = number_literal) ;) (labeled_statement "LAB_0002f064:\n    piVar8 = piVar9;" statement_identifier : (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" identifier = identifier) ;)) (if_statement "if (piVar4 == piVar5) goto LAB_0002f000;" if (parenthesized_expression "(piVar4 == piVar5)" ( (binary_expression "piVar4 == piVar5" identifier == identifier) )) (goto_statement "goto LAB_0002f000;" goto statement_identifier ;)) (expression_statement "piVar5 = piVar5 + 2;" (assignment_expression "piVar5 = piVar5 + 2" identifier = (binary_expression "piVar5 + 2" identifier + number_literal)) ;) (expression_statement "iVar3 = *piVar5;" (assignment_expression "iVar3 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "int hash_table_remove(hash_table *ht,void *key)\n\n{\n  bool bVar1;\n  ulong uVar2;\n  void *pvVar3;\n  int iVar4;\n  cell *pcVar5;\n  cell *pcVar6;\n  uint uVar7;\n  testfun_t p_Var8;\n  hashfun_t p_Var9;\n  cell *pcVar10;\n  cell *pcVar11;\n  \n  uVar7 = ht->size;\n  pcVar10 = ht->cells;\n  uVar2 = (*ht->hash_function)(key);\n  if (uVar7 == 0) {\n    trap(7);\n  }\n  p_Var8 = ht->test_function;\n  pcVar5 = pcVar10 + uVar2 % uVar7;\n  do {\n    pvVar3 = pcVar5->key;\n    pcVar6 = pcVar5;\n    if (pvVar3 == (void *)0xffffffff) {\n      return 0;\n    }\n    while( true ) {\n      iVar4 = (*p_Var8)(key,pvVar3);\n      if (iVar4 != 0) {\n        if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }\n        uVar7 = ht->size;\n        iVar4 = ht->count;\n        pcVar11 = ht->cells;\n        p_Var9 = ht->hash_function;\n        pcVar6->key = (void *)0xffffffff;\n        pcVar5 = pcVar11 + (uVar7 - 1);\n        ht->count = iVar4 + -1;\n        pcVar10 = pcVar11;\n        if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }\n        goto LAB_0002f000;\n      }\n      pcVar5 = pcVar10;\n      if (pcVar10 + (uVar7 - 1) == pcVar6) break;\n      pcVar6 = pcVar6 + 1;\n      pvVar3 = pcVar6->key;\n      if (pvVar3 == (void *)0xffffffff) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  pvVar3 = pcVar10->key;\n  pcVar6 = pcVar10;\n  do {\n    if (pvVar3 == (void *)0xffffffff) {\n      return 1;\n    }\n    uVar2 = (*p_Var9)(pvVar3);\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    pcVar10 = pcVar11 + uVar2 % uVar7;\n    while (pcVar10->key != (void *)0xffffffff) {\n      if (pcVar10->key == pvVar3) goto LAB_0002f064;\n      bVar1 = pcVar5 == pcVar10;\n      pcVar10 = pcVar10 + 1;\n      if (bVar1) {\n        pcVar10 = pcVar11;\n      }\n    }\n    pvVar3 = pcVar6->value;\n    pcVar10->key = pcVar6->key;\n    pcVar10->value = pvVar3;\n    pcVar6->key = (void *)0xffffffff;\nLAB_0002f064:\n    pcVar10 = pcVar11;\n    if (pcVar5 == pcVar6) goto LAB_0002f000;\n    pcVar6 = pcVar6 + 1;\n    pvVar3 = pcVar6->key;\n  } while( true );\n}\n\n" (function_definition "int hash_table_remove(hash_table *ht,void *key)\n\n{\n  bool bVar1;\n  ulong uVar2;\n  void *pvVar3;\n  int iVar4;\n  cell *pcVar5;\n  cell *pcVar6;\n  uint uVar7;\n  testfun_t p_Var8;\n  hashfun_t p_Var9;\n  cell *pcVar10;\n  cell *pcVar11;\n  \n  uVar7 = ht->size;\n  pcVar10 = ht->cells;\n  uVar2 = (*ht->hash_function)(key);\n  if (uVar7 == 0) {\n    trap(7);\n  }\n  p_Var8 = ht->test_function;\n  pcVar5 = pcVar10 + uVar2 % uVar7;\n  do {\n    pvVar3 = pcVar5->key;\n    pcVar6 = pcVar5;\n    if (pvVar3 == (void *)0xffffffff) {\n      return 0;\n    }\n    while( true ) {\n      iVar4 = (*p_Var8)(key,pvVar3);\n      if (iVar4 != 0) {\n        if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }\n        uVar7 = ht->size;\n        iVar4 = ht->count;\n        pcVar11 = ht->cells;\n        p_Var9 = ht->hash_function;\n        pcVar6->key = (void *)0xffffffff;\n        pcVar5 = pcVar11 + (uVar7 - 1);\n        ht->count = iVar4 + -1;\n        pcVar10 = pcVar11;\n        if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }\n        goto LAB_0002f000;\n      }\n      pcVar5 = pcVar10;\n      if (pcVar10 + (uVar7 - 1) == pcVar6) break;\n      pcVar6 = pcVar6 + 1;\n      pvVar3 = pcVar6->key;\n      if (pvVar3 == (void *)0xffffffff) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  pvVar3 = pcVar10->key;\n  pcVar6 = pcVar10;\n  do {\n    if (pvVar3 == (void *)0xffffffff) {\n      return 1;\n    }\n    uVar2 = (*p_Var9)(pvVar3);\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    pcVar10 = pcVar11 + uVar2 % uVar7;\n    while (pcVar10->key != (void *)0xffffffff) {\n      if (pcVar10->key == pvVar3) goto LAB_0002f064;\n      bVar1 = pcVar5 == pcVar10;\n      pcVar10 = pcVar10 + 1;\n      if (bVar1) {\n        pcVar10 = pcVar11;\n      }\n    }\n    pvVar3 = pcVar6->value;\n    pcVar10->key = pcVar6->key;\n    pcVar10->value = pvVar3;\n    pcVar6->key = (void *)0xffffffff;\nLAB_0002f064:\n    pcVar10 = pcVar11;\n    if (pcVar5 == pcVar6) goto LAB_0002f000;\n    pcVar6 = pcVar6 + 1;\n    pvVar3 = pcVar6->key;\n  } while( true );\n}" primitive_type (function_declarator "hash_table_remove(hash_table *ht,void *key)" identifier (parameter_list "(hash_table *ht,void *key)" ( (parameter_declaration "hash_table *ht" type_identifier (pointer_declarator "*ht" * identifier)) , (parameter_declaration "void *key" primitive_type (pointer_declarator "*key" * identifier)) ))) (compound_statement "{\n  bool bVar1;\n  ulong uVar2;\n  void *pvVar3;\n  int iVar4;\n  cell *pcVar5;\n  cell *pcVar6;\n  uint uVar7;\n  testfun_t p_Var8;\n  hashfun_t p_Var9;\n  cell *pcVar10;\n  cell *pcVar11;\n  \n  uVar7 = ht->size;\n  pcVar10 = ht->cells;\n  uVar2 = (*ht->hash_function)(key);\n  if (uVar7 == 0) {\n    trap(7);\n  }\n  p_Var8 = ht->test_function;\n  pcVar5 = pcVar10 + uVar2 % uVar7;\n  do {\n    pvVar3 = pcVar5->key;\n    pcVar6 = pcVar5;\n    if (pvVar3 == (void *)0xffffffff) {\n      return 0;\n    }\n    while( true ) {\n      iVar4 = (*p_Var8)(key,pvVar3);\n      if (iVar4 != 0) {\n        if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }\n        uVar7 = ht->size;\n        iVar4 = ht->count;\n        pcVar11 = ht->cells;\n        p_Var9 = ht->hash_function;\n        pcVar6->key = (void *)0xffffffff;\n        pcVar5 = pcVar11 + (uVar7 - 1);\n        ht->count = iVar4 + -1;\n        pcVar10 = pcVar11;\n        if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }\n        goto LAB_0002f000;\n      }\n      pcVar5 = pcVar10;\n      if (pcVar10 + (uVar7 - 1) == pcVar6) break;\n      pcVar6 = pcVar6 + 1;\n      pvVar3 = pcVar6->key;\n      if (pvVar3 == (void *)0xffffffff) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  pvVar3 = pcVar10->key;\n  pcVar6 = pcVar10;\n  do {\n    if (pvVar3 == (void *)0xffffffff) {\n      return 1;\n    }\n    uVar2 = (*p_Var9)(pvVar3);\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    pcVar10 = pcVar11 + uVar2 % uVar7;\n    while (pcVar10->key != (void *)0xffffffff) {\n      if (pcVar10->key == pvVar3) goto LAB_0002f064;\n      bVar1 = pcVar5 == pcVar10;\n      pcVar10 = pcVar10 + 1;\n      if (bVar1) {\n        pcVar10 = pcVar11;\n      }\n    }\n    pvVar3 = pcVar6->value;\n    pcVar10->key = pcVar6->key;\n    pcVar10->value = pvVar3;\n    pcVar6->key = (void *)0xffffffff;\nLAB_0002f064:\n    pcVar10 = pcVar11;\n    if (pcVar5 == pcVar6) goto LAB_0002f000;\n    pcVar6 = pcVar6 + 1;\n    pvVar3 = pcVar6->key;\n  } while( true );\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "ulong uVar2;" type_identifier identifier ;) (declaration "void *pvVar3;" primitive_type (pointer_declarator "*pvVar3" * identifier) ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "cell *pcVar5;" type_identifier (pointer_declarator "*pcVar5" * identifier) ;) (declaration "cell *pcVar6;" type_identifier (pointer_declarator "*pcVar6" * identifier) ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "testfun_t p_Var8;" type_identifier identifier ;) (declaration "hashfun_t p_Var9;" type_identifier identifier ;) (declaration "cell *pcVar10;" type_identifier (pointer_declarator "*pcVar10" * identifier) ;) (declaration "cell *pcVar11;" type_identifier (pointer_declarator "*pcVar11" * identifier) ;) (expression_statement "uVar7 = ht->size;" (assignment_expression "uVar7 = ht->size" identifier = (field_expression "ht->size" identifier -> field_identifier)) ;) (expression_statement "pcVar10 = ht->cells;" (assignment_expression "pcVar10 = ht->cells" identifier = (field_expression "ht->cells" identifier -> field_identifier)) ;) (expression_statement "uVar2 = (*ht->hash_function)(key);" (assignment_expression "uVar2 = (*ht->hash_function)(key)" identifier = (call_expression "(*ht->hash_function)(key)" (parenthesized_expression "(*ht->hash_function)" ( (pointer_expression "*ht->hash_function" * (field_expression "ht->hash_function" identifier -> field_identifier)) )) (argument_list "(key)" ( identifier )))) ;) (if_statement "if (uVar7 == 0) {\n    trap(7);\n  }" if (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) (compound_statement "{\n    trap(7);\n  }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "p_Var8 = ht->test_function;" (assignment_expression "p_Var8 = ht->test_function" identifier = (field_expression "ht->test_function" identifier -> field_identifier)) ;) (expression_statement "pcVar5 = pcVar10 + uVar2 % uVar7;" (assignment_expression "pcVar5 = pcVar10 + uVar2 % uVar7" identifier = (binary_expression "pcVar10 + uVar2 % uVar7" identifier + (binary_expression "uVar2 % uVar7" identifier % identifier))) ;) (do_statement "do {\n    pvVar3 = pcVar5->key;\n    pcVar6 = pcVar5;\n    if (pvVar3 == (void *)0xffffffff) {\n      return 0;\n    }\n    while( true ) {\n      iVar4 = (*p_Var8)(key,pvVar3);\n      if (iVar4 != 0) {\n        if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }\n        uVar7 = ht->size;\n        iVar4 = ht->count;\n        pcVar11 = ht->cells;\n        p_Var9 = ht->hash_function;\n        pcVar6->key = (void *)0xffffffff;\n        pcVar5 = pcVar11 + (uVar7 - 1);\n        ht->count = iVar4 + -1;\n        pcVar10 = pcVar11;\n        if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }\n        goto LAB_0002f000;\n      }\n      pcVar5 = pcVar10;\n      if (pcVar10 + (uVar7 - 1) == pcVar6) break;\n      pcVar6 = pcVar6 + 1;\n      pvVar3 = pcVar6->key;\n      if (pvVar3 == (void *)0xffffffff) {\n        return 0;\n      }\n    }\n  } while( true );" do (compound_statement "{\n    pvVar3 = pcVar5->key;\n    pcVar6 = pcVar5;\n    if (pvVar3 == (void *)0xffffffff) {\n      return 0;\n    }\n    while( true ) {\n      iVar4 = (*p_Var8)(key,pvVar3);\n      if (iVar4 != 0) {\n        if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }\n        uVar7 = ht->size;\n        iVar4 = ht->count;\n        pcVar11 = ht->cells;\n        p_Var9 = ht->hash_function;\n        pcVar6->key = (void *)0xffffffff;\n        pcVar5 = pcVar11 + (uVar7 - 1);\n        ht->count = iVar4 + -1;\n        pcVar10 = pcVar11;\n        if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }\n        goto LAB_0002f000;\n      }\n      pcVar5 = pcVar10;\n      if (pcVar10 + (uVar7 - 1) == pcVar6) break;\n      pcVar6 = pcVar6 + 1;\n      pvVar3 = pcVar6->key;\n      if (pvVar3 == (void *)0xffffffff) {\n        return 0;\n      }\n    }\n  }" { (expression_statement "pvVar3 = pcVar5->key;" (assignment_expression "pvVar3 = pcVar5->key" identifier = (field_expression "pcVar5->key" identifier -> field_identifier)) ;) (expression_statement "pcVar6 = pcVar5;" (assignment_expression "pcVar6 = pcVar5" identifier = identifier) ;) (if_statement "if (pvVar3 == (void *)0xffffffff) {\n      return 0;\n    }" if (parenthesized_expression "(pvVar3 == (void *)0xffffffff)" ( (binary_expression "pvVar3 == (void *)0xffffffff" identifier == (cast_expression "(void *)0xffffffff" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while( true ) {\n      iVar4 = (*p_Var8)(key,pvVar3);\n      if (iVar4 != 0) {\n        if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }\n        uVar7 = ht->size;\n        iVar4 = ht->count;\n        pcVar11 = ht->cells;\n        p_Var9 = ht->hash_function;\n        pcVar6->key = (void *)0xffffffff;\n        pcVar5 = pcVar11 + (uVar7 - 1);\n        ht->count = iVar4 + -1;\n        pcVar10 = pcVar11;\n        if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }\n        goto LAB_0002f000;\n      }\n      pcVar5 = pcVar10;\n      if (pcVar10 + (uVar7 - 1) == pcVar6) break;\n      pcVar6 = pcVar6 + 1;\n      pvVar3 = pcVar6->key;\n      if (pvVar3 == (void *)0xffffffff) {\n        return 0;\n      }\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      iVar4 = (*p_Var8)(key,pvVar3);\n      if (iVar4 != 0) {\n        if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }\n        uVar7 = ht->size;\n        iVar4 = ht->count;\n        pcVar11 = ht->cells;\n        p_Var9 = ht->hash_function;\n        pcVar6->key = (void *)0xffffffff;\n        pcVar5 = pcVar11 + (uVar7 - 1);\n        ht->count = iVar4 + -1;\n        pcVar10 = pcVar11;\n        if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }\n        goto LAB_0002f000;\n      }\n      pcVar5 = pcVar10;\n      if (pcVar10 + (uVar7 - 1) == pcVar6) break;\n      pcVar6 = pcVar6 + 1;\n      pvVar3 = pcVar6->key;\n      if (pvVar3 == (void *)0xffffffff) {\n        return 0;\n      }\n    }" { (expression_statement "iVar4 = (*p_Var8)(key,pvVar3);" (assignment_expression "iVar4 = (*p_Var8)(key,pvVar3)" identifier = (call_expression "(*p_Var8)(key,pvVar3)" (parenthesized_expression "(*p_Var8)" ( (pointer_expression "*p_Var8" * identifier) )) (argument_list "(key,pvVar3)" ( identifier , identifier )))) ;) (if_statement "if (iVar4 != 0) {\n        if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }\n        uVar7 = ht->size;\n        iVar4 = ht->count;\n        pcVar11 = ht->cells;\n        p_Var9 = ht->hash_function;\n        pcVar6->key = (void *)0xffffffff;\n        pcVar5 = pcVar11 + (uVar7 - 1);\n        ht->count = iVar4 + -1;\n        pcVar10 = pcVar11;\n        if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }\n        goto LAB_0002f000;\n      }" if (parenthesized_expression "(iVar4 != 0)" ( (binary_expression "iVar4 != 0" identifier != number_literal) )) (compound_statement "{\n        if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }\n        uVar7 = ht->size;\n        iVar4 = ht->count;\n        pcVar11 = ht->cells;\n        p_Var9 = ht->hash_function;\n        pcVar6->key = (void *)0xffffffff;\n        pcVar5 = pcVar11 + (uVar7 - 1);\n        ht->count = iVar4 + -1;\n        pcVar10 = pcVar11;\n        if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }\n        goto LAB_0002f000;\n      }" { (if_statement "if (pcVar6->key == (void *)0xffffffff) {\n          return 0;\n        }" if (parenthesized_expression "(pcVar6->key == (void *)0xffffffff)" ( (binary_expression "pcVar6->key == (void *)0xffffffff" (field_expression "pcVar6->key" identifier -> field_identifier) == (cast_expression "(void *)0xffffffff" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n          return 0;\n        }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar7 = ht->size;" (assignment_expression "uVar7 = ht->size" identifier = (field_expression "ht->size" identifier -> field_identifier)) ;) (expression_statement "iVar4 = ht->count;" (assignment_expression "iVar4 = ht->count" identifier = (field_expression "ht->count" identifier -> field_identifier)) ;) (expression_statement "pcVar11 = ht->cells;" (assignment_expression "pcVar11 = ht->cells" identifier = (field_expression "ht->cells" identifier -> field_identifier)) ;) (expression_statement "p_Var9 = ht->hash_function;" (assignment_expression "p_Var9 = ht->hash_function" identifier = (field_expression "ht->hash_function" identifier -> field_identifier)) ;) (expression_statement "pcVar6->key = (void *)0xffffffff;" (assignment_expression "pcVar6->key = (void *)0xffffffff" (field_expression "pcVar6->key" identifier -> field_identifier) = (cast_expression "(void *)0xffffffff" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (expression_statement "pcVar5 = pcVar11 + (uVar7 - 1);" (assignment_expression "pcVar5 = pcVar11 + (uVar7 - 1)" identifier = (binary_expression "pcVar11 + (uVar7 - 1)" identifier + (parenthesized_expression "(uVar7 - 1)" ( (binary_expression "uVar7 - 1" identifier - number_literal) )))) ;) (expression_statement "ht->count = iVar4 + -1;" (assignment_expression "ht->count = iVar4 + -1" (field_expression "ht->count" identifier -> field_identifier) = (binary_expression "iVar4 + -1" identifier + number_literal)) ;) (expression_statement "pcVar10 = pcVar11;" (assignment_expression "pcVar10 = pcVar11" identifier = identifier) ;) (if_statement "if (pcVar5 != pcVar6) {\n          pcVar10 = pcVar6 + 1;\n        }" if (parenthesized_expression "(pcVar5 != pcVar6)" ( (binary_expression "pcVar5 != pcVar6" identifier != identifier) )) (compound_statement "{\n          pcVar10 = pcVar6 + 1;\n        }" { (expression_statement "pcVar10 = pcVar6 + 1;" (assignment_expression "pcVar10 = pcVar6 + 1" identifier = (binary_expression "pcVar6 + 1" identifier + number_literal)) ;) })) (goto_statement "goto LAB_0002f000;" goto statement_identifier ;) })) (expression_statement "pcVar5 = pcVar10;" (assignment_expression "pcVar5 = pcVar10" identifier = identifier) ;) (if_statement "if (pcVar10 + (uVar7 - 1) == pcVar6) break;" if (parenthesized_expression "(pcVar10 + (uVar7 - 1) == pcVar6)" ( (binary_expression "pcVar10 + (uVar7 - 1) == pcVar6" (binary_expression "pcVar10 + (uVar7 - 1)" identifier + (parenthesized_expression "(uVar7 - 1)" ( (binary_expression "uVar7 - 1" identifier - number_literal) ))) == identifier) )) (break_statement "break;" break ;)) (expression_statement "pcVar6 = pcVar6 + 1;" (assignment_expression "pcVar6 = pcVar6 + 1" identifier = (binary_expression "pcVar6 + 1" identifier + number_literal)) ;) (expression_statement "pvVar3 = pcVar6->key;" (assignment_expression "pvVar3 = pcVar6->key" identifier = (field_expression "pcVar6->key" identifier -> field_identifier)) ;) (if_statement "if (pvVar3 == (void *)0xffffffff) {\n        return 0;\n      }" if (parenthesized_expression "(pvVar3 == (void *)0xffffffff)" ( (binary_expression "pvVar3 == (void *)0xffffffff" identifier == (cast_expression "(void *)0xffffffff" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        return 0;\n      }" { (return_statement "return 0;" return number_literal ;) })) })) }) while (parenthesized_expression "( true )" ( true )) ;) (labeled_statement "LAB_0002f000:\n  pvVar3 = pcVar10->key;" statement_identifier : (expression_statement "pvVar3 = pcVar10->key;" (assignment_expression "pvVar3 = pcVar10->key" identifier = (field_expression "pcVar10->key" identifier -> field_identifier)) ;)) (expression_statement "pcVar6 = pcVar10;" (assignment_expression "pcVar6 = pcVar10" identifier = identifier) ;) (do_statement "do {\n    if (pvVar3 == (void *)0xffffffff) {\n      return 1;\n    }\n    uVar2 = (*p_Var9)(pvVar3);\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    pcVar10 = pcVar11 + uVar2 % uVar7;\n    while (pcVar10->key != (void *)0xffffffff) {\n      if (pcVar10->key == pvVar3) goto LAB_0002f064;\n      bVar1 = pcVar5 == pcVar10;\n      pcVar10 = pcVar10 + 1;\n      if (bVar1) {\n        pcVar10 = pcVar11;\n      }\n    }\n    pvVar3 = pcVar6->value;\n    pcVar10->key = pcVar6->key;\n    pcVar10->value = pvVar3;\n    pcVar6->key = (void *)0xffffffff;\nLAB_0002f064:\n    pcVar10 = pcVar11;\n    if (pcVar5 == pcVar6) goto LAB_0002f000;\n    pcVar6 = pcVar6 + 1;\n    pvVar3 = pcVar6->key;\n  } while( true );" do (compound_statement "{\n    if (pvVar3 == (void *)0xffffffff) {\n      return 1;\n    }\n    uVar2 = (*p_Var9)(pvVar3);\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    pcVar10 = pcVar11 + uVar2 % uVar7;\n    while (pcVar10->key != (void *)0xffffffff) {\n      if (pcVar10->key == pvVar3) goto LAB_0002f064;\n      bVar1 = pcVar5 == pcVar10;\n      pcVar10 = pcVar10 + 1;\n      if (bVar1) {\n        pcVar10 = pcVar11;\n      }\n    }\n    pvVar3 = pcVar6->value;\n    pcVar10->key = pcVar6->key;\n    pcVar10->value = pvVar3;\n    pcVar6->key = (void *)0xffffffff;\nLAB_0002f064:\n    pcVar10 = pcVar11;\n    if (pcVar5 == pcVar6) goto LAB_0002f000;\n    pcVar6 = pcVar6 + 1;\n    pvVar3 = pcVar6->key;\n  }" { (if_statement "if (pvVar3 == (void *)0xffffffff) {\n      return 1;\n    }" if (parenthesized_expression "(pvVar3 == (void *)0xffffffff)" ( (binary_expression "pvVar3 == (void *)0xffffffff" identifier == (cast_expression "(void *)0xffffffff" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar2 = (*p_Var9)(pvVar3);" (assignment_expression "uVar2 = (*p_Var9)(pvVar3)" identifier = (call_expression "(*p_Var9)(pvVar3)" (parenthesized_expression "(*p_Var9)" ( (pointer_expression "*p_Var9" * identifier) )) (argument_list "(pvVar3)" ( identifier )))) ;) (if_statement "if (uVar7 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "pcVar10 = pcVar11 + uVar2 % uVar7;" (assignment_expression "pcVar10 = pcVar11 + uVar2 % uVar7" identifier = (binary_expression "pcVar11 + uVar2 % uVar7" identifier + (binary_expression "uVar2 % uVar7" identifier % identifier))) ;) (while_statement "while (pcVar10->key != (void *)0xffffffff) {\n      if (pcVar10->key == pvVar3) goto LAB_0002f064;\n      bVar1 = pcVar5 == pcVar10;\n      pcVar10 = pcVar10 + 1;\n      if (bVar1) {\n        pcVar10 = pcVar11;\n      }\n    }" while (parenthesized_expression "(pcVar10->key != (void *)0xffffffff)" ( (binary_expression "pcVar10->key != (void *)0xffffffff" (field_expression "pcVar10->key" identifier -> field_identifier) != (cast_expression "(void *)0xffffffff" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      if (pcVar10->key == pvVar3) goto LAB_0002f064;\n      bVar1 = pcVar5 == pcVar10;\n      pcVar10 = pcVar10 + 1;\n      if (bVar1) {\n        pcVar10 = pcVar11;\n      }\n    }" { (if_statement "if (pcVar10->key == pvVar3) goto LAB_0002f064;" if (parenthesized_expression "(pcVar10->key == pvVar3)" ( (binary_expression "pcVar10->key == pvVar3" (field_expression "pcVar10->key" identifier -> field_identifier) == identifier) )) (goto_statement "goto LAB_0002f064;" goto statement_identifier ;)) (expression_statement "bVar1 = pcVar5 == pcVar10;" (assignment_expression "bVar1 = pcVar5 == pcVar10" identifier = (binary_expression "pcVar5 == pcVar10" identifier == identifier)) ;) (expression_statement "pcVar10 = pcVar10 + 1;" (assignment_expression "pcVar10 = pcVar10 + 1" identifier = (binary_expression "pcVar10 + 1" identifier + number_literal)) ;) (if_statement "if (bVar1) {\n        pcVar10 = pcVar11;\n      }" if (parenthesized_expression "(bVar1)" ( identifier )) (compound_statement "{\n        pcVar10 = pcVar11;\n      }" { (expression_statement "pcVar10 = pcVar11;" (assignment_expression "pcVar10 = pcVar11" identifier = identifier) ;) })) })) (expression_statement "pvVar3 = pcVar6->value;" (assignment_expression "pvVar3 = pcVar6->value" identifier = (field_expression "pcVar6->value" identifier -> field_identifier)) ;) (expression_statement "pcVar10->key = pcVar6->key;" (assignment_expression "pcVar10->key = pcVar6->key" (field_expression "pcVar10->key" identifier -> field_identifier) = (field_expression "pcVar6->key" identifier -> field_identifier)) ;) (expression_statement "pcVar10->value = pvVar3;" (assignment_expression "pcVar10->value = pvVar3" (field_expression "pcVar10->value" identifier -> field_identifier) = identifier) ;) (expression_statement "pcVar6->key = (void *)0xffffffff;" (assignment_expression "pcVar6->key = (void *)0xffffffff" (field_expression "pcVar6->key" identifier -> field_identifier) = (cast_expression "(void *)0xffffffff" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (labeled_statement "LAB_0002f064:\n    pcVar10 = pcVar11;" statement_identifier : (expression_statement "pcVar10 = pcVar11;" (assignment_expression "pcVar10 = pcVar11" identifier = identifier) ;)) (if_statement "if (pcVar5 == pcVar6) goto LAB_0002f000;" if (parenthesized_expression "(pcVar5 == pcVar6)" ( (binary_expression "pcVar5 == pcVar6" identifier == identifier) )) (goto_statement "goto LAB_0002f000;" goto statement_identifier ;)) (expression_statement "pcVar6 = pcVar6 + 1;" (assignment_expression "pcVar6 = pcVar6 + 1" identifier = (binary_expression "pcVar6 + 1" identifier + number_literal)) ;) (expression_statement "pvVar3 = pcVar6->key;" (assignment_expression "pvVar3 = pcVar6->key" identifier = (field_expression "pcVar6->key" identifier -> field_identifier)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "undefined4 hash_table_remove(undefined4 *param_1,undefined4 param_2)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  uint uVar6;\n  code *pcVar7;\n  int *piVar8;\n  int *piVar9;\n  \n  uVar6 = param_1[3];\n  piVar8 = (int *)param_1[2];\n  uVar2 = (*(code *)*param_1)(param_2);\n  if (uVar6 == 0) {\n    trap(7);\n  }\n  pcVar7 = (code *)param_1[1];\n  piVar4 = piVar8 + (uVar2 % uVar6) * 2;\n  do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  iVar3 = *piVar8;\n  piVar5 = piVar8;\n  do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );\n}\n\n" (function_definition "undefined4 hash_table_remove(undefined4 *param_1,undefined4 param_2)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  uint uVar6;\n  code *pcVar7;\n  int *piVar8;\n  int *piVar9;\n  \n  uVar6 = param_1[3];\n  piVar8 = (int *)param_1[2];\n  uVar2 = (*(code *)*param_1)(param_2);\n  if (uVar6 == 0) {\n    trap(7);\n  }\n  pcVar7 = (code *)param_1[1];\n  piVar4 = piVar8 + (uVar2 % uVar6) * 2;\n  do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  iVar3 = *piVar8;\n  piVar5 = piVar8;\n  do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );\n}" type_identifier (function_declarator "hash_table_remove(undefined4 *param_1,undefined4 param_2)" identifier (parameter_list "(undefined4 *param_1,undefined4 param_2)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "undefined4 param_2" type_identifier identifier) ))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  uint uVar6;\n  code *pcVar7;\n  int *piVar8;\n  int *piVar9;\n  \n  uVar6 = param_1[3];\n  piVar8 = (int *)param_1[2];\n  uVar2 = (*(code *)*param_1)(param_2);\n  if (uVar6 == 0) {\n    trap(7);\n  }\n  pcVar7 = (code *)param_1[1];\n  piVar4 = piVar8 + (uVar2 % uVar6) * 2;\n  do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  iVar3 = *piVar8;\n  piVar5 = piVar8;\n  do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int *piVar4;" primitive_type (pointer_declarator "*piVar4" * identifier) ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "code *pcVar7;" type_identifier (pointer_declarator "*pcVar7" * identifier) ;) (declaration "int *piVar8;" primitive_type (pointer_declarator "*piVar8" * identifier) ;) (declaration "int *piVar9;" primitive_type (pointer_declarator "*piVar9" * identifier) ;) (expression_statement "uVar6 = param_1[3];" (assignment_expression "uVar6 = param_1[3]" identifier = (subscript_expression "param_1[3]" identifier [ number_literal ])) ;) (expression_statement "piVar8 = (int *)param_1[2];" (assignment_expression "piVar8 = (int *)param_1[2]" identifier = (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ]))) ;) (expression_statement "uVar2 = (*(code *)*param_1)(param_2);" (assignment_expression "uVar2 = (*(code *)*param_1)(param_2)" identifier = (call_expression "(*(code *)*param_1)(param_2)" (parenthesized_expression "(*(code *)*param_1)" ( (pointer_expression "*(code *)*param_1" * (cast_expression "(code *)*param_1" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) )) (argument_list "(param_2)" ( identifier )))) ;) (if_statement "if (uVar6 == 0) {\n    trap(7);\n  }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n    trap(7);\n  }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "pcVar7 = (code *)param_1[1];" (assignment_expression "pcVar7 = (code *)param_1[1]" identifier = (cast_expression "(code *)param_1[1]" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) ;) (expression_statement "piVar4 = piVar8 + (uVar2 % uVar6) * 2;" (assignment_expression "piVar4 = piVar8 + (uVar2 % uVar6) * 2" identifier = (binary_expression "piVar8 + (uVar2 % uVar6) * 2" identifier + (binary_expression "(uVar2 % uVar6) * 2" (parenthesized_expression "(uVar2 % uVar6)" ( (binary_expression "uVar2 % uVar6" identifier % identifier) )) * number_literal))) ;) (do_statement "do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );" do (compound_statement "{\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  }" { (expression_statement "iVar3 = *piVar4;" (assignment_expression "iVar3 = *piVar4" identifier = (pointer_expression "*piVar4" * identifier)) ;) (expression_statement "piVar5 = piVar4;" (assignment_expression "piVar5 = piVar4" identifier = identifier) ;) (if_statement "if (iVar3 == -1) {\n      return 0;\n    }" if (parenthesized_expression "(iVar3 == -1)" ( (binary_expression "iVar3 == -1" identifier == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }" { (expression_statement "iVar3 = (*pcVar7)(param_2,iVar3);" (assignment_expression "iVar3 = (*pcVar7)(param_2,iVar3)" identifier = (call_expression "(*pcVar7)(param_2,iVar3)" (parenthesized_expression "(*pcVar7)" ( (pointer_expression "*pcVar7" * identifier) )) (argument_list "(param_2,iVar3)" ( identifier , identifier )))) ;) (if_statement "if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }" if (parenthesized_expression "(iVar3 != 0)" ( (binary_expression "iVar3 != 0" identifier != number_literal) )) (compound_statement "{\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }" { (if_statement "if (*piVar5 == -1) {\n          return 0;\n        }" if (parenthesized_expression "(*piVar5 == -1)" ( (binary_expression "*piVar5 == -1" (pointer_expression "*piVar5" * identifier) == number_literal) )) (compound_statement "{\n          return 0;\n        }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar2 = param_1[3];" (assignment_expression "uVar2 = param_1[3]" identifier = (subscript_expression "param_1[3]" identifier [ number_literal ])) ;) (expression_statement "iVar3 = param_1[4];" (assignment_expression "iVar3 = param_1[4]" identifier = (subscript_expression "param_1[4]" identifier [ number_literal ])) ;) (expression_statement "piVar9 = (int *)param_1[2];" (assignment_expression "piVar9 = (int *)param_1[2]" identifier = (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ]))) ;) (expression_statement "pcVar7 = (code *)*param_1;" (assignment_expression "pcVar7 = (code *)*param_1" identifier = (cast_expression "(code *)*param_1" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (expression_statement "*piVar5 = -1;" (assignment_expression "*piVar5 = -1" (pointer_expression "*piVar5" * identifier) = number_literal) ;) (expression_statement "piVar4 = piVar9 + uVar2 * 2 + -2;" (assignment_expression "piVar4 = piVar9 + uVar2 * 2 + -2" identifier = (binary_expression "piVar9 + uVar2 * 2 + -2" (binary_expression "piVar9 + uVar2 * 2" identifier + (binary_expression "uVar2 * 2" identifier * number_literal)) + number_literal)) ;) (expression_statement "param_1[4] = iVar3 + -1;" (assignment_expression "param_1[4] = iVar3 + -1" (subscript_expression "param_1[4]" identifier [ number_literal ]) = (binary_expression "iVar3 + -1" identifier + number_literal)) ;) (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" identifier = identifier) ;) (if_statement "if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }" if (parenthesized_expression "(piVar4 != piVar5)" ( (binary_expression "piVar4 != piVar5" identifier != identifier) )) (compound_statement "{\n          piVar8 = piVar5 + 2;\n        }" { (expression_statement "piVar8 = piVar5 + 2;" (assignment_expression "piVar8 = piVar5 + 2" identifier = (binary_expression "piVar5 + 2" identifier + number_literal)) ;) })) (goto_statement "goto LAB_0002f000;" goto statement_identifier ;) })) (expression_statement "piVar4 = piVar8;" (assignment_expression "piVar4 = piVar8" identifier = identifier) ;) (if_statement "if (piVar8 + uVar6 * 2 + -2 == piVar5) break;" if (parenthesized_expression "(piVar8 + uVar6 * 2 + -2 == piVar5)" ( (binary_expression "piVar8 + uVar6 * 2 + -2 == piVar5" (binary_expression "piVar8 + uVar6 * 2 + -2" (binary_expression "piVar8 + uVar6 * 2" identifier + (binary_expression "uVar6 * 2" identifier * number_literal)) + number_literal) == identifier) )) (break_statement "break;" break ;)) (expression_statement "piVar5 = piVar5 + 2;" (assignment_expression "piVar5 = piVar5 + 2" identifier = (binary_expression "piVar5 + 2" identifier + number_literal)) ;) (expression_statement "iVar3 = *piVar5;" (assignment_expression "iVar3 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (if_statement "if (iVar3 == -1) {\n        return 0;\n      }" if (parenthesized_expression "(iVar3 == -1)" ( (binary_expression "iVar3 == -1" identifier == number_literal) )) (compound_statement "{\n        return 0;\n      }" { (return_statement "return 0;" return number_literal ;) })) })) }) while (parenthesized_expression "( true )" ( true )) ;) (labeled_statement "LAB_0002f000:\n  iVar3 = *piVar8;" statement_identifier : (expression_statement "iVar3 = *piVar8;" (assignment_expression "iVar3 = *piVar8" identifier = (pointer_expression "*piVar8" * identifier)) ;)) (expression_statement "piVar5 = piVar8;" (assignment_expression "piVar5 = piVar8" identifier = identifier) ;) (do_statement "do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );" do (compound_statement "{\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  }" { (if_statement "if (iVar3 == -1) {\n      return 1;\n    }" if (parenthesized_expression "(iVar3 == -1)" ( (binary_expression "iVar3 == -1" identifier == number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar6 = (*pcVar7)(iVar3);" (assignment_expression "uVar6 = (*pcVar7)(iVar3)" identifier = (call_expression "(*pcVar7)(iVar3)" (parenthesized_expression "(*pcVar7)" ( (pointer_expression "*pcVar7" * identifier) )) (argument_list "(iVar3)" ( identifier )))) ;) (if_statement "if (uVar2 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar2 == 0)" ( (binary_expression "uVar2 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "piVar8 = piVar9 + (uVar6 % uVar2) * 2;" (assignment_expression "piVar8 = piVar9 + (uVar6 % uVar2) * 2" identifier = (binary_expression "piVar9 + (uVar6 % uVar2) * 2" identifier + (binary_expression "(uVar6 % uVar2) * 2" (parenthesized_expression "(uVar6 % uVar2)" ( (binary_expression "uVar6 % uVar2" identifier % identifier) )) * number_literal))) ;) (while_statement "while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }" while (parenthesized_expression "(*piVar8 != -1)" ( (binary_expression "*piVar8 != -1" (pointer_expression "*piVar8" * identifier) != number_literal) )) (compound_statement "{\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }" { (if_statement "if (*piVar8 == iVar3) goto LAB_0002f064;" if (parenthesized_expression "(*piVar8 == iVar3)" ( (binary_expression "*piVar8 == iVar3" (pointer_expression "*piVar8" * identifier) == identifier) )) (goto_statement "goto LAB_0002f064;" goto statement_identifier ;)) (expression_statement "bVar1 = piVar4 == piVar8;" (assignment_expression "bVar1 = piVar4 == piVar8" identifier = (binary_expression "piVar4 == piVar8" identifier == identifier)) ;) (expression_statement "piVar8 = piVar8 + 2;" (assignment_expression "piVar8 = piVar8 + 2" identifier = (binary_expression "piVar8 + 2" identifier + number_literal)) ;) (if_statement "if (bVar1) {\n        piVar8 = piVar9;\n      }" if (parenthesized_expression "(bVar1)" ( identifier )) (compound_statement "{\n        piVar8 = piVar9;\n      }" { (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" identifier = identifier) ;) })) })) (expression_statement "iVar3 = piVar5[1];" (assignment_expression "iVar3 = piVar5[1]" identifier = (subscript_expression "piVar5[1]" identifier [ number_literal ])) ;) (expression_statement "*piVar8 = *piVar5;" (assignment_expression "*piVar8 = *piVar5" (pointer_expression "*piVar8" * identifier) = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "piVar8[1] = iVar3;" (assignment_expression "piVar8[1] = iVar3" (subscript_expression "piVar8[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "*piVar5 = -1;" (assignment_expression "*piVar5 = -1" (pointer_expression "*piVar5" * identifier) = number_literal) ;) (labeled_statement "LAB_0002f064:\n    piVar8 = piVar9;" statement_identifier : (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" identifier = identifier) ;)) (if_statement "if (piVar4 == piVar5) goto LAB_0002f000;" if (parenthesized_expression "(piVar4 == piVar5)" ( (binary_expression "piVar4 == piVar5" identifier == identifier) )) (goto_statement "goto LAB_0002f000;" goto statement_identifier ;)) (expression_statement "piVar5 = piVar5 + 2;" (assignment_expression "piVar5 = piVar5 + 2" identifier = (binary_expression "piVar5 + 2" identifier + number_literal)) ;) (expression_statement "iVar3 = *piVar5;" (assignment_expression "iVar3 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) )) (argument_list ( IDENT )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (binary_expression (parenthesized_expression ( (binary_expression IDENT % IDENT) )) * LIT))) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return LIT ;) })) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( IDENT , IDENT )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) == LIT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + (binary_expression IDENT * LIT)) + LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (goto_statement goto statement_identifier ;) })) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT + (binary_expression IDENT * LIT)) + LIT) == IDENT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return LIT ;) })) })) }) while (parenthesized_expression ( BOOL )) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;)) (expression_statement (assignment_expression IDENT = IDENT) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( IDENT )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (binary_expression (parenthesized_expression ( (binary_expression IDENT % IDENT) )) * LIT))) ;) (while_statement while (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) == IDENT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT == IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( IDENT )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = IDENT) ;)) (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) }) while (parenthesized_expression ( BOOL )) ;) })))
(function_definition "undefined4 hash_table_remove(undefined4 *param_1,undefined4 param_2)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  uint uVar6;\n  code *pcVar7;\n  int *piVar8;\n  int *piVar9;\n  \n  uVar6 = param_1[3];\n  piVar8 = (int *)param_1[2];\n  uVar2 = (*(code *)*param_1)(param_2);\n  if (uVar6 == 0) {\n    trap(7);\n  }\n  pcVar7 = (code *)param_1[1];\n  piVar4 = piVar8 + (uVar2 % uVar6) * 2;\n  do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  iVar3 = *piVar8;\n  piVar5 = piVar8;\n  do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );\n}" (type_identifier "undefined4") (function_declarator "hash_table_remove(undefined4 *param_1,undefined4 param_2)" (identifier "hash_table_remove") (parameter_list "(undefined4 *param_1,undefined4 param_2)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) () ")"))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  uint uVar6;\n  code *pcVar7;\n  int *piVar8;\n  int *piVar9;\n  \n  uVar6 = param_1[3];\n  piVar8 = (int *)param_1[2];\n  uVar2 = (*(code *)*param_1)(param_2);\n  if (uVar6 == 0) {\n    trap(7);\n  }\n  pcVar7 = (code *)param_1[1];\n  piVar4 = piVar8 + (uVar2 % uVar6) * 2;\n  do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );\nLAB_0002f000:\n  iVar3 = *piVar8;\n  piVar5 = piVar8;\n  do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );\n}" ({ "{") (declaration "bool bVar1;" (primitive_type "bool") (identifier "bVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "int *piVar4;" (primitive_type "int") (pointer_declarator "*piVar4" (* "*") (identifier "piVar4")) (; ";")) (declaration "int *piVar5;" (primitive_type "int") (pointer_declarator "*piVar5" (* "*") (identifier "piVar5")) (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "code *pcVar7;" (type_identifier "code") (pointer_declarator "*pcVar7" (* "*") (identifier "pcVar7")) (; ";")) (declaration "int *piVar8;" (primitive_type "int") (pointer_declarator "*piVar8" (* "*") (identifier "piVar8")) (; ";")) (declaration "int *piVar9;" (primitive_type "int") (pointer_declarator "*piVar9" (* "*") (identifier "piVar9")) (; ";")) (expression_statement "uVar6 = param_1[3];" (assignment_expression "uVar6 = param_1[3]" (identifier "uVar6") (= "=") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]"))) (; ";")) (expression_statement "piVar8 = (int *)param_1[2];" (assignment_expression "piVar8 = (int *)param_1[2]" (identifier "piVar8") (= "=") (cast_expression "(int *)param_1[2]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")))) (; ";")) (expression_statement "uVar2 = (*(code *)*param_1)(param_2);" (assignment_expression "uVar2 = (*(code *)*param_1)(param_2)" (identifier "uVar2") (= "=") (call_expression "(*(code *)*param_1)(param_2)" (parenthesized_expression "(*(code *)*param_1)" (( "(") (pointer_expression "*(code *)*param_1" (* "*") (cast_expression "(code *)*param_1" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) () ")")) (argument_list "(param_2)" (( "(") (identifier "param_2") () ")")))) (; ";")) (if_statement "if (uVar6 == 0) {\n    trap(7);\n  }" (if "if") (parenthesized_expression "(uVar6 == 0)" (( "(") (binary_expression "uVar6 == 0" (identifier "uVar6") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    trap(7);\n  }" ({ "{") (expression_statement "trap(7);" (call_expression "trap(7)" (identifier "trap") (argument_list "(7)" (( "(") (number_literal "7") () ")"))) (; ";")) (} "}"))) (expression_statement "pcVar7 = (code *)param_1[1];" (assignment_expression "pcVar7 = (code *)param_1[1]" (identifier "pcVar7") (= "=") (cast_expression "(code *)param_1[1]" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")))) (; ";")) (expression_statement "piVar4 = piVar8 + (uVar2 % uVar6) * 2;" (assignment_expression "piVar4 = piVar8 + (uVar2 % uVar6) * 2" (identifier "piVar4") (= "=") (binary_expression "piVar8 + (uVar2 % uVar6) * 2" (identifier "piVar8") (+ "+") (binary_expression "(uVar2 % uVar6) * 2" (parenthesized_expression "(uVar2 % uVar6)" (( "(") (binary_expression "uVar2 % uVar6" (identifier "uVar2") (% "%") (identifier "uVar6")) () ")")) (* "*") (number_literal "2")))) (; ";")) (do_statement "do {\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  } while( true );" (do "do") (compound_statement "{\n    iVar3 = *piVar4;\n    piVar5 = piVar4;\n    if (iVar3 == -1) {\n      return 0;\n    }\n    while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }\n  }" ({ "{") (expression_statement "iVar3 = *piVar4;" (assignment_expression "iVar3 = *piVar4" (identifier "iVar3") (= "=") (pointer_expression "*piVar4" (* "*") (identifier "piVar4"))) (; ";")) (expression_statement "piVar5 = piVar4;" (assignment_expression "piVar5 = piVar4" (identifier "piVar5") (= "=") (identifier "piVar4")) (; ";")) (if_statement "if (iVar3 == -1) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(iVar3 == -1)" (( "(") (binary_expression "iVar3 == -1" (identifier "iVar3") (== "==") (number_literal "-1")) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (while_statement "while( true ) {\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n      iVar3 = (*pcVar7)(param_2,iVar3);\n      if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }\n      piVar4 = piVar8;\n      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;\n      piVar5 = piVar5 + 2;\n      iVar3 = *piVar5;\n      if (iVar3 == -1) {\n        return 0;\n      }\n    }" ({ "{") (expression_statement "iVar3 = (*pcVar7)(param_2,iVar3);" (assignment_expression "iVar3 = (*pcVar7)(param_2,iVar3)" (identifier "iVar3") (= "=") (call_expression "(*pcVar7)(param_2,iVar3)" (parenthesized_expression "(*pcVar7)" (( "(") (pointer_expression "*pcVar7" (* "*") (identifier "pcVar7")) () ")")) (argument_list "(param_2,iVar3)" (( "(") (identifier "param_2") (, ",") (identifier "iVar3") () ")")))) (; ";")) (if_statement "if (iVar3 != 0) {\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }" (if "if") (parenthesized_expression "(iVar3 != 0)" (( "(") (binary_expression "iVar3 != 0" (identifier "iVar3") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        if (*piVar5 == -1) {\n          return 0;\n        }\n        uVar2 = param_1[3];\n        iVar3 = param_1[4];\n        piVar9 = (int *)param_1[2];\n        pcVar7 = (code *)*param_1;\n        *piVar5 = -1;\n        piVar4 = piVar9 + uVar2 * 2 + -2;\n        param_1[4] = iVar3 + -1;\n        piVar8 = piVar9;\n        if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }\n        goto LAB_0002f000;\n      }" ({ "{") (if_statement "if (*piVar5 == -1) {\n          return 0;\n        }" (if "if") (parenthesized_expression "(*piVar5 == -1)" (( "(") (binary_expression "*piVar5 == -1" (pointer_expression "*piVar5" (* "*") (identifier "piVar5")) (== "==") (number_literal "-1")) () ")")) (compound_statement "{\n          return 0;\n        }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "uVar2 = param_1[3];" (assignment_expression "uVar2 = param_1[3]" (identifier "uVar2") (= "=") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]"))) (; ";")) (expression_statement "iVar3 = param_1[4];" (assignment_expression "iVar3 = param_1[4]" (identifier "iVar3") (= "=") (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]"))) (; ";")) (expression_statement "piVar9 = (int *)param_1[2];" (assignment_expression "piVar9 = (int *)param_1[2]" (identifier "piVar9") (= "=") (cast_expression "(int *)param_1[2]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")))) (; ";")) (expression_statement "pcVar7 = (code *)*param_1;" (assignment_expression "pcVar7 = (code *)*param_1" (identifier "pcVar7") (= "=") (cast_expression "(code *)*param_1" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) (; ";")) (expression_statement "*piVar5 = -1;" (assignment_expression "*piVar5 = -1" (pointer_expression "*piVar5" (* "*") (identifier "piVar5")) (= "=") (number_literal "-1")) (; ";")) (expression_statement "piVar4 = piVar9 + uVar2 * 2 + -2;" (assignment_expression "piVar4 = piVar9 + uVar2 * 2 + -2" (identifier "piVar4") (= "=") (binary_expression "piVar9 + uVar2 * 2 + -2" (binary_expression "piVar9 + uVar2 * 2" (identifier "piVar9") (+ "+") (binary_expression "uVar2 * 2" (identifier "uVar2") (* "*") (number_literal "2"))) (+ "+") (number_literal "-2"))) (; ";")) (expression_statement "param_1[4] = iVar3 + -1;" (assignment_expression "param_1[4] = iVar3 + -1" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (= "=") (binary_expression "iVar3 + -1" (identifier "iVar3") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" (identifier "piVar8") (= "=") (identifier "piVar9")) (; ";")) (if_statement "if (piVar4 != piVar5) {\n          piVar8 = piVar5 + 2;\n        }" (if "if") (parenthesized_expression "(piVar4 != piVar5)" (( "(") (binary_expression "piVar4 != piVar5" (identifier "piVar4") (!= "!=") (identifier "piVar5")) () ")")) (compound_statement "{\n          piVar8 = piVar5 + 2;\n        }" ({ "{") (expression_statement "piVar8 = piVar5 + 2;" (assignment_expression "piVar8 = piVar5 + 2" (identifier "piVar8") (= "=") (binary_expression "piVar5 + 2" (identifier "piVar5") (+ "+") (number_literal "2"))) (; ";")) (} "}"))) (goto_statement "goto LAB_0002f000;" (goto "goto") (statement_identifier "LAB_0002f000") (; ";")) (} "}"))) (expression_statement "piVar4 = piVar8;" (assignment_expression "piVar4 = piVar8" (identifier "piVar4") (= "=") (identifier "piVar8")) (; ";")) (if_statement "if (piVar8 + uVar6 * 2 + -2 == piVar5) break;" (if "if") (parenthesized_expression "(piVar8 + uVar6 * 2 + -2 == piVar5)" (( "(") (binary_expression "piVar8 + uVar6 * 2 + -2 == piVar5" (binary_expression "piVar8 + uVar6 * 2 + -2" (binary_expression "piVar8 + uVar6 * 2" (identifier "piVar8") (+ "+") (binary_expression "uVar6 * 2" (identifier "uVar6") (* "*") (number_literal "2"))) (+ "+") (number_literal "-2")) (== "==") (identifier "piVar5")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "piVar5 = piVar5 + 2;" (assignment_expression "piVar5 = piVar5 + 2" (identifier "piVar5") (= "=") (binary_expression "piVar5 + 2" (identifier "piVar5") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "iVar3 = *piVar5;" (assignment_expression "iVar3 = *piVar5" (identifier "iVar3") (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (if_statement "if (iVar3 == -1) {\n        return 0;\n      }" (if "if") (parenthesized_expression "(iVar3 == -1)" (( "(") (binary_expression "iVar3 == -1" (identifier "iVar3") (== "==") (number_literal "-1")) () ")")) (compound_statement "{\n        return 0;\n      }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}"))) (} "}")) (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (; ";")) (labeled_statement "LAB_0002f000:\n  iVar3 = *piVar8;" (statement_identifier "LAB_0002f000") (: ":") (expression_statement "iVar3 = *piVar8;" (assignment_expression "iVar3 = *piVar8" (identifier "iVar3") (= "=") (pointer_expression "*piVar8" (* "*") (identifier "piVar8"))) (; ";"))) (expression_statement "piVar5 = piVar8;" (assignment_expression "piVar5 = piVar8" (identifier "piVar5") (= "=") (identifier "piVar8")) (; ";")) (do_statement "do {\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  } while( true );" (do "do") (compound_statement "{\n    if (iVar3 == -1) {\n      return 1;\n    }\n    uVar6 = (*pcVar7)(iVar3);\n    if (uVar2 == 0) {\n      trap(7);\n    }\n    piVar8 = piVar9 + (uVar6 % uVar2) * 2;\n    while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }\n    iVar3 = piVar5[1];\n    *piVar8 = *piVar5;\n    piVar8[1] = iVar3;\n    *piVar5 = -1;\nLAB_0002f064:\n    piVar8 = piVar9;\n    if (piVar4 == piVar5) goto LAB_0002f000;\n    piVar5 = piVar5 + 2;\n    iVar3 = *piVar5;\n  }" ({ "{") (if_statement "if (iVar3 == -1) {\n      return 1;\n    }" (if "if") (parenthesized_expression "(iVar3 == -1)" (( "(") (binary_expression "iVar3 == -1" (identifier "iVar3") (== "==") (number_literal "-1")) () ")")) (compound_statement "{\n      return 1;\n    }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))) (expression_statement "uVar6 = (*pcVar7)(iVar3);" (assignment_expression "uVar6 = (*pcVar7)(iVar3)" (identifier "uVar6") (= "=") (call_expression "(*pcVar7)(iVar3)" (parenthesized_expression "(*pcVar7)" (( "(") (pointer_expression "*pcVar7" (* "*") (identifier "pcVar7")) () ")")) (argument_list "(iVar3)" (( "(") (identifier "iVar3") () ")")))) (; ";")) (if_statement "if (uVar2 == 0) {\n      trap(7);\n    }" (if "if") (parenthesized_expression "(uVar2 == 0)" (( "(") (binary_expression "uVar2 == 0" (identifier "uVar2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      trap(7);\n    }" ({ "{") (expression_statement "trap(7);" (call_expression "trap(7)" (identifier "trap") (argument_list "(7)" (( "(") (number_literal "7") () ")"))) (; ";")) (} "}"))) (expression_statement "piVar8 = piVar9 + (uVar6 % uVar2) * 2;" (assignment_expression "piVar8 = piVar9 + (uVar6 % uVar2) * 2" (identifier "piVar8") (= "=") (binary_expression "piVar9 + (uVar6 % uVar2) * 2" (identifier "piVar9") (+ "+") (binary_expression "(uVar6 % uVar2) * 2" (parenthesized_expression "(uVar6 % uVar2)" (( "(") (binary_expression "uVar6 % uVar2" (identifier "uVar6") (% "%") (identifier "uVar2")) () ")")) (* "*") (number_literal "2")))) (; ";")) (while_statement "while (*piVar8 != -1) {\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }" (while "while") (parenthesized_expression "(*piVar8 != -1)" (( "(") (binary_expression "*piVar8 != -1" (pointer_expression "*piVar8" (* "*") (identifier "piVar8")) (!= "!=") (number_literal "-1")) () ")")) (compound_statement "{\n      if (*piVar8 == iVar3) goto LAB_0002f064;\n      bVar1 = piVar4 == piVar8;\n      piVar8 = piVar8 + 2;\n      if (bVar1) {\n        piVar8 = piVar9;\n      }\n    }" ({ "{") (if_statement "if (*piVar8 == iVar3) goto LAB_0002f064;" (if "if") (parenthesized_expression "(*piVar8 == iVar3)" (( "(") (binary_expression "*piVar8 == iVar3" (pointer_expression "*piVar8" (* "*") (identifier "piVar8")) (== "==") (identifier "iVar3")) () ")")) (goto_statement "goto LAB_0002f064;" (goto "goto") (statement_identifier "LAB_0002f064") (; ";"))) (expression_statement "bVar1 = piVar4 == piVar8;" (assignment_expression "bVar1 = piVar4 == piVar8" (identifier "bVar1") (= "=") (binary_expression "piVar4 == piVar8" (identifier "piVar4") (== "==") (identifier "piVar8"))) (; ";")) (expression_statement "piVar8 = piVar8 + 2;" (assignment_expression "piVar8 = piVar8 + 2" (identifier "piVar8") (= "=") (binary_expression "piVar8 + 2" (identifier "piVar8") (+ "+") (number_literal "2"))) (; ";")) (if_statement "if (bVar1) {\n        piVar8 = piVar9;\n      }" (if "if") (parenthesized_expression "(bVar1)" (( "(") (identifier "bVar1") () ")")) (compound_statement "{\n        piVar8 = piVar9;\n      }" ({ "{") (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" (identifier "piVar8") (= "=") (identifier "piVar9")) (; ";")) (} "}"))) (} "}"))) (expression_statement "iVar3 = piVar5[1];" (assignment_expression "iVar3 = piVar5[1]" (identifier "iVar3") (= "=") (subscript_expression "piVar5[1]" (identifier "piVar5") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "*piVar8 = *piVar5;" (assignment_expression "*piVar8 = *piVar5" (pointer_expression "*piVar8" (* "*") (identifier "piVar8")) (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (expression_statement "piVar8[1] = iVar3;" (assignment_expression "piVar8[1] = iVar3" (subscript_expression "piVar8[1]" (identifier "piVar8") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "iVar3")) (; ";")) (expression_statement "*piVar5 = -1;" (assignment_expression "*piVar5 = -1" (pointer_expression "*piVar5" (* "*") (identifier "piVar5")) (= "=") (number_literal "-1")) (; ";")) (labeled_statement "LAB_0002f064:\n    piVar8 = piVar9;" (statement_identifier "LAB_0002f064") (: ":") (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" (identifier "piVar8") (= "=") (identifier "piVar9")) (; ";"))) (if_statement "if (piVar4 == piVar5) goto LAB_0002f000;" (if "if") (parenthesized_expression "(piVar4 == piVar5)" (( "(") (binary_expression "piVar4 == piVar5" (identifier "piVar4") (== "==") (identifier "piVar5")) () ")")) (goto_statement "goto LAB_0002f000;" (goto "goto") (statement_identifier "LAB_0002f000") (; ";"))) (expression_statement "piVar5 = piVar5 + 2;" (assignment_expression "piVar5 = piVar5 + 2" (identifier "piVar5") (= "=") (binary_expression "piVar5 + 2" (identifier "piVar5") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "iVar3 = *piVar5;" (assignment_expression "iVar3 = *piVar5" (identifier "iVar3") (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (; ";")) (} "}")))
(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (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: (pointer_expression argument: (identifier))))) arguments: (argument_list (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (number_literal))))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (number_literal)))) (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list (identifier) (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (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: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)))) (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: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))) (goto_statement label: (statement_identifier)))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)) right: (identifier))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (number_literal))))))) condition: (parenthesized_expression (true))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (do_statement body: (compound_statement (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: (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (number_literal))))) (while_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (identifier)) consequence: (compound_statement (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: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier))))) condition: (parenthesized_expression (true))))))

undefined4 MASKED(undefined4 *param_1,undefined4 param_2)

{
  bool bVar1;
  uint uVar2;
  int iVar3;
  int *piVar4;
  int *piVar5;
  uint uVar6;
  code *pcVar7;
  int *piVar8;
  int *piVar9;
  
  uVar6 = param_1[3];
  piVar8 = (int *)param_1[2];
  uVar2 = (*(code *)*param_1)(param_2);
  if (uVar6 == 0) {
    trap(7);
  }
  pcVar7 = (code *)param_1[1];
  piVar4 = piVar8 + (uVar2 % uVar6) * 2;
  do {
    iVar3 = *piVar4;
    piVar5 = piVar4;
    if (iVar3 == -1) {
      return 0;
    }
    while( true ) {
      iVar3 = (*pcVar7)(param_2,iVar3);
      if (iVar3 != 0) {
        if (*piVar5 == -1) {
          return 0;
        }
        uVar2 = param_1[3];
        iVar3 = param_1[4];
        piVar9 = (int *)param_1[2];
        pcVar7 = (code *)*param_1;
        *piVar5 = -1;
        piVar4 = piVar9 + uVar2 * 2 + -2;
        param_1[4] = iVar3 + -1;
        piVar8 = piVar9;
        if (piVar4 != piVar5) {
          piVar8 = piVar5 + 2;
        }
        goto LAB_0002f000;
      }
      piVar4 = piVar8;
      if (piVar8 + uVar6 * 2 + -2 == piVar5) break;
      piVar5 = piVar5 + 2;
      iVar3 = *piVar5;
      if (iVar3 == -1) {
        return 0;
      }
    }
  } while( true );
LAB_0002f000:
  iVar3 = *piVar8;
  piVar5 = piVar8;
  do {
    if (iVar3 == -1) {
      return 1;
    }
    uVar6 = (*pcVar7)(iVar3);
    if (uVar2 == 0) {
      trap(7);
    }
    piVar8 = piVar9 + (uVar6 % uVar2) * 2;
    while (*piVar8 != -1) {
      if (*piVar8 == iVar3) goto LAB_0002f064;
      bVar1 = piVar4 == piVar8;
      piVar8 = piVar8 + 2;
      if (bVar1) {
        piVar8 = piVar9;
      }
    }
    iVar3 = piVar5[1];
    *piVar8 = *piVar5;
    piVar8[1] = iVar3;
    *piVar5 = -1;
LAB_0002f064:
    piVar8 = piVar9;
    if (piVar4 == piVar5) goto LAB_0002f000;
    piVar5 = piVar5 + 2;
    iVar3 = *piVar5;
  } while( true );
}

