
/* WARNING: Unknown calling convention */

void bitsetv_transitive_closure(bitsetv bsetv)

{
  _Bool _Var1;
  bitset_conflict pbVar2;
  uint uVar3;
  uint uVar4;
  bitsetv ppbVar5;
  
  uVar4 = 0;
  pbVar2 = *bsetv;
  if (pbVar2 == (bitset_conflict)0x0) {
    return;
  }
  do {
    ppbVar5 = bsetv;
joined_r0x0005fed2:
    if (pbVar2 != (bitset_conflict)0x0) {
      uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;
      if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;
      do {
        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;
        while( true ) {
          if ((char)uVar3 != '\0') {
            pbVar2 = *ppbVar5;
            ppbVar5 = ppbVar5 + 1;
            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);
            pbVar2 = *ppbVar5;
            goto joined_r0x0005fed2;
          }
          ppbVar5 = ppbVar5 + 1;
          pbVar2 = *ppbVar5;
          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;
          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;
          if (uVar3 < (pbVar2->b).csize) break;
LAB_0005ff3c:
          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);
          uVar3 = (uint)_Var1;
        }
      } while( true );
    }
LAB_0005ff13:
    uVar4 = uVar4 + 1;
    if (bsetv[uVar4] == (bitset_conflict)0x0) {
      return;
    }
    pbVar2 = *bsetv;
  } while( true );
}



void FUN_0005fea0(int *param_1)

{
  int *piVar1;
  uint uVar2;
  uint uVar3;
  int *piVar4;
  
  uVar3 = 0;
  piVar1 = (int *)*param_1;
  if (piVar1 == (int *)0x0) {
    return;
  }
  do {
    piVar4 = param_1;
joined_r0x0005fed2:
    if (piVar1 != (int *)0x0) {
      uVar2 = (uVar3 >> 5) - piVar1[1];
      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;
      do {
        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;
        while( true ) {
          if ((char)uVar2 != '\0') {
            piVar1 = (int *)*piVar4;
            piVar4 = piVar4 + 1;
            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);
            piVar1 = (int *)*piVar4;
            goto joined_r0x0005fed2;
          }
          piVar4 = piVar4 + 1;
          piVar1 = (int *)*piVar4;
          if (piVar1 == (int *)0x0) goto LAB_0005ff13;
          uVar2 = (uVar3 >> 5) - piVar1[1];
          if (uVar2 < (uint)piVar1[2]) break;
LAB_0005ff3c:
          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);
        }
      } while( true );
    }
