
/* WARNING: Unknown calling convention */

_Bool hash_table_ok(Hash_table *table)

{
  hash_entry *phVar1;
  hash_entry *phVar2;
  size_t sVar3;
  size_t sVar4;
  _Bool _Var5;
  
  phVar2 = table->bucket;
  if (phVar2 < table->bucket_limit) {
    sVar3 = 0;
    sVar4 = 0;
    do {
      if (phVar2->data != (void *)0x0) {
        sVar4 = sVar4 + 1;
        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;
            phVar1 = phVar1->next) {
        }
      }
      phVar2 = phVar2 + 1;
    } while (phVar2 < table->bucket_limit);
  }
  else {
    sVar3 = 0;
    sVar4 = 0;
  }
  _Var5 = false;
  if (table->n_buckets_used == sVar4) {
    _Var5 = table->n_entries == sVar3;
  }
  return _Var5;
}



bool FUN_0010388e(ulong *param_1)

{
  long lVar1;
  long *plVar2;
  ulong uVar3;
  ulong uVar4;
  bool bVar5;
  
  plVar2 = (long *)*param_1;
  if (plVar2 < (long *)param_1[1]) {
    uVar3 = 0;
    uVar4 = 0;
    do {
      if (*plVar2 != 0) {
        uVar4 = uVar4 + 1;
        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {
        }
      }
      plVar2 = plVar2 + 2;
    } while (plVar2 < (long *)param_1[1]);
  }
  else {
    uVar3 = 0;
    uVar4 = 0;
  }
  bVar5 = false;
  if (param_1[3] == uVar4) {
    bVar5 = param_1[4] == uVar3;
  }
  return bVar5;
}