LAB_0005ff13:
    uVar3 = uVar3 + 1;
    if (param_1[uVar3] == 0) {
      return;
    }
    piVar1 = (int *)*param_1;
  } while( true );
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
XOR EBX,EBX
SUB ESP,0x1c
MOV EDI,dword ptr [ESP + 0x30]
MOV EAX,dword ptr [EDI]
TEST EAX,EAX
JZ 0x0005ff50
LEA ESI,[ESI]
NOP
MOV EDX,EBX
MOV ESI,EBX
MOV EBP,EDI
AND EDX,0x1f
SHR ESI,0x5
MOV dword ptr [ESP + 0xc],EDX
TEST EAX,EAX
JZ 0x0005ff13
LEA ESI,[ESI]
MOV ECX,ESI
SUB ECX,dword ptr [EAX + 0x4]
CMP ECX,dword ptr [EAX + 0x8]
JNC 0x0005ff3c
MOV EAX,dword ptr [EAX + 0xc]
MOV EAX,dword ptr [EAX + ECX*0x4]
MOVZX ECX,byte ptr [ESP + 0xc]
SHR EAX,CL
AND EAX,0x1
TEST AL,AL
JZ 0x0005ff28
MOV EAX,dword ptr [EBP]
SUB ESP,0x4
ADD EBP,0x4
MOV ECX,dword ptr [EAX]
PUSH dword ptr [EDI + EBX*0x4]
PUSH EAX
PUSH EAX
CALL dword ptr [ECX + 0x4c]
MOV EAX,dword ptr [EBP]
ADD ESP,0x10
TEST EAX,EAX
JNZ 0x0005fed8
ADD EBX,0x1
MOV EAX,dword ptr [EDI + EBX*0x4]
TEST EAX,EAX
JZ 0x0005ff50
MOV EAX,dword ptr [EDI]
JMP 0x0005fec0
ADD EBP,0x4
MOV EAX,dword ptr [EBP]
TEST EAX,EAX
JZ 0x0005ff13
MOV ECX,ESI
SUB ECX,dword ptr [EAX + 0x4]
CMP ECX,dword ptr [EAX + 0x8]
JC 0x0005fee2
SUB ESP,0x8
MOV ECX,dword ptr [EAX]
PUSH EBX
PUSH EAX
CALL dword ptr [ECX + 0xc]
ADD ESP,0x10
JMP 0x0005fef2
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
(translation_unit "void FUN_0005fea0(int *param_1)\n\n{\n  int *piVar1;\n  uint uVar2;\n  uint uVar3;\n  int *piVar4;\n  \n  uVar3 = 0;\n  piVar1 = (int *)*param_1;\n  if (piVar1 == (int *)0x0) {\n    return;\n  }\n  do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );\n}\n\n" (function_definition "void FUN_0005fea0(int *param_1)\n\n{\n  int *piVar1;\n  uint uVar2;\n  uint uVar3;\n  int *piVar4;\n  \n  uVar3 = 0;\n  piVar1 = (int *)*param_1;\n  if (piVar1 == (int *)0x0) {\n    return;\n  }\n  do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );\n}" primitive_type (function_declarator "FUN_0005fea0(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int *piVar1;\n  uint uVar2;\n  uint uVar3;\n  int *piVar4;\n  \n  uVar3 = 0;\n  piVar1 = (int *)*param_1;\n  if (piVar1 == (int *)0x0) {\n    return;\n  }\n  do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );\n}" { (declaration "int *piVar1;" primitive_type (pointer_declarator "*piVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "int *piVar4;" primitive_type (pointer_declarator "*piVar4" * identifier) ;) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (expression_statement "piVar1 = (int *)*param_1;" (assignment_expression "piVar1 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (if_statement "if (piVar1 == (int *)0x0) {\n    return;\n  }" if (parenthesized_expression "(piVar1 == (int *)0x0)" ( (binary_expression "piVar1 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (do_statement "do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );" do (compound_statement "{\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  }" { (expression_statement "piVar4 = param_1;" (assignment_expression "piVar4 = param_1" identifier = identifier) ;) (labeled_statement "joined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }" statement_identifier : (if_statement "if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }" if (parenthesized_expression "(piVar1 != (int *)0x0)" ( (binary_expression "piVar1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }" { (expression_statement "uVar2 = (uVar3 >> 5) - piVar1[1];" (assignment_expression "uVar2 = (uVar3 >> 5) - piVar1[1]" identifier = (binary_expression "(uVar3 >> 5) - piVar1[1]" (parenthesized_expression "(uVar3 >> 5)" ( (binary_expression "uVar3 >> 5" identifier >> number_literal) )) - (subscript_expression "piVar1[1]" identifier [ number_literal ]))) ;) (if_statement "if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;" if (parenthesized_expression "((uint)piVar1[2] <= uVar2)" ( (binary_expression "(uint)piVar1[2] <= uVar2" (cast_expression "(uint)piVar1[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "piVar1[2]" identifier [ number_literal ])) <= identifier) )) (goto_statement "goto LAB_0005ff3c;" goto statement_identifier ;)) (do_statement "do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );" do (compound_statement "{\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      }" { (expression_statement "uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;" (assignment_expression "uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1" identifier = (binary_expression "*(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1" (binary_expression "*(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f)" (pointer_expression "*(uint *)(piVar1[3] + uVar2 * 4)" * (cast_expression "(uint *)(piVar1[3] + uVar2 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(piVar1[3] + uVar2 * 4)" ( (binary_expression "piVar1[3] + uVar2 * 4" (subscript_expression "piVar1[3]" identifier [ number_literal ]) + (binary_expression "uVar2 * 4" identifier * number_literal)) )))) >> (parenthesized_expression "((byte)uVar3 & 0x1f)" ( (binary_expression "(byte)uVar3 & 0x1f" (cast_expression "(byte)uVar3" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) ))) & number_literal)) ;) (while_statement "while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }" { (if_statement "if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }" if (parenthesized_expression "((char)uVar2 != '\0')" ( (binary_expression "(char)uVar2 != '\0'" (cast_expression "(char)uVar2" ( (type_descriptor "char" primitive_type) ) identifier) != (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }" { (expression_statement "piVar1 = (int *)*piVar4;" (assignment_expression "piVar1 = (int *)*piVar4" identifier = (cast_expression "(int *)*piVar4" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*piVar4" * identifier))) ;) (expression_statement "piVar4 = piVar4 + 1;" (assignment_expression "piVar4 = piVar4 + 1" identifier = (binary_expression "piVar4 + 1" identifier + number_literal)) ;) (expression_statement "(**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);" (call_expression "(**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3])" (parenthesized_expression "(**(code **)(*piVar1 + 0x4c))" ( (pointer_expression "**(code **)(*piVar1 + 0x4c)" * (pointer_expression "*(code **)(*piVar1 + 0x4c)" * (cast_expression "(code **)(*piVar1 + 0x4c)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*piVar1 + 0x4c)" ( (binary_expression "*piVar1 + 0x4c" (pointer_expression "*piVar1" * identifier) + number_literal) ))))) )) (argument_list "(piVar1,piVar1,param_1[uVar3])" ( identifier , identifier , (subscript_expression "param_1[uVar3]" identifier [ identifier ]) ))) ;) (expression_statement "piVar1 = (int *)*piVar4;" (assignment_expression "piVar1 = (int *)*piVar4" identifier = (cast_expression "(int *)*piVar4" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*piVar4" * identifier))) ;) (goto_statement "goto joined_r0x0005fed2;" goto statement_identifier ;) })) (expression_statement "piVar4 = piVar4 + 1;" (assignment_expression "piVar4 = piVar4 + 1" identifier = (binary_expression "piVar4 + 1" identifier + number_literal)) ;) (expression_statement "piVar1 = (int *)*piVar4;" (assignment_expression "piVar1 = (int *)*piVar4" identifier = (cast_expression "(int *)*piVar4" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*piVar4" * identifier))) ;) (if_statement "if (piVar1 == (int *)0x0) goto LAB_0005ff13;" if (parenthesized_expression "(piVar1 == (int *)0x0)" ( (binary_expression "piVar1 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (goto_statement "goto LAB_0005ff13;" goto statement_identifier ;)) (expression_statement "uVar2 = (uVar3 >> 5) - piVar1[1];" (assignment_expression "uVar2 = (uVar3 >> 5) - piVar1[1]" identifier = (binary_expression "(uVar3 >> 5) - piVar1[1]" (parenthesized_expression "(uVar3 >> 5)" ( (binary_expression "uVar3 >> 5" identifier >> number_literal) )) - (subscript_expression "piVar1[1]" identifier [ number_literal ]))) ;) (if_statement "if (uVar2 < (uint)piVar1[2]) break;" if (parenthesized_expression "(uVar2 < (uint)piVar1[2])" ( (binary_expression "uVar2 < (uint)piVar1[2]" identifier < (cast_expression "(uint)piVar1[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "piVar1[2]" identifier [ number_literal ]))) )) (break_statement "break;" break ;)) (labeled_statement "LAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);" statement_identifier : (expression_statement "uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);" (assignment_expression "uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3)" identifier = (call_expression "(**(code **)(*piVar1 + 0xc))(piVar1,uVar3)" (parenthesized_expression "(**(code **)(*piVar1 + 0xc))" ( (pointer_expression "**(code **)(*piVar1 + 0xc)" * (pointer_expression "*(code **)(*piVar1 + 0xc)" * (cast_expression "(code **)(*piVar1 + 0xc)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*piVar1 + 0xc)" ( (binary_expression "*piVar1 + 0xc" (pointer_expression "*piVar1" * identifier) + number_literal) ))))) )) (argument_list "(piVar1,uVar3)" ( identifier , identifier )))) ;)) })) }) while (parenthesized_expression "( true )" ( true )) ;) }))) (labeled_statement "LAB_0005ff13:\n    uVar3 = uVar3 + 1;" statement_identifier : (expression_statement "uVar3 = uVar3 + 1;" (assignment_expression "uVar3 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) ;)) (if_statement "if (param_1[uVar3] == 0) {\n      return;\n    }" if (parenthesized_expression "(param_1[uVar3] == 0)" ( (binary_expression "param_1[uVar3] == 0" (subscript_expression "param_1[uVar3]" identifier [ identifier ]) == number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (expression_statement "piVar1 = (int *)*param_1;" (assignment_expression "piVar1 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nvoid bitsetv_transitive_closure(bitsetv bsetv)\n\n{\n  _Bool _Var1;\n  bitset_conflict pbVar2;\n  uint uVar3;\n  uint uVar4;\n  bitsetv ppbVar5;\n  \n  uVar4 = 0;\n  pbVar2 = *bsetv;\n  if (pbVar2 == (bitset_conflict)0x0) {\n    return;\n  }\n  do {\n    ppbVar5 = bsetv;\njoined_r0x0005fed2:\n    if (pbVar2 != (bitset_conflict)0x0) {\n      uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n      if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;\n      do {\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar4 = uVar4 + 1;\n    if (bsetv[uVar4] == (bitset_conflict)0x0) {\n      return;\n    }\n    pbVar2 = *bsetv;\n  } while( true );\n}\n\n" comment (function_definition "void bitsetv_transitive_closure(bitsetv bsetv)\n\n{\n  _Bool _Var1;\n  bitset_conflict pbVar2;\n  uint uVar3;\n  uint uVar4;\n  bitsetv ppbVar5;\n  \n  uVar4 = 0;\n  pbVar2 = *bsetv;\n  if (pbVar2 == (bitset_conflict)0x0) {\n    return;\n  }\n  do {\n    ppbVar5 = bsetv;\njoined_r0x0005fed2:\n    if (pbVar2 != (bitset_conflict)0x0) {\n      uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n      if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;\n      do {\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar4 = uVar4 + 1;\n    if (bsetv[uVar4] == (bitset_conflict)0x0) {\n      return;\n    }\n    pbVar2 = *bsetv;\n  } while( true );\n}" primitive_type (function_declarator "bitsetv_transitive_closure(bitsetv bsetv)" identifier (parameter_list "(bitsetv bsetv)" ( (parameter_declaration "bitsetv bsetv" type_identifier identifier) ))) (compound_statement "{\n  _Bool _Var1;\n  bitset_conflict pbVar2;\n  uint uVar3;\n  uint uVar4;\n  bitsetv ppbVar5;\n  \n  uVar4 = 0;\n  pbVar2 = *bsetv;\n  if (pbVar2 == (bitset_conflict)0x0) {\n    return;\n  }\n  do {\n    ppbVar5 = bsetv;\njoined_r0x0005fed2:\n    if (pbVar2 != (bitset_conflict)0x0) {\n      uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n      if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;\n      do {\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar4 = uVar4 + 1;\n    if (bsetv[uVar4] == (bitset_conflict)0x0) {\n      return;\n    }\n    pbVar2 = *bsetv;\n  } while( true );\n}" { (declaration "_Bool _Var1;" type_identifier identifier ;) (declaration "bitset_conflict pbVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "bitsetv ppbVar5;" type_identifier identifier ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "pbVar2 = *bsetv;" (assignment_expression "pbVar2 = *bsetv" identifier = (pointer_expression "*bsetv" * identifier)) ;) (if_statement "if (pbVar2 == (bitset_conflict)0x0) {\n    return;\n  }" if (parenthesized_expression "(pbVar2 == (bitset_conflict)0x0)" ( (binary_expression "pbVar2 == (bitset_conflict)0x0" identifier == (cast_expression "(bitset_conflict)0x0" ( (type_descriptor "bitset_conflict" type_identifier) ) number_literal)) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (do_statement "do {\n    ppbVar5 = bsetv;\njoined_r0x0005fed2:\n    if (pbVar2 != (bitset_conflict)0x0) {\n      uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n      if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;\n      do {\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar4 = uVar4 + 1;\n    if (bsetv[uVar4] == (bitset_conflict)0x0) {\n      return;\n    }\n    pbVar2 = *bsetv;\n  } while( true );" do (compound_statement "{\n    ppbVar5 = bsetv;\njoined_r0x0005fed2:\n    if (pbVar2 != (bitset_conflict)0x0) {\n      uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n      if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;\n      do {\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar4 = uVar4 + 1;\n    if (bsetv[uVar4] == (bitset_conflict)0x0) {\n      return;\n    }\n    pbVar2 = *bsetv;\n  }" { (expression_statement "ppbVar5 = bsetv;" (assignment_expression "ppbVar5 = bsetv" identifier = identifier) ;) (labeled_statement "joined_r0x0005fed2:\n    if (pbVar2 != (bitset_conflict)0x0) {\n      uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n      if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;\n      do {\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      } while( true );\n    }" statement_identifier : (if_statement "if (pbVar2 != (bitset_conflict)0x0) {\n      uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n      if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;\n      do {\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      } while( true );\n    }" if (parenthesized_expression "(pbVar2 != (bitset_conflict)0x0)" ( (binary_expression "pbVar2 != (bitset_conflict)0x0" identifier != (cast_expression "(bitset_conflict)0x0" ( (type_descriptor "bitset_conflict" type_identifier) ) number_literal)) )) (compound_statement "{\n      uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n      if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;\n      do {\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      } while( true );\n    }" { (expression_statement "uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;" (assignment_expression "uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex" identifier = (binary_expression "(uVar4 >> 5) - (pbVar2->b).cindex" (parenthesized_expression "(uVar4 >> 5)" ( (binary_expression "uVar4 >> 5" identifier >> number_literal) )) - (field_expression "(pbVar2->b).cindex" (parenthesized_expression "(pbVar2->b)" ( (field_expression "pbVar2->b" identifier -> field_identifier) )) . field_identifier))) ;) (if_statement "if ((pbVar2->b).csize <= uVar3) goto LAB_0005ff3c;" if (parenthesized_expression "((pbVar2->b).csize <= uVar3)" ( (binary_expression "(pbVar2->b).csize <= uVar3" (field_expression "(pbVar2->b).csize" (parenthesized_expression "(pbVar2->b)" ( (field_expression "pbVar2->b" identifier -> field_identifier) )) . field_identifier) <= identifier) )) (goto_statement "goto LAB_0005ff3c;" goto statement_identifier ;)) (do_statement "do {\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      } while( true );" do (compound_statement "{\n        uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }\n      }" { (expression_statement "uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1;" (assignment_expression "uVar3 = (pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1" identifier = (binary_expression "(pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f) & 1" (binary_expression "(pbVar2->b).cdata[uVar3] >> ((byte)uVar4 & 0x1f)" (subscript_expression "(pbVar2->b).cdata[uVar3]" (field_expression "(pbVar2->b).cdata" (parenthesized_expression "(pbVar2->b)" ( (field_expression "pbVar2->b" identifier -> field_identifier) )) . field_identifier) [ identifier ]) >> (parenthesized_expression "((byte)uVar4 & 0x1f)" ( (binary_expression "(byte)uVar4 & 0x1f" (cast_expression "(byte)uVar4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) ))) & number_literal)) ;) (while_statement "while( true ) {\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n          if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }\n          ppbVar5 = ppbVar5 + 1;\n          pbVar2 = *ppbVar5;\n          if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;\n          uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;\n          if (uVar3 < (pbVar2->b).csize) break;\nLAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);\n          uVar3 = (uint)_Var1;\n        }" { (if_statement "if ((char)uVar3 != '\0') {\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }" if (parenthesized_expression "((char)uVar3 != '\0')" ( (binary_expression "(char)uVar3 != '\0'" (cast_expression "(char)uVar3" ( (type_descriptor "char" primitive_type) ) identifier) != (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            pbVar2 = *ppbVar5;\n            ppbVar5 = ppbVar5 + 1;\n            (*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);\n            pbVar2 = *ppbVar5;\n            goto joined_r0x0005fed2;\n          }" { (expression_statement "pbVar2 = *ppbVar5;" (assignment_expression "pbVar2 = *ppbVar5" identifier = (pointer_expression "*ppbVar5" * identifier)) ;) (expression_statement "ppbVar5 = ppbVar5 + 1;" (assignment_expression "ppbVar5 = ppbVar5 + 1" identifier = (binary_expression "ppbVar5 + 1" identifier + number_literal)) ;) (expression_statement "(*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4]);" (call_expression "(*((pbVar2->b).vtable)->or_)(pbVar2,pbVar2,bsetv[uVar4])" (parenthesized_expression "(*((pbVar2->b).vtable)->or_)" ( (pointer_expression "*((pbVar2->b).vtable)->or_" * (field_expression "((pbVar2->b).vtable)->or_" (parenthesized_expression "((pbVar2->b).vtable)" ( (field_expression "(pbVar2->b).vtable" (parenthesized_expression "(pbVar2->b)" ( (field_expression "pbVar2->b" identifier -> field_identifier) )) . field_identifier) )) -> field_identifier)) )) (argument_list "(pbVar2,pbVar2,bsetv[uVar4])" ( identifier , identifier , (subscript_expression "bsetv[uVar4]" identifier [ identifier ]) ))) ;) (expression_statement "pbVar2 = *ppbVar5;" (assignment_expression "pbVar2 = *ppbVar5" identifier = (pointer_expression "*ppbVar5" * identifier)) ;) (goto_statement "goto joined_r0x0005fed2;" goto statement_identifier ;) })) (expression_statement "ppbVar5 = ppbVar5 + 1;" (assignment_expression "ppbVar5 = ppbVar5 + 1" identifier = (binary_expression "ppbVar5 + 1" identifier + number_literal)) ;) (expression_statement "pbVar2 = *ppbVar5;" (assignment_expression "pbVar2 = *ppbVar5" identifier = (pointer_expression "*ppbVar5" * identifier)) ;) (if_statement "if (pbVar2 == (bitset_conflict)0x0) goto LAB_0005ff13;" if (parenthesized_expression "(pbVar2 == (bitset_conflict)0x0)" ( (binary_expression "pbVar2 == (bitset_conflict)0x0" identifier == (cast_expression "(bitset_conflict)0x0" ( (type_descriptor "bitset_conflict" type_identifier) ) number_literal)) )) (goto_statement "goto LAB_0005ff13;" goto statement_identifier ;)) (expression_statement "uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex;" (assignment_expression "uVar3 = (uVar4 >> 5) - (pbVar2->b).cindex" identifier = (binary_expression "(uVar4 >> 5) - (pbVar2->b).cindex" (parenthesized_expression "(uVar4 >> 5)" ( (binary_expression "uVar4 >> 5" identifier >> number_literal) )) - (field_expression "(pbVar2->b).cindex" (parenthesized_expression "(pbVar2->b)" ( (field_expression "pbVar2->b" identifier -> field_identifier) )) . field_identifier))) ;) (if_statement "if (uVar3 < (pbVar2->b).csize) break;" if (parenthesized_expression "(uVar3 < (pbVar2->b).csize)" ( (binary_expression "uVar3 < (pbVar2->b).csize" identifier < (field_expression "(pbVar2->b).csize" (parenthesized_expression "(pbVar2->b)" ( (field_expression "pbVar2->b" identifier -> field_identifier) )) . field_identifier)) )) (break_statement "break;" break ;)) (labeled_statement "LAB_0005ff3c:\n          _Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);" statement_identifier : (expression_statement "_Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4);" (assignment_expression "_Var1 = (*((pbVar2->b).vtable)->test)(pbVar2,uVar4)" identifier = (call_expression "(*((pbVar2->b).vtable)->test)(pbVar2,uVar4)" (parenthesized_expression "(*((pbVar2->b).vtable)->test)" ( (pointer_expression "*((pbVar2->b).vtable)->test" * (field_expression "((pbVar2->b).vtable)->test" (parenthesized_expression "((pbVar2->b).vtable)" ( (field_expression "(pbVar2->b).vtable" (parenthesized_expression "(pbVar2->b)" ( (field_expression "pbVar2->b" identifier -> field_identifier) )) . field_identifier) )) -> field_identifier)) )) (argument_list "(pbVar2,uVar4)" ( identifier , identifier )))) ;)) (expression_statement "uVar3 = (uint)_Var1;" (assignment_expression "uVar3 = (uint)_Var1" identifier = (cast_expression "(uint)_Var1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) })) }) while (parenthesized_expression "( true )" ( true )) ;) }))) (labeled_statement "LAB_0005ff13:\n    uVar4 = uVar4 + 1;" statement_identifier : (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;)) (if_statement "if (bsetv[uVar4] == (bitset_conflict)0x0) {\n      return;\n    }" if (parenthesized_expression "(bsetv[uVar4] == (bitset_conflict)0x0)" ( (binary_expression "bsetv[uVar4] == (bitset_conflict)0x0" (subscript_expression "bsetv[uVar4]" identifier [ identifier ]) == (cast_expression "(bitset_conflict)0x0" ( (type_descriptor "bitset_conflict" type_identifier) ) number_literal)) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (expression_statement "pbVar2 = *bsetv;" (assignment_expression "pbVar2 = *bsetv" identifier = (pointer_expression "*bsetv" * identifier)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "void FUN_0005fea0(int *param_1)\n\n{\n  int *piVar1;\n  uint uVar2;\n  uint uVar3;\n  int *piVar4;\n  \n  uVar3 = 0;\n  piVar1 = (int *)*param_1;\n  if (piVar1 == (int *)0x0) {\n    return;\n  }\n  do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );\n}\n\n" (function_definition "void FUN_0005fea0(int *param_1)\n\n{\n  int *piVar1;\n  uint uVar2;\n  uint uVar3;\n  int *piVar4;\n  \n  uVar3 = 0;\n  piVar1 = (int *)*param_1;\n  if (piVar1 == (int *)0x0) {\n    return;\n  }\n  do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );\n}" primitive_type (function_declarator "FUN_0005fea0(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int *piVar1;\n  uint uVar2;\n  uint uVar3;\n  int *piVar4;\n  \n  uVar3 = 0;\n  piVar1 = (int *)*param_1;\n  if (piVar1 == (int *)0x0) {\n    return;\n  }\n  do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );\n}" { (declaration "int *piVar1;" primitive_type (pointer_declarator "*piVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "int *piVar4;" primitive_type (pointer_declarator "*piVar4" * identifier) ;) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (expression_statement "piVar1 = (int *)*param_1;" (assignment_expression "piVar1 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (if_statement "if (piVar1 == (int *)0x0) {\n    return;\n  }" if (parenthesized_expression "(piVar1 == (int *)0x0)" ( (binary_expression "piVar1 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (do_statement "do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );" do (compound_statement "{\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  }" { (expression_statement "piVar4 = param_1;" (assignment_expression "piVar4 = param_1" identifier = identifier) ;) (labeled_statement "joined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }" statement_identifier : (if_statement "if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }" if (parenthesized_expression "(piVar1 != (int *)0x0)" ( (binary_expression "piVar1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }" { (expression_statement "uVar2 = (uVar3 >> 5) - piVar1[1];" (assignment_expression "uVar2 = (uVar3 >> 5) - piVar1[1]" identifier = (binary_expression "(uVar3 >> 5) - piVar1[1]" (parenthesized_expression "(uVar3 >> 5)" ( (binary_expression "uVar3 >> 5" identifier >> number_literal) )) - (subscript_expression "piVar1[1]" identifier [ number_literal ]))) ;) (if_statement "if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;" if (parenthesized_expression "((uint)piVar1[2] <= uVar2)" ( (binary_expression "(uint)piVar1[2] <= uVar2" (cast_expression "(uint)piVar1[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "piVar1[2]" identifier [ number_literal ])) <= identifier) )) (goto_statement "goto LAB_0005ff3c;" goto statement_identifier ;)) (do_statement "do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );" do (compound_statement "{\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      }" { (expression_statement "uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;" (assignment_expression "uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1" identifier = (binary_expression "*(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1" (binary_expression "*(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f)" (pointer_expression "*(uint *)(piVar1[3] + uVar2 * 4)" * (cast_expression "(uint *)(piVar1[3] + uVar2 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(piVar1[3] + uVar2 * 4)" ( (binary_expression "piVar1[3] + uVar2 * 4" (subscript_expression "piVar1[3]" identifier [ number_literal ]) + (binary_expression "uVar2 * 4" identifier * number_literal)) )))) >> (parenthesized_expression "((byte)uVar3 & 0x1f)" ( (binary_expression "(byte)uVar3 & 0x1f" (cast_expression "(byte)uVar3" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) ))) & number_literal)) ;) (while_statement "while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }" { (if_statement "if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }" if (parenthesized_expression "((char)uVar2 != '\0')" ( (binary_expression "(char)uVar2 != '\0'" (cast_expression "(char)uVar2" ( (type_descriptor "char" primitive_type) ) identifier) != (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }" { (expression_statement "piVar1 = (int *)*piVar4;" (assignment_expression "piVar1 = (int *)*piVar4" identifier = (cast_expression "(int *)*piVar4" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*piVar4" * identifier))) ;) (expression_statement "piVar4 = piVar4 + 1;" (assignment_expression "piVar4 = piVar4 + 1" identifier = (binary_expression "piVar4 + 1" identifier + number_literal)) ;) (expression_statement "(**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);" (call_expression "(**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3])" (parenthesized_expression "(**(code **)(*piVar1 + 0x4c))" ( (pointer_expression "**(code **)(*piVar1 + 0x4c)" * (pointer_expression "*(code **)(*piVar1 + 0x4c)" * (cast_expression "(code **)(*piVar1 + 0x4c)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*piVar1 + 0x4c)" ( (binary_expression "*piVar1 + 0x4c" (pointer_expression "*piVar1" * identifier) + number_literal) ))))) )) (argument_list "(piVar1,piVar1,param_1[uVar3])" ( identifier , identifier , (subscript_expression "param_1[uVar3]" identifier [ identifier ]) ))) ;) (expression_statement "piVar1 = (int *)*piVar4;" (assignment_expression "piVar1 = (int *)*piVar4" identifier = (cast_expression "(int *)*piVar4" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*piVar4" * identifier))) ;) (goto_statement "goto joined_r0x0005fed2;" goto statement_identifier ;) })) (expression_statement "piVar4 = piVar4 + 1;" (assignment_expression "piVar4 = piVar4 + 1" identifier = (binary_expression "piVar4 + 1" identifier + number_literal)) ;) (expression_statement "piVar1 = (int *)*piVar4;" (assignment_expression "piVar1 = (int *)*piVar4" identifier = (cast_expression "(int *)*piVar4" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*piVar4" * identifier))) ;) (if_statement "if (piVar1 == (int *)0x0) goto LAB_0005ff13;" if (parenthesized_expression "(piVar1 == (int *)0x0)" ( (binary_expression "piVar1 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (goto_statement "goto LAB_0005ff13;" goto statement_identifier ;)) (expression_statement "uVar2 = (uVar3 >> 5) - piVar1[1];" (assignment_expression "uVar2 = (uVar3 >> 5) - piVar1[1]" identifier = (binary_expression "(uVar3 >> 5) - piVar1[1]" (parenthesized_expression "(uVar3 >> 5)" ( (binary_expression "uVar3 >> 5" identifier >> number_literal) )) - (subscript_expression "piVar1[1]" identifier [ number_literal ]))) ;) (if_statement "if (uVar2 < (uint)piVar1[2]) break;" if (parenthesized_expression "(uVar2 < (uint)piVar1[2])" ( (binary_expression "uVar2 < (uint)piVar1[2]" identifier < (cast_expression "(uint)piVar1[2]" ( (type_descriptor "uint" type_identifier) ) (subscript_expression "piVar1[2]" identifier [ number_literal ]))) )) (break_statement "break;" break ;)) (labeled_statement "LAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);" statement_identifier : (expression_statement "uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);" (assignment_expression "uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3)" identifier = (call_expression "(**(code **)(*piVar1 + 0xc))(piVar1,uVar3)" (parenthesized_expression "(**(code **)(*piVar1 + 0xc))" ( (pointer_expression "**(code **)(*piVar1 + 0xc)" * (pointer_expression "*(code **)(*piVar1 + 0xc)" * (cast_expression "(code **)(*piVar1 + 0xc)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*piVar1 + 0xc)" ( (binary_expression "*piVar1 + 0xc" (pointer_expression "*piVar1" * identifier) + number_literal) ))))) )) (argument_list "(piVar1,uVar3)" ( identifier , identifier )))) ;)) })) }) while (parenthesized_expression "( true )" ( true )) ;) }))) (labeled_statement "LAB_0005ff13:\n    uVar3 = uVar3 + 1;" statement_identifier : (expression_statement "uVar3 = uVar3 + 1;" (assignment_expression "uVar3 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) ;)) (if_statement "if (param_1[uVar3] == 0) {\n      return;\n    }" if (parenthesized_expression "(param_1[uVar3] == 0)" ( (binary_expression "param_1[uVar3] == 0" (subscript_expression "param_1[uVar3]" identifier [ identifier ]) == number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (expression_statement "piVar1 = (int *)*param_1;" (assignment_expression "piVar1 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (return_statement return ;) })) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (labeled_statement statement_identifier : (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) - (subscript_expression IDENT [ LIT ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) <= IDENT) )) (goto_statement goto statement_identifier ;)) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) + (binary_expression IDENT * LIT)) )))) >> (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT) ))) & LIT)) ;) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) != (char_literal ' escape_sequence ')) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + LIT) ))))) )) (argument_list ( IDENT , IDENT , (subscript_expression IDENT [ IDENT ]) ))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (goto_statement goto statement_identifier ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) - (subscript_expression IDENT [ LIT ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) )) (break_statement break ;)) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + LIT) ))))) )) (argument_list ( IDENT , IDENT )))) ;)) })) }) while (parenthesized_expression ( BOOL )) ;) }))) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;)) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ IDENT ]) == LIT) )) (compound_statement { (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) }) while (parenthesized_expression ( BOOL )) ;) })))
(function_definition "void FUN_0005fea0(int *param_1)\n\n{\n  int *piVar1;\n  uint uVar2;\n  uint uVar3;\n  int *piVar4;\n  \n  uVar3 = 0;\n  piVar1 = (int *)*param_1;\n  if (piVar1 == (int *)0x0) {\n    return;\n  }\n  do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );\n}" (primitive_type "void") (function_declarator "FUN_0005fea0(int *param_1)" (identifier "FUN_0005fea0") (parameter_list "(int *param_1)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  int *piVar1;\n  uint uVar2;\n  uint uVar3;\n  int *piVar4;\n  \n  uVar3 = 0;\n  piVar1 = (int *)*param_1;\n  if (piVar1 == (int *)0x0) {\n    return;\n  }\n  do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );\n}" ({ "{") (declaration "int *piVar1;" (primitive_type "int") (pointer_declarator "*piVar1" (* "*") (identifier "piVar1")) (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "int *piVar4;" (primitive_type "int") (pointer_declarator "*piVar4" (* "*") (identifier "piVar4")) (; ";")) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" (identifier "uVar3") (= "=") (number_literal "0")) (; ";")) (expression_statement "piVar1 = (int *)*param_1;" (assignment_expression "piVar1 = (int *)*param_1" (identifier "piVar1") (= "=") (cast_expression "(int *)*param_1" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) (; ";")) (if_statement "if (piVar1 == (int *)0x0) {\n    return;\n  }" (if "if") (parenthesized_expression "(piVar1 == (int *)0x0)" (( "(") (binary_expression "piVar1 == (int *)0x0" (identifier "piVar1") (== "==") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n    return;\n  }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (do_statement "do {\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  } while( true );" (do "do") (compound_statement "{\n    piVar4 = param_1;\njoined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }\nLAB_0005ff13:\n    uVar3 = uVar3 + 1;\n    if (param_1[uVar3] == 0) {\n      return;\n    }\n    piVar1 = (int *)*param_1;\n  }" ({ "{") (expression_statement "piVar4 = param_1;" (assignment_expression "piVar4 = param_1" (identifier "piVar4") (= "=") (identifier "param_1")) (; ";")) (labeled_statement "joined_r0x0005fed2:\n    if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }" (statement_identifier "joined_r0x0005fed2") (: ":") (if_statement "if (piVar1 != (int *)0x0) {\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }" (if "if") (parenthesized_expression "(piVar1 != (int *)0x0)" (( "(") (binary_expression "piVar1 != (int *)0x0" (identifier "piVar1") (!= "!=") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n      uVar2 = (uVar3 >> 5) - piVar1[1];\n      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;\n      do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );\n    }" ({ "{") (expression_statement "uVar2 = (uVar3 >> 5) - piVar1[1];" (assignment_expression "uVar2 = (uVar3 >> 5) - piVar1[1]" (identifier "uVar2") (= "=") (binary_expression "(uVar3 >> 5) - piVar1[1]" (parenthesized_expression "(uVar3 >> 5)" (( "(") (binary_expression "uVar3 >> 5" (identifier "uVar3") (>> ">>") (number_literal "5")) () ")")) (- "-") (subscript_expression "piVar1[1]" (identifier "piVar1") ([ "[") (number_literal "1") (] "]")))) (; ";")) (if_statement "if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;" (if "if") (parenthesized_expression "((uint)piVar1[2] <= uVar2)" (( "(") (binary_expression "(uint)piVar1[2] <= uVar2" (cast_expression "(uint)piVar1[2]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (subscript_expression "piVar1[2]" (identifier "piVar1") ([ "[") (number_literal "2") (] "]"))) (<= "<=") (identifier "uVar2")) () ")")) (goto_statement "goto LAB_0005ff3c;" (goto "goto") (statement_identifier "LAB_0005ff3c") (; ";"))) (do_statement "do {\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      } while( true );" (do "do") (compound_statement "{\n        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;\n        while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }\n      }" ({ "{") (expression_statement "uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;" (assignment_expression "uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1" (identifier "uVar2") (= "=") (binary_expression "*(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1" (binary_expression "*(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f)" (pointer_expression "*(uint *)(piVar1[3] + uVar2 * 4)" (* "*") (cast_expression "(uint *)(piVar1[3] + uVar2 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(piVar1[3] + uVar2 * 4)" (( "(") (binary_expression "piVar1[3] + uVar2 * 4" (subscript_expression "piVar1[3]" (identifier "piVar1") ([ "[") (number_literal "3") (] "]")) (+ "+") (binary_expression "uVar2 * 4" (identifier "uVar2") (* "*") (number_literal "4"))) () ")")))) (>> ">>") (parenthesized_expression "((byte)uVar3 & 0x1f)" (( "(") (binary_expression "(byte)uVar3 & 0x1f" (cast_expression "(byte)uVar3" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar3")) (& "&") (number_literal "0x1f")) () ")"))) (& "&") (number_literal "1"))) (; ";")) (while_statement "while( true ) {\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n          if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }\n          piVar4 = piVar4 + 1;\n          piVar1 = (int *)*piVar4;\n          if (piVar1 == (int *)0x0) goto LAB_0005ff13;\n          uVar2 = (uVar3 >> 5) - piVar1[1];\n          if (uVar2 < (uint)piVar1[2]) break;\nLAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);\n        }" ({ "{") (if_statement "if ((char)uVar2 != '\0') {\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }" (if "if") (parenthesized_expression "((char)uVar2 != '\0')" (( "(") (binary_expression "(char)uVar2 != '\0'" (cast_expression "(char)uVar2" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (identifier "uVar2")) (!= "!=") (char_literal "'\0'" (' "'") (escape_sequence "\0") (' "'"))) () ")")) (compound_statement "{\n            piVar1 = (int *)*piVar4;\n            piVar4 = piVar4 + 1;\n            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);\n            piVar1 = (int *)*piVar4;\n            goto joined_r0x0005fed2;\n          }" ({ "{") (expression_statement "piVar1 = (int *)*piVar4;" (assignment_expression "piVar1 = (int *)*piVar4" (identifier "piVar1") (= "=") (cast_expression "(int *)*piVar4" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*piVar4" (* "*") (identifier "piVar4")))) (; ";")) (expression_statement "piVar4 = piVar4 + 1;" (assignment_expression "piVar4 = piVar4 + 1" (identifier "piVar4") (= "=") (binary_expression "piVar4 + 1" (identifier "piVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "(**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);" (call_expression "(**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3])" (parenthesized_expression "(**(code **)(*piVar1 + 0x4c))" (( "(") (pointer_expression "**(code **)(*piVar1 + 0x4c)" (* "*") (pointer_expression "*(code **)(*piVar1 + 0x4c)" (* "*") (cast_expression "(code **)(*piVar1 + 0x4c)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*piVar1 + 0x4c)" (( "(") (binary_expression "*piVar1 + 0x4c" (pointer_expression "*piVar1" (* "*") (identifier "piVar1")) (+ "+") (number_literal "0x4c")) () ")"))))) () ")")) (argument_list "(piVar1,piVar1,param_1[uVar3])" (( "(") (identifier "piVar1") (, ",") (identifier "piVar1") (, ",") (subscript_expression "param_1[uVar3]" (identifier "param_1") ([ "[") (identifier "uVar3") (] "]")) () ")"))) (; ";")) (expression_statement "piVar1 = (int *)*piVar4;" (assignment_expression "piVar1 = (int *)*piVar4" (identifier "piVar1") (= "=") (cast_expression "(int *)*piVar4" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*piVar4" (* "*") (identifier "piVar4")))) (; ";")) (goto_statement "goto joined_r0x0005fed2;" (goto "goto") (statement_identifier "joined_r0x0005fed2") (; ";")) (} "}"))) (expression_statement "piVar4 = piVar4 + 1;" (assignment_expression "piVar4 = piVar4 + 1" (identifier "piVar4") (= "=") (binary_expression "piVar4 + 1" (identifier "piVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar1 = (int *)*piVar4;" (assignment_expression "piVar1 = (int *)*piVar4" (identifier "piVar1") (= "=") (cast_expression "(int *)*piVar4" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*piVar4" (* "*") (identifier "piVar4")))) (; ";")) (if_statement "if (piVar1 == (int *)0x0) goto LAB_0005ff13;" (if "if") (parenthesized_expression "(piVar1 == (int *)0x0)" (( "(") (binary_expression "piVar1 == (int *)0x0" (identifier "piVar1") (== "==") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (goto_statement "goto LAB_0005ff13;" (goto "goto") (statement_identifier "LAB_0005ff13") (; ";"))) (expression_statement "uVar2 = (uVar3 >> 5) - piVar1[1];" (assignment_expression "uVar2 = (uVar3 >> 5) - piVar1[1]" (identifier "uVar2") (= "=") (binary_expression "(uVar3 >> 5) - piVar1[1]" (parenthesized_expression "(uVar3 >> 5)" (( "(") (binary_expression "uVar3 >> 5" (identifier "uVar3") (>> ">>") (number_literal "5")) () ")")) (- "-") (subscript_expression "piVar1[1]" (identifier "piVar1") ([ "[") (number_literal "1") (] "]")))) (; ";")) (if_statement "if (uVar2 < (uint)piVar1[2]) break;" (if "if") (parenthesized_expression "(uVar2 < (uint)piVar1[2])" (( "(") (binary_expression "uVar2 < (uint)piVar1[2]" (identifier "uVar2") (< "<") (cast_expression "(uint)piVar1[2]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (subscript_expression "piVar1[2]" (identifier "piVar1") ([ "[") (number_literal "2") (] "]")))) () ")")) (break_statement "break;" (break "break") (; ";"))) (labeled_statement "LAB_0005ff3c:\n          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);" (statement_identifier "LAB_0005ff3c") (: ":") (expression_statement "uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);" (assignment_expression "uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3)" (identifier "uVar2") (= "=") (call_expression "(**(code **)(*piVar1 + 0xc))(piVar1,uVar3)" (parenthesized_expression "(**(code **)(*piVar1 + 0xc))" (( "(") (pointer_expression "**(code **)(*piVar1 + 0xc)" (* "*") (pointer_expression "*(code **)(*piVar1 + 0xc)" (* "*") (cast_expression "(code **)(*piVar1 + 0xc)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*piVar1 + 0xc)" (( "(") (binary_expression "*piVar1 + 0xc" (pointer_expression "*piVar1" (* "*") (identifier "piVar1")) (+ "+") (number_literal "0xc")) () ")"))))) () ")")) (argument_list "(piVar1,uVar3)" (( "(") (identifier "piVar1") (, ",") (identifier "uVar3") () ")")))) (; ";"))) (} "}"))) (} "}")) (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (; ";")) (} "}")))) (labeled_statement "LAB_0005ff13:\n    uVar3 = uVar3 + 1;" (statement_identifier "LAB_0005ff13") (: ":") (expression_statement "uVar3 = uVar3 + 1;" (assignment_expression "uVar3 = uVar3 + 1" (identifier "uVar3") (= "=") (binary_expression "uVar3 + 1" (identifier "uVar3") (+ "+") (number_literal "1"))) (; ";"))) (if_statement "if (param_1[uVar3] == 0) {\n      return;\n    }" (if "if") (parenthesized_expression "(param_1[uVar3] == 0)" (( "(") (binary_expression "param_1[uVar3] == 0" (subscript_expression "param_1[uVar3]" (identifier "param_1") ([ "[") (identifier "uVar3") (] "]")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      return;\n    }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "piVar1 = (int *)*param_1;" (assignment_expression "piVar1 = (int *)*param_1" (identifier "piVar1") (= "=") (cast_expression "(int *)*param_1" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) (; ";")) (} "}")) (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

void function_1(type_1 bsetv)

{
  type_2 _Var1;
  type_3 var_1;
  type_4 var_3;
  type_4 var_2;
  type_1 var_4;
  
  var_2 = 0;
  var_1 = *bsetv;
  if (var_1 == (type_3)0x0) {
    return;
  }
  do {
    var_4 = bsetv;
joined_r0x0005fed2:
    if (var_1 != (type_3)0x0) {
      var_3 = (var_2 >> 5) - (var_1->b).cindex;
      if ((var_1->b).csize <= var_3) goto LAB_0005ff3c;
      do {
        var_3 = (var_1->b).cdata[var_3] >> ((type_5)var_2 & 0x1f) & 1;
        while( true ) {
          if ((char)var_3 != '\0') {
            var_1 = *var_4;
            var_4 = var_4 + 1;
            (*((var_1->b).vtable)->or_)(var_1,var_1,bsetv[var_2]);
            var_1 = *var_4;
            goto joined_r0x0005fed2;
          }
          var_4 = var_4 + 1;
          var_1 = *var_4;
          if (var_1 == (type_3)0x0) goto LAB_0005ff13;
          var_3 = (var_2 >> 5) - (var_1->b).cindex;
          if (var_3 < (var_1->b).csize) break;
LAB_0005ff3c:
          _Var1 = (*((var_1->b).vtable)->test)(var_1,var_2);
          var_3 = (type_4)_Var1;
        }
      } while( true );
    }
LAB_0005ff13:
    var_2 = var_2 + 1;
    if (bsetv[var_2] == (type_3)0x0) {
      return;
    }
    var_1 = *bsetv;
  } while( true );
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) 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: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (return_statement))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))) (labeled_statement label: (statement_identifier) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (subscript_expression argument: (identifier) index: (number_literal))))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (identifier))) consequence: (goto_statement label: (statement_identifier))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))))) right: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (number_literal)))) right: (number_literal)))) (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (char_literal (escape_sequence)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))))))) arguments: (argument_list (identifier) (identifier) (subscript_expression argument: (identifier) index: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier))))) (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: (cast_expression type: (type_descriptor type: (primitive_type) 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: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (subscript_expression argument: (identifier) index: (number_literal))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))))) consequence: (break_statement)) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))))))) arguments: (argument_list (identifier) (identifier))))))))) condition: (parenthesized_expression (true)))))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (number_literal))) consequence: (compound_statement (return_statement))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier)))))) condition: (parenthesized_expression (true))))))