MOV RCX,qword ptr [RDI]
MOV RSI,qword ptr [RDI + 0x8]
CMP RCX,RSI
JNC 0x001038d6
MOV EDX,0x0
MOV R8D,0x0
JMP 0x001038b0
ADD RCX,0x10
CMP RCX,RSI
JNC 0x001038e1
CMP qword ptr [RCX],0x0
JZ 0x001038a7
ADD R8,0x1
ADD RDX,0x1
MOV RAX,qword ptr [RCX + 0x8]
TEST RAX,RAX
JZ 0x001038a7
ADD RDX,0x1
MOV RAX,qword ptr [RAX + 0x8]
TEST RAX,RAX
JNZ 0x001038c7
JMP 0x001038a7
MOV EDX,0x0
MOV R8D,0x0
MOV EAX,0x0
CMP qword ptr [RDI + 0x18],R8
JZ 0x001038ed
RET
CMP qword ptr [RDI + 0x20],RDX
SETZ AL
JMP 0x001038ec
(translation_unit "bool FUN_0010388e(ulong *param_1)\n\n{\n  long lVar1;\n  long *plVar2;\n  ulong uVar3;\n  ulong uVar4;\n  bool bVar5;\n  \n  plVar2 = (long *)*param_1;\n  if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }\n  bVar5 = false;\n  if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }\n  return bVar5;\n}\n\n" (function_definition "bool FUN_0010388e(ulong *param_1)\n\n{\n  long lVar1;\n  long *plVar2;\n  ulong uVar3;\n  ulong uVar4;\n  bool bVar5;\n  \n  plVar2 = (long *)*param_1;\n  if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }\n  bVar5 = false;\n  if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }\n  return bVar5;\n}" primitive_type (function_declarator "FUN_0010388e(ulong *param_1)" identifier (parameter_list "(ulong *param_1)" ( (parameter_declaration "ulong *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  long lVar1;\n  long *plVar2;\n  ulong uVar3;\n  ulong uVar4;\n  bool bVar5;\n  \n  plVar2 = (long *)*param_1;\n  if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }\n  bVar5 = false;\n  if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }\n  return bVar5;\n}" { (declaration "long lVar1;" (sized_type_specifier "long" long) identifier ;) (declaration "long *plVar2;" (sized_type_specifier "long" long) (pointer_declarator "*plVar2" * identifier) ;) (declaration "ulong uVar3;" type_identifier identifier ;) (declaration "ulong uVar4;" type_identifier identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "plVar2 = (long *)*param_1;" (assignment_expression "plVar2 = (long *)*param_1" identifier = (cast_expression "(long *)*param_1" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (if_statement "if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }" if (parenthesized_expression "(plVar2 < (long *)param_1[1])" ( (binary_expression "plVar2 < (long *)param_1[1]" identifier < (cast_expression "(long *)param_1[1]" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) )) (compound_statement "{\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }" { (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (do_statement "do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);" do (compound_statement "{\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    }" { (if_statement "if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }" if (parenthesized_expression "(*plVar2 != 0)" ( (binary_expression "*plVar2 != 0" (pointer_expression "*plVar2" * identifier) != number_literal) )) (compound_statement "{\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }" { (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (for_statement "for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }" for ( (assignment_expression "lVar1 = plVar2[1]" identifier = (subscript_expression "plVar2[1]" identifier [ number_literal ])) ; (comma_expression "uVar3 = uVar3 + 1, lVar1 != 0" (assignment_expression "uVar3 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) , (binary_expression "lVar1 != 0" identifier != number_literal)) ; (assignment_expression "lVar1 = *(long *)(lVar1 + 8)" identifier = (pointer_expression "*(long *)(lVar1 + 8)" * (cast_expression "(long *)(lVar1 + 8)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(lVar1 + 8)" ( (binary_expression "lVar1 + 8" identifier + number_literal) ))))) ) (compound_statement "{\n        }" { })) })) (expression_statement "plVar2 = plVar2 + 2;" (assignment_expression "plVar2 = plVar2 + 2" identifier = (binary_expression "plVar2 + 2" identifier + number_literal)) ;) }) while (parenthesized_expression "(plVar2 < (long *)param_1[1])" ( (binary_expression "plVar2 < (long *)param_1[1]" identifier < (cast_expression "(long *)param_1[1]" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) )) ;) }) (else_clause "else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }" else (compound_statement "{\n    uVar3 = 0;\n    uVar4 = 0;\n  }" { (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) }))) (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (if_statement "if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }" if (parenthesized_expression "(param_1[3] == uVar4)" ( (binary_expression "param_1[3] == uVar4" (subscript_expression "param_1[3]" identifier [ number_literal ]) == identifier) )) (compound_statement "{\n    bVar5 = param_1[4] == uVar3;\n  }" { (expression_statement "bVar5 = param_1[4] == uVar3;" (assignment_expression "bVar5 = param_1[4] == uVar3" identifier = (binary_expression "param_1[4] == uVar3" (subscript_expression "param_1[4]" identifier [ number_literal ]) == identifier)) ;) })) (return_statement "return bVar5;" return identifier ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\n_Bool hash_table_ok(Hash_table *table)\n\n{\n  hash_entry *phVar1;\n  hash_entry *phVar2;\n  size_t sVar3;\n  size_t sVar4;\n  _Bool _Var5;\n  \n  phVar2 = table->bucket;\n  if (phVar2 < table->bucket_limit) {\n    sVar3 = 0;\n    sVar4 = 0;\n    do {\n      if (phVar2->data != (void *)0x0) {\n        sVar4 = sVar4 + 1;\n        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }\n      }\n      phVar2 = phVar2 + 1;\n    } while (phVar2 < table->bucket_limit);\n  }\n  else {\n    sVar3 = 0;\n    sVar4 = 0;\n  }\n  _Var5 = false;\n  if (table->n_buckets_used == sVar4) {\n    _Var5 = table->n_entries == sVar3;\n  }\n  return _Var5;\n}\n\n" comment (function_definition "_Bool hash_table_ok(Hash_table *table)\n\n{\n  hash_entry *phVar1;\n  hash_entry *phVar2;\n  size_t sVar3;\n  size_t sVar4;\n  _Bool _Var5;\n  \n  phVar2 = table->bucket;\n  if (phVar2 < table->bucket_limit) {\n    sVar3 = 0;\n    sVar4 = 0;\n    do {\n      if (phVar2->data != (void *)0x0) {\n        sVar4 = sVar4 + 1;\n        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }\n      }\n      phVar2 = phVar2 + 1;\n    } while (phVar2 < table->bucket_limit);\n  }\n  else {\n    sVar3 = 0;\n    sVar4 = 0;\n  }\n  _Var5 = false;\n  if (table->n_buckets_used == sVar4) {\n    _Var5 = table->n_entries == sVar3;\n  }\n  return _Var5;\n}" type_identifier (function_declarator "hash_table_ok(Hash_table *table)" identifier (parameter_list "(Hash_table *table)" ( (parameter_declaration "Hash_table *table" type_identifier (pointer_declarator "*table" * identifier)) ))) (compound_statement "{\n  hash_entry *phVar1;\n  hash_entry *phVar2;\n  size_t sVar3;\n  size_t sVar4;\n  _Bool _Var5;\n  \n  phVar2 = table->bucket;\n  if (phVar2 < table->bucket_limit) {\n    sVar3 = 0;\n    sVar4 = 0;\n    do {\n      if (phVar2->data != (void *)0x0) {\n        sVar4 = sVar4 + 1;\n        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }\n      }\n      phVar2 = phVar2 + 1;\n    } while (phVar2 < table->bucket_limit);\n  }\n  else {\n    sVar3 = 0;\n    sVar4 = 0;\n  }\n  _Var5 = false;\n  if (table->n_buckets_used == sVar4) {\n    _Var5 = table->n_entries == sVar3;\n  }\n  return _Var5;\n}" { (declaration "hash_entry *phVar1;" type_identifier (pointer_declarator "*phVar1" * identifier) ;) (declaration "hash_entry *phVar2;" type_identifier (pointer_declarator "*phVar2" * identifier) ;) (declaration "size_t sVar3;" primitive_type identifier ;) (declaration "size_t sVar4;" primitive_type identifier ;) (declaration "_Bool _Var5;" type_identifier identifier ;) (expression_statement "phVar2 = table->bucket;" (assignment_expression "phVar2 = table->bucket" identifier = (field_expression "table->bucket" identifier -> field_identifier)) ;) (if_statement "if (phVar2 < table->bucket_limit) {\n    sVar3 = 0;\n    sVar4 = 0;\n    do {\n      if (phVar2->data != (void *)0x0) {\n        sVar4 = sVar4 + 1;\n        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }\n      }\n      phVar2 = phVar2 + 1;\n    } while (phVar2 < table->bucket_limit);\n  }\n  else {\n    sVar3 = 0;\n    sVar4 = 0;\n  }" if (parenthesized_expression "(phVar2 < table->bucket_limit)" ( (binary_expression "phVar2 < table->bucket_limit" identifier < (field_expression "table->bucket_limit" identifier -> field_identifier)) )) (compound_statement "{\n    sVar3 = 0;\n    sVar4 = 0;\n    do {\n      if (phVar2->data != (void *)0x0) {\n        sVar4 = sVar4 + 1;\n        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }\n      }\n      phVar2 = phVar2 + 1;\n    } while (phVar2 < table->bucket_limit);\n  }" { (expression_statement "sVar3 = 0;" (assignment_expression "sVar3 = 0" identifier = number_literal) ;) (expression_statement "sVar4 = 0;" (assignment_expression "sVar4 = 0" identifier = number_literal) ;) (do_statement "do {\n      if (phVar2->data != (void *)0x0) {\n        sVar4 = sVar4 + 1;\n        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }\n      }\n      phVar2 = phVar2 + 1;\n    } while (phVar2 < table->bucket_limit);" do (compound_statement "{\n      if (phVar2->data != (void *)0x0) {\n        sVar4 = sVar4 + 1;\n        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }\n      }\n      phVar2 = phVar2 + 1;\n    }" { (if_statement "if (phVar2->data != (void *)0x0) {\n        sVar4 = sVar4 + 1;\n        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }\n      }" if (parenthesized_expression "(phVar2->data != (void *)0x0)" ( (binary_expression "phVar2->data != (void *)0x0" (field_expression "phVar2->data" identifier -> field_identifier) != (cast_expression "(void *)0x0" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        sVar4 = sVar4 + 1;\n        for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }\n      }" { (expression_statement "sVar4 = sVar4 + 1;" (assignment_expression "sVar4 = sVar4 + 1" identifier = (binary_expression "sVar4 + 1" identifier + number_literal)) ;) (for_statement "for (phVar1 = phVar2->next; sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0;\n            phVar1 = phVar1->next) {\n        }" for ( (assignment_expression "phVar1 = phVar2->next" identifier = (field_expression "phVar2->next" identifier -> field_identifier)) ; (comma_expression "sVar3 = sVar3 + 1, phVar1 != (hash_entry *)0x0" (assignment_expression "sVar3 = sVar3 + 1" identifier = (binary_expression "sVar3 + 1" identifier + number_literal)) , (binary_expression "phVar1 != (hash_entry *)0x0" identifier != (cast_expression "(hash_entry *)0x0" ( (type_descriptor "hash_entry *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal))) ; (assignment_expression "phVar1 = phVar1->next" identifier = (field_expression "phVar1->next" identifier -> field_identifier)) ) (compound_statement "{\n        }" { })) })) (expression_statement "phVar2 = phVar2 + 1;" (assignment_expression "phVar2 = phVar2 + 1" identifier = (binary_expression "phVar2 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(phVar2 < table->bucket_limit)" ( (binary_expression "phVar2 < table->bucket_limit" identifier < (field_expression "table->bucket_limit" identifier -> field_identifier)) )) ;) }) (else_clause "else {\n    sVar3 = 0;\n    sVar4 = 0;\n  }" else (compound_statement "{\n    sVar3 = 0;\n    sVar4 = 0;\n  }" { (expression_statement "sVar3 = 0;" (assignment_expression "sVar3 = 0" identifier = number_literal) ;) (expression_statement "sVar4 = 0;" (assignment_expression "sVar4 = 0" identifier = number_literal) ;) }))) (expression_statement "_Var5 = false;" (assignment_expression "_Var5 = false" identifier = false) ;) (if_statement "if (table->n_buckets_used == sVar4) {\n    _Var5 = table->n_entries == sVar3;\n  }" if (parenthesized_expression "(table->n_buckets_used == sVar4)" ( (binary_expression "table->n_buckets_used == sVar4" (field_expression "table->n_buckets_used" identifier -> field_identifier) == identifier) )) (compound_statement "{\n    _Var5 = table->n_entries == sVar3;\n  }" { (expression_statement "_Var5 = table->n_entries == sVar3;" (assignment_expression "_Var5 = table->n_entries == sVar3" identifier = (binary_expression "table->n_entries == sVar3" (field_expression "table->n_entries" identifier -> field_identifier) == identifier)) ;) })) (return_statement "return _Var5;" return identifier ;) })))
(translation_unit "bool FUN_0010388e(ulong *param_1)\n\n{\n  long lVar1;\n  long *plVar2;\n  ulong uVar3;\n  ulong uVar4;\n  bool bVar5;\n  \n  plVar2 = (long *)*param_1;\n  if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }\n  bVar5 = false;\n  if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }\n  return bVar5;\n}\n\n" (function_definition "bool FUN_0010388e(ulong *param_1)\n\n{\n  long lVar1;\n  long *plVar2;\n  ulong uVar3;\n  ulong uVar4;\n  bool bVar5;\n  \n  plVar2 = (long *)*param_1;\n  if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }\n  bVar5 = false;\n  if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }\n  return bVar5;\n}" primitive_type (function_declarator "FUN_0010388e(ulong *param_1)" identifier (parameter_list "(ulong *param_1)" ( (parameter_declaration "ulong *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  long lVar1;\n  long *plVar2;\n  ulong uVar3;\n  ulong uVar4;\n  bool bVar5;\n  \n  plVar2 = (long *)*param_1;\n  if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }\n  bVar5 = false;\n  if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }\n  return bVar5;\n}" { (declaration "long lVar1;" (sized_type_specifier "long" long) identifier ;) (declaration "long *plVar2;" (sized_type_specifier "long" long) (pointer_declarator "*plVar2" * identifier) ;) (declaration "ulong uVar3;" type_identifier identifier ;) (declaration "ulong uVar4;" type_identifier identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "plVar2 = (long *)*param_1;" (assignment_expression "plVar2 = (long *)*param_1" identifier = (cast_expression "(long *)*param_1" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (if_statement "if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }" if (parenthesized_expression "(plVar2 < (long *)param_1[1])" ( (binary_expression "plVar2 < (long *)param_1[1]" identifier < (cast_expression "(long *)param_1[1]" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) )) (compound_statement "{\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }" { (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (do_statement "do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);" do (compound_statement "{\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    }" { (if_statement "if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }" if (parenthesized_expression "(*plVar2 != 0)" ( (binary_expression "*plVar2 != 0" (pointer_expression "*plVar2" * identifier) != number_literal) )) (compound_statement "{\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }" { (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (for_statement "for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }" for ( (assignment_expression "lVar1 = plVar2[1]" identifier = (subscript_expression "plVar2[1]" identifier [ number_literal ])) ; (comma_expression "uVar3 = uVar3 + 1, lVar1 != 0" (assignment_expression "uVar3 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) , (binary_expression "lVar1 != 0" identifier != number_literal)) ; (assignment_expression "lVar1 = *(long *)(lVar1 + 8)" identifier = (pointer_expression "*(long *)(lVar1 + 8)" * (cast_expression "(long *)(lVar1 + 8)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(lVar1 + 8)" ( (binary_expression "lVar1 + 8" identifier + number_literal) ))))) ) (compound_statement "{\n        }" { })) })) (expression_statement "plVar2 = plVar2 + 2;" (assignment_expression "plVar2 = plVar2 + 2" identifier = (binary_expression "plVar2 + 2" identifier + number_literal)) ;) }) while (parenthesized_expression "(plVar2 < (long *)param_1[1])" ( (binary_expression "plVar2 < (long *)param_1[1]" identifier < (cast_expression "(long *)param_1[1]" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) )) ;) }) (else_clause "else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }" else (compound_statement "{\n    uVar3 = 0;\n    uVar4 = 0;\n  }" { (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) }))) (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (if_statement "if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }" if (parenthesized_expression "(param_1[3] == uVar4)" ( (binary_expression "param_1[3] == uVar4" (subscript_expression "param_1[3]" identifier [ number_literal ]) == identifier) )) (compound_statement "{\n    bVar5 = param_1[4] == uVar3;\n  }" { (expression_statement "bVar5 = param_1[4] == uVar3;" (assignment_expression "bVar5 = param_1[4] == uVar3" identifier = (binary_expression "param_1[4] == uVar3" (subscript_expression "param_1[4]" identifier [ number_literal ]) == identifier)) ;) })) (return_statement "return bVar5;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration (sized_type_specifier long) IDENT ;) (declaration (sized_type_specifier long) (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (for_statement for ( (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ; (comma_expression (assignment_expression IDENT = (binary_expression IDENT + LIT)) , (binary_expression IDENT != LIT)) ; (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ) (compound_statement { })) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT < (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) )) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) }))) (expression_statement (assignment_expression IDENT = BOOL) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) == IDENT)) ;) })) (return_statement return IDENT ;) })))
(function_definition "bool FUN_0010388e(ulong *param_1)\n\n{\n  long lVar1;\n  long *plVar2;\n  ulong uVar3;\n  ulong uVar4;\n  bool bVar5;\n  \n  plVar2 = (long *)*param_1;\n  if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }\n  bVar5 = false;\n  if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }\n  return bVar5;\n}" (primitive_type "bool") (function_declarator "FUN_0010388e(ulong *param_1)" (identifier "FUN_0010388e") (parameter_list "(ulong *param_1)" (( "(") (parameter_declaration "ulong *param_1" (type_identifier "ulong") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  long lVar1;\n  long *plVar2;\n  ulong uVar3;\n  ulong uVar4;\n  bool bVar5;\n  \n  plVar2 = (long *)*param_1;\n  if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }\n  bVar5 = false;\n  if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }\n  return bVar5;\n}" ({ "{") (declaration "long lVar1;" (sized_type_specifier "long" (long "long")) (identifier "lVar1") (; ";")) (declaration "long *plVar2;" (sized_type_specifier "long" (long "long")) (pointer_declarator "*plVar2" (* "*") (identifier "plVar2")) (; ";")) (declaration "ulong uVar3;" (type_identifier "ulong") (identifier "uVar3") (; ";")) (declaration "ulong uVar4;" (type_identifier "ulong") (identifier "uVar4") (; ";")) (declaration "bool bVar5;" (primitive_type "bool") (identifier "bVar5") (; ";")) (expression_statement "plVar2 = (long *)*param_1;" (assignment_expression "plVar2 = (long *)*param_1" (identifier "plVar2") (= "=") (cast_expression "(long *)*param_1" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) (; ";")) (if_statement "if (plVar2 < (long *)param_1[1]) {\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }\n  else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }" (if "if") (parenthesized_expression "(plVar2 < (long *)param_1[1])" (( "(") (binary_expression "plVar2 < (long *)param_1[1]" (identifier "plVar2") (< "<") (cast_expression "(long *)param_1[1]" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")))) () ")")) (compound_statement "{\n    uVar3 = 0;\n    uVar4 = 0;\n    do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);\n  }" ({ "{") (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" (identifier "uVar3") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    } while (plVar2 < (long *)param_1[1]);" (do "do") (compound_statement "{\n      if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }\n      plVar2 = plVar2 + 2;\n    }" ({ "{") (if_statement "if (*plVar2 != 0) {\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }" (if "if") (parenthesized_expression "(*plVar2 != 0)" (( "(") (binary_expression "*plVar2 != 0" (pointer_expression "*plVar2" (* "*") (identifier "plVar2")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        uVar4 = uVar4 + 1;\n        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }\n      }" ({ "{") (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" (identifier "uVar4") (= "=") (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1"))) (; ";")) (for_statement "for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {\n        }" (for "for") (( "(") (assignment_expression "lVar1 = plVar2[1]" (identifier "lVar1") (= "=") (subscript_expression "plVar2[1]" (identifier "plVar2") ([ "[") (number_literal "1") (] "]"))) (; ";") (comma_expression "uVar3 = uVar3 + 1, lVar1 != 0" (assignment_expression "uVar3 = uVar3 + 1" (identifier "uVar3") (= "=") (binary_expression "uVar3 + 1" (identifier "uVar3") (+ "+") (number_literal "1"))) (, ",") (binary_expression "lVar1 != 0" (identifier "lVar1") (!= "!=") (number_literal "0"))) (; ";") (assignment_expression "lVar1 = *(long *)(lVar1 + 8)" (identifier "lVar1") (= "=") (pointer_expression "*(long *)(lVar1 + 8)" (* "*") (cast_expression "(long *)(lVar1 + 8)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(lVar1 + 8)" (( "(") (binary_expression "lVar1 + 8" (identifier "lVar1") (+ "+") (number_literal "8")) () ")"))))) () ")") (compound_statement "{\n        }" ({ "{") (} "}"))) (} "}"))) (expression_statement "plVar2 = plVar2 + 2;" (assignment_expression "plVar2 = plVar2 + 2" (identifier "plVar2") (= "=") (binary_expression "plVar2 + 2" (identifier "plVar2") (+ "+") (number_literal "2"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(plVar2 < (long *)param_1[1])" (( "(") (binary_expression "plVar2 < (long *)param_1[1]" (identifier "plVar2") (< "<") (cast_expression "(long *)param_1[1]" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")))) () ")")) (; ";")) (} "}")) (else_clause "else {\n    uVar3 = 0;\n    uVar4 = 0;\n  }" (else "else") (compound_statement "{\n    uVar3 = 0;\n    uVar4 = 0;\n  }" ({ "{") (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" (identifier "uVar3") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (} "}")))) (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" (identifier "bVar5") (= "=") (false "false")) (; ";")) (if_statement "if (param_1[3] == uVar4) {\n    bVar5 = param_1[4] == uVar3;\n  }" (if "if") (parenthesized_expression "(param_1[3] == uVar4)" (( "(") (binary_expression "param_1[3] == uVar4" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (== "==") (identifier "uVar4")) () ")")) (compound_statement "{\n    bVar5 = param_1[4] == uVar3;\n  }" ({ "{") (expression_statement "bVar5 = param_1[4] == uVar3;" (assignment_expression "bVar5 = param_1[4] == uVar3" (identifier "bVar5") (= "=") (binary_expression "param_1[4] == uVar3" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (== "==") (identifier "uVar3"))) (; ";")) (} "}"))) (return_statement "return bVar5;" (return "return") (identifier "bVar5") (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

type_1 function_1(type_2 *table)

{
  type_3 *var_4;
  type_3 *var_1;
  size_t var_3;
  size_t var_2;
  type_1 _Var5;
  
  var_1 = table->bucket;
  if (var_1 < table->bucket_limit) {
    var_3 = 0;
    var_2 = 0;
    do {
      if (var_1->data != (void *)0x0) {
        var_2 = var_2 + 1;
        for (var_4 = var_1->next; var_3 = var_3 + 1, var_4 != (type_3 *)0x0;
            var_4 = var_4->next) {
        }
      }
      var_1 = var_1 + 1;
    } while (var_1 < table->bucket_limit);
  }
  else {
    var_3 = 0;
    var_2 = 0;
  }
  _Var5 = false;
  if (table->n_buckets_used == var_2) {
    _Var5 = table->n_entries == var_3;
  }
  return _Var5;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (sized_type_specifier) declarator: (identifier)) (declaration type: (sized_type_specifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (for_statement initializer: (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal))) condition: (comma_expression left: (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) right: (binary_expression left: (identifier) right: (number_literal))) update: (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) body: (compound_statement)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (false))) (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier)))))) (return_statement (identifier)))))

bool MASKED(ulong *param_1)

{
  long lVar1;
  long *plVar2;
  ulong uVar3;
  ulong uVar4;
  bool bVar5;
  
  plVar2 = (long *)*param_1;
  if (plVar2 < (long *)param_1[1]) {
    uVar3 = 0;
    uVar4 = 0;
    do {
      if (*plVar2 != 0) {
        uVar4 = uVar4 + 1;
        for (lVar1 = plVar2[1]; uVar3 = uVar3 + 1, lVar1 != 0; lVar1 = *(long *)(lVar1 + 8)) {
        }
      }
      plVar2 = plVar2 + 2;
    } while (plVar2 < (long *)param_1[1]);
  }
  else {
    uVar3 = 0;
    uVar4 = 0;
  }
  bVar5 = false;
  if (param_1[3] == uVar4) {
    bVar5 = param_1[4] == uVar3;
  }
  return bVar5;
}