void MASKED(int *param_1)

{
  int *piVar1;
  uint uVar2;
  uint uVar3;
  int *piVar4;
  
  uVar3 = 0;
  piVar1 = (int *)*param_1;
  if (piVar1 == (int *)0x0) {
    return;
  }
  do {
    piVar4 = param_1;
joined_r0x0005fed2:
    if (piVar1 != (int *)0x0) {
      uVar2 = (uVar3 >> 5) - piVar1[1];
      if ((uint)piVar1[2] <= uVar2) goto LAB_0005ff3c;
      do {
        uVar2 = *(uint *)(piVar1[3] + uVar2 * 4) >> ((byte)uVar3 & 0x1f) & 1;
        while( true ) {
          if ((char)uVar2 != '\0') {
            piVar1 = (int *)*piVar4;
            piVar4 = piVar4 + 1;
            (**(code **)(*piVar1 + 0x4c))(piVar1,piVar1,param_1[uVar3]);
            piVar1 = (int *)*piVar4;
            goto joined_r0x0005fed2;
          }
          piVar4 = piVar4 + 1;
          piVar1 = (int *)*piVar4;
          if (piVar1 == (int *)0x0) goto LAB_0005ff13;
          uVar2 = (uVar3 >> 5) - piVar1[1];
          if (uVar2 < (uint)piVar1[2]) break;
LAB_0005ff3c:
          uVar2 = (**(code **)(*piVar1 + 0xc))(piVar1,uVar3);
        }
      } while( true );
    }
LAB_0005ff13:
    uVar3 = uVar3 + 1;
    if (param_1[uVar3] == 0) {
      return;
    }
    piVar1 = (int *)*param_1;
  } while( true );
}

