
void internal_add_shifted(BignumInt *number,BignumInt n,int shift)

{
  uint uVar1;
  uint *puVar2;
  byte bVar3;
  int extraout_ECX;
  int iVar4;
  uint uVar5;
  uint uVar6;
  int unaff_EDI;
  undefined8 uVar7;
  uint uVar8;
  uint local_24;
  
  uVar7 = __x86_get_pc_thunk_di();
  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);
  puVar2 = (uint *)uVar7;
  iVar4 = extraout_ECX + 0x1f;
  if (-1 < extraout_ECX) {
    iVar4 = extraout_ECX;
  }
  local_24 = 0;
  iVar4 = iVar4 >> 5;
  bVar3 = (byte)(extraout_ECX % 0x20);
  uVar5 = uVar8 << (bVar3 & 0x1f);
  if (extraout_ECX % 0x20 != 0) {
    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);
  }
  if (*puVar2 < iVar4 + 1U) {
    uVar8 = 0x200;
  }
  else {
    uVar8 = puVar2[iVar4 + 1U];
    uVar1 = (uint)CARRY4(uVar5,uVar8);
    puVar2[iVar4 + 1U] = uVar8 + uVar5;
    if (local_24 == 0 && uVar1 == 0) {
      return;
    }
    if (*puVar2 < iVar4 + 2U) {
      uVar8 = 0x205;
    }
    else {
      uVar5 = puVar2[iVar4 + 2];
      uVar6 = uVar5 + uVar1;
      puVar2[iVar4 + 2] = local_24 + uVar6;
      uVar8 = iVar4 + 3;
      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {
        return;
      }
      if (uVar8 <= *puVar2) {
        do {
          uVar5 = puVar2[uVar8];
          puVar2[uVar8] = uVar5 + 1;
          uVar8 = uVar8 + 1;
          if (uVar5 != 0xffffffff) {
            return;
          }
        } while (uVar8 <= *puVar2);
      }
      uVar8 = 0x209;
    }
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,
                (char *)(unaff_EDI + 0x387cd));
}



void FUN_000448d0(void)

{
  uint uVar1;
  uint *puVar2;
  byte bVar3;
  int extraout_ECX;
  int iVar4;
  uint uVar5;
  uint uVar6;
  int unaff_EDI;
  undefined8 uVar7;
  uint uVar8;
  uint local_24;
  
  uVar7 = FUN_00040b5b();
  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);
  puVar2 = (uint *)uVar7;
  iVar4 = extraout_ECX + 0x1f;
  if (-1 < extraout_ECX) {
    iVar4 = extraout_ECX;
  }
  local_24 = 0;
  iVar4 = iVar4 >> 5;
  bVar3 = (byte)(extraout_ECX % 0x20);
  uVar5 = uVar8 << (bVar3 & 0x1f);
  if (extraout_ECX % 0x20 != 0) {
    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);
  }
  if (*puVar2 < iVar4 + 1U) {
    uVar8 = 0x200;
  }
  else {
    uVar8 = puVar2[iVar4 + 1U];
    uVar1 = (uint)CARRY4(uVar5,uVar8);
    puVar2[iVar4 + 1U] = uVar8 + uVar5;
    if (local_24 == 0 && uVar1 == 0) {
      return;
    }
    if (*puVar2 < iVar4 + 2U) {
      uVar8 = 0x205;
    }
    else {
      uVar5 = puVar2[iVar4 + 2];
      uVar6 = uVar5 + uVar1;
      puVar2[iVar4 + 2] = local_24 + uVar6;
      uVar8 = iVar4 + 3;
      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {
        return;
      }
      if (uVar8 <= *puVar2) {
        do {
          uVar5 = puVar2[uVar8];
          puVar2[uVar8] = uVar5 + 1;
          uVar8 = uVar8 + 1;
          if (uVar5 != 0xffffffff) {
            return;
          }
        } while (uVar8 <= *puVar2);
      }
      uVar8 = 0x209;
    }
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,
                (char *)(unaff_EDI + 0x387cd));
}


PUSH EBP
PUSH EDI
CALL 0x00040b5b
ADD EDI,0x654b9
PUSH ESI
MOV ESI,ECX
PUSH EBX
LEA EBX,[ECX + 0x1f]
SUB ESP,0x1c
TEST ECX,ECX
CMOVNS EBX,ECX
SAR ESI,0x1f
MOV dword ptr [ESP + 0x8],0x0
SHR ESI,0x1b
MOV dword ptr [ESP + 0xc],EDI
ADD ECX,ESI
SAR EBX,0x5
AND ECX,0x1f
MOV EBP,EBX
ADD EBX,0x1
SUB ECX,ESI
MOV ESI,EDX
SHL ESI,CL
TEST ECX,ECX
JZ 0x00044924
MOV EDI,0x20
SUB EDI,ECX
MOV ECX,EDI
SHR EDX,CL
MOV dword ptr [ESP + 0x8],EDX
CMP dword ptr [EAX],EBX
JC 0x000449eb
LEA EDX,[EBX*0x4 + 0x0]
XOR EDI,EDI
MOV dword ptr [ESP + 0x4],0x0
LEA EBX,[EAX + EDX*0x1]
MOV ECX,dword ptr [EBX]
MOV dword ptr [ESP],ECX
ADD ECX,ESI
ADD ESI,dword ptr [ESP]
ADC EDI,dword ptr [ESP + 0x4]
MOV dword ptr [EBX],ECX
MOV ESI,EDI
XOR EDI,EDI
MOV EBX,EDI
MOV EDI,dword ptr [ESP + 0x8]
MOV ECX,ESI
OR EDI,ESI
JZ 0x000449ae
LEA ESI,[EBP + 0x2]
CMP dword ptr [EAX],ESI
JC 0x000449d9
LEA EDX,[EAX + EDX*0x1 + 0x4]
XOR EDI,EDI
MOV ESI,dword ptr [EDX]
ADD ESI,ECX
MOV ECX,dword ptr [ESP + 0x8]
ADC EDI,EBX
XOR EBX,EBX
ADD ECX,ESI
ADC EBX,EDI
MOV dword ptr [EDX],ECX
LEA EDX,[EBP + 0x3]
TEST EBX,EBX
JZ 0x000449ae
CMP EDX,dword ptr [EAX]
JBE 0x00044994
JMP 0x000449b6
CMP dword ptr [EAX],EDX
JC 0x000449b6
MOV ECX,dword ptr [EAX + EDX*0x4]
XOR EDI,EDI
MOV ESI,ECX
ADD ECX,0x1
MOV dword ptr [EAX + EDX*0x4],ECX
ADD EDX,0x1
ADD ESI,0x1
ADC EDI,0x0
TEST EDI,EDI
JNZ 0x00044990
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV EBX,dword ptr [ESP + 0xc]
LEA EAX,[EBX + 0xfffd3314]
PUSH EAX
PUSH 0x209
LEA EAX,[EBX + 0xfffd3158]
PUSH EAX
LEA EAX,[EBX + 0xfffd317e]
PUSH EAX
CALL 0x00014870
MOV EBX,dword ptr [ESP + 0xc]
LEA EAX,[EBX + 0xfffd3314]
PUSH EAX
PUSH 0x205
JMP 0x000449c6
MOV EBX,dword ptr [ESP + 0xc]
LEA EAX,[EBX + 0xfffd3314]
PUSH EAX
PUSH 0x200
JMP 0x000449c6
(translation_unit "void FUN_000448d0(void)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = FUN_00040b5b();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}\n\n" (function_definition "void FUN_000448d0(void)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = FUN_00040b5b();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}" primitive_type (function_declarator "FUN_000448d0(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = FUN_00040b5b();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "int extraout_ECX;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int unaff_EDI;" primitive_type identifier ;) (declaration "undefined8 uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint local_24;" type_identifier identifier ;) (expression_statement "uVar7 = FUN_00040b5b();" (assignment_expression "uVar7 = FUN_00040b5b()" identifier = (call_expression "FUN_00040b5b()" identifier (argument_list "()" ( )))) ;) (expression_statement "uVar8 = (uint)((ulonglong)uVar7 >> 0x20);" (assignment_expression "uVar8 = (uint)((ulonglong)uVar7 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)uVar7 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar7 >> 0x20" (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "puVar2 = (uint *)uVar7;" (assignment_expression "puVar2 = (uint *)uVar7" identifier = (cast_expression "(uint *)uVar7" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (expression_statement "iVar4 = extraout_ECX + 0x1f;" (assignment_expression "iVar4 = extraout_ECX + 0x1f" identifier = (binary_expression "extraout_ECX + 0x1f" identifier + number_literal)) ;) (if_statement "if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }" if (parenthesized_expression "(-1 < extraout_ECX)" ( (binary_expression "-1 < extraout_ECX" number_literal < identifier) )) (compound_statement "{\n    iVar4 = extraout_ECX;\n  }" { (expression_statement "iVar4 = extraout_ECX;" (assignment_expression "iVar4 = extraout_ECX" identifier = identifier) ;) })) (expression_statement "local_24 = 0;" (assignment_expression "local_24 = 0" identifier = number_literal) ;) (expression_statement "iVar4 = iVar4 >> 5;" (assignment_expression "iVar4 = iVar4 >> 5" identifier = (binary_expression "iVar4 >> 5" identifier >> number_literal)) ;) (expression_statement "bVar3 = (byte)(extraout_ECX % 0x20);" (assignment_expression "bVar3 = (byte)(extraout_ECX % 0x20)" identifier = (call_expression "(byte)(extraout_ECX % 0x20)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(extraout_ECX % 0x20)" ( (binary_expression "extraout_ECX % 0x20" identifier % number_literal) )))) ;) (expression_statement "uVar5 = uVar8 << (bVar3 & 0x1f);" (assignment_expression "uVar5 = uVar8 << (bVar3 & 0x1f)" identifier = (binary_expression "uVar8 << (bVar3 & 0x1f)" identifier << (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (if_statement "if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }" if (parenthesized_expression "(extraout_ECX % 0x20 != 0)" ( (binary_expression "extraout_ECX % 0x20 != 0" (binary_expression "extraout_ECX % 0x20" identifier % number_literal) != number_literal) )) (compound_statement "{\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }" { (expression_statement "local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);" (assignment_expression "local_24 = uVar8 >> (0x20 - bVar3 & 0x1f)" identifier = (binary_expression "uVar8 >> (0x20 - bVar3 & 0x1f)" identifier >> (parenthesized_expression "(0x20 - bVar3 & 0x1f)" ( (binary_expression "0x20 - bVar3 & 0x1f" (binary_expression "0x20 - bVar3" number_literal - identifier) & number_literal) )))) ;) })) (if_statement "if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" if (parenthesized_expression "(*puVar2 < iVar4 + 1U)" ( (binary_expression "*puVar2 < iVar4 + 1U" (pointer_expression "*puVar2" * identifier) < (binary_expression "iVar4 + 1U" identifier + number_literal)) )) (compound_statement "{\n    uVar8 = 0x200;\n  }" { (expression_statement "uVar8 = 0x200;" (assignment_expression "uVar8 = 0x200" identifier = number_literal) ;) }) (else_clause "else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" else (compound_statement "{\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" { (expression_statement "uVar8 = puVar2[iVar4 + 1U];" (assignment_expression "uVar8 = puVar2[iVar4 + 1U]" identifier = (subscript_expression "puVar2[iVar4 + 1U]" identifier [ (binary_expression "iVar4 + 1U" identifier + number_literal) ])) ;) (expression_statement "uVar1 = (uint)CARRY4(uVar5,uVar8);" (assignment_expression "uVar1 = (uint)CARRY4(uVar5,uVar8)" identifier = (cast_expression "(uint)CARRY4(uVar5,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar5,uVar8)" identifier (argument_list "(uVar5,uVar8)" ( identifier , identifier ))))) ;) (expression_statement "puVar2[iVar4 + 1U] = uVar8 + uVar5;" (assignment_expression "puVar2[iVar4 + 1U] = uVar8 + uVar5" (subscript_expression "puVar2[iVar4 + 1U]" identifier [ (binary_expression "iVar4 + 1U" identifier + number_literal) ]) = (binary_expression "uVar8 + uVar5" identifier + identifier)) ;) (if_statement "if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }" if (parenthesized_expression "(local_24 == 0 && uVar1 == 0)" ( (binary_expression "local_24 == 0 && uVar1 == 0" (binary_expression "local_24 == 0" identifier == number_literal) && (binary_expression "uVar1 == 0" identifier == number_literal)) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (if_statement "if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" if (parenthesized_expression "(*puVar2 < iVar4 + 2U)" ( (binary_expression "*puVar2 < iVar4 + 2U" (pointer_expression "*puVar2" * identifier) < (binary_expression "iVar4 + 2U" identifier + number_literal)) )) (compound_statement "{\n      uVar8 = 0x205;\n    }" { (expression_statement "uVar8 = 0x205;" (assignment_expression "uVar8 = 0x205" identifier = number_literal) ;) }) (else_clause "else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" else (compound_statement "{\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" { (expression_statement "uVar5 = puVar2[iVar4 + 2];" (assignment_expression "uVar5 = puVar2[iVar4 + 2]" identifier = (subscript_expression "puVar2[iVar4 + 2]" identifier [ (binary_expression "iVar4 + 2" identifier + number_literal) ])) ;) (expression_statement "uVar6 = uVar5 + uVar1;" (assignment_expression "uVar6 = uVar5 + uVar1" identifier = (binary_expression "uVar5 + uVar1" identifier + identifier)) ;) (expression_statement "puVar2[iVar4 + 2] = local_24 + uVar6;" (assignment_expression "puVar2[iVar4 + 2] = local_24 + uVar6" (subscript_expression "puVar2[iVar4 + 2]" identifier [ (binary_expression "iVar4 + 2" identifier + number_literal) ]) = (binary_expression "local_24 + uVar6" identifier + identifier)) ;) (expression_statement "uVar8 = iVar4 + 3;" (assignment_expression "uVar8 = iVar4 + 3" identifier = (binary_expression "iVar4 + 3" identifier + number_literal)) ;) (if_statement "if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }" if (parenthesized_expression "((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0')" ( (binary_expression "(char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0'" (cast_expression "(char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6))" ( (type_descriptor "char" primitive_type) ) (parenthesized_expression "(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6))" ( (binary_expression "CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)" (call_expression "CARRY4(uVar5,uVar1)" identifier (argument_list "(uVar5,uVar1)" ( identifier , identifier ))) + (call_expression "CARRY4(local_24,uVar6)" identifier (argument_list "(local_24,uVar6)" ( identifier , identifier )))) ))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (if_statement "if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }" if (parenthesized_expression "(uVar8 <= *puVar2)" ( (binary_expression "uVar8 <= *puVar2" identifier <= (pointer_expression "*puVar2" * identifier)) )) (compound_statement "{\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }" { (do_statement "do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);" do (compound_statement "{\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        }" { (expression_statement "uVar5 = puVar2[uVar8];" (assignment_expression "uVar5 = puVar2[uVar8]" identifier = (subscript_expression "puVar2[uVar8]" identifier [ identifier ])) ;) (expression_statement "puVar2[uVar8] = uVar5 + 1;" (assignment_expression "puVar2[uVar8] = uVar5 + 1" (subscript_expression "puVar2[uVar8]" identifier [ identifier ]) = (binary_expression "uVar5 + 1" identifier + number_literal)) ;) (expression_statement "uVar8 = uVar8 + 1;" (assignment_expression "uVar8 = uVar8 + 1" identifier = (binary_expression "uVar8 + 1" identifier + number_literal)) ;) (if_statement "if (uVar5 != 0xffffffff) {\n            return;\n          }" if (parenthesized_expression "(uVar5 != 0xffffffff)" ( (binary_expression "uVar5 != 0xffffffff" identifier != number_literal) )) (compound_statement "{\n            return;\n          }" { (return_statement "return;" return ;) })) }) while (parenthesized_expression "(uVar8 <= *puVar2)" ( (binary_expression "uVar8 <= *puVar2" identifier <= (pointer_expression "*puVar2" * identifier)) )) ;) })) (expression_statement "uVar8 = 0x209;" (assignment_expression "uVar8 = 0x209" identifier = number_literal) ;) }))) }))) comment (expression_statement "__assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));" (call_expression "__assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd))" identifier (argument_list "((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd))" ( (cast_expression "(char *)(unaff_EDI + 0x38637)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x38637)" ( (binary_expression "unaff_EDI + 0x38637" identifier + number_literal) ))) , (cast_expression "(char *)(unaff_EDI + 0x38611)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x38611)" ( (binary_expression "unaff_EDI + 0x38611" identifier + number_literal) ))) , identifier , (cast_expression "(char *)(unaff_EDI + 0x387cd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x387cd)" ( (binary_expression "unaff_EDI + 0x387cd" identifier + number_literal) ))) ))) ;) })))
(translation_unit "void internal_add_shifted(BignumInt *number,BignumInt n,int shift)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = __x86_get_pc_thunk_di();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}\n\n" (function_definition "void internal_add_shifted(BignumInt *number,BignumInt n,int shift)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = __x86_get_pc_thunk_di();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}" primitive_type (function_declarator "internal_add_shifted(BignumInt *number,BignumInt n,int shift)" identifier (parameter_list "(BignumInt *number,BignumInt n,int shift)" ( (parameter_declaration "BignumInt *number" type_identifier (pointer_declarator "*number" * identifier)) , (parameter_declaration "BignumInt n" type_identifier identifier) , (parameter_declaration "int shift" primitive_type identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = __x86_get_pc_thunk_di();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "int extraout_ECX;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int unaff_EDI;" primitive_type identifier ;) (declaration "undefined8 uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint local_24;" type_identifier identifier ;) (expression_statement "uVar7 = __x86_get_pc_thunk_di();" (assignment_expression "uVar7 = __x86_get_pc_thunk_di()" identifier = (call_expression "__x86_get_pc_thunk_di()" identifier (argument_list "()" ( )))) ;) (expression_statement "uVar8 = (uint)((ulonglong)uVar7 >> 0x20);" (assignment_expression "uVar8 = (uint)((ulonglong)uVar7 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)uVar7 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar7 >> 0x20" (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "puVar2 = (uint *)uVar7;" (assignment_expression "puVar2 = (uint *)uVar7" identifier = (cast_expression "(uint *)uVar7" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (expression_statement "iVar4 = extraout_ECX + 0x1f;" (assignment_expression "iVar4 = extraout_ECX + 0x1f" identifier = (binary_expression "extraout_ECX + 0x1f" identifier + number_literal)) ;) (if_statement "if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }" if (parenthesized_expression "(-1 < extraout_ECX)" ( (binary_expression "-1 < extraout_ECX" number_literal < identifier) )) (compound_statement "{\n    iVar4 = extraout_ECX;\n  }" { (expression_statement "iVar4 = extraout_ECX;" (assignment_expression "iVar4 = extraout_ECX" identifier = identifier) ;) })) (expression_statement "local_24 = 0;" (assignment_expression "local_24 = 0" identifier = number_literal) ;) (expression_statement "iVar4 = iVar4 >> 5;" (assignment_expression "iVar4 = iVar4 >> 5" identifier = (binary_expression "iVar4 >> 5" identifier >> number_literal)) ;) (expression_statement "bVar3 = (byte)(extraout_ECX % 0x20);" (assignment_expression "bVar3 = (byte)(extraout_ECX % 0x20)" identifier = (call_expression "(byte)(extraout_ECX % 0x20)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(extraout_ECX % 0x20)" ( (binary_expression "extraout_ECX % 0x20" identifier % number_literal) )))) ;) (expression_statement "uVar5 = uVar8 << (bVar3 & 0x1f);" (assignment_expression "uVar5 = uVar8 << (bVar3 & 0x1f)" identifier = (binary_expression "uVar8 << (bVar3 & 0x1f)" identifier << (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (if_statement "if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }" if (parenthesized_expression "(extraout_ECX % 0x20 != 0)" ( (binary_expression "extraout_ECX % 0x20 != 0" (binary_expression "extraout_ECX % 0x20" identifier % number_literal) != number_literal) )) (compound_statement "{\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }" { (expression_statement "local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);" (assignment_expression "local_24 = uVar8 >> (0x20 - bVar3 & 0x1f)" identifier = (binary_expression "uVar8 >> (0x20 - bVar3 & 0x1f)" identifier >> (parenthesized_expression "(0x20 - bVar3 & 0x1f)" ( (binary_expression "0x20 - bVar3 & 0x1f" (binary_expression "0x20 - bVar3" number_literal - identifier) & number_literal) )))) ;) })) (if_statement "if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" if (parenthesized_expression "(*puVar2 < iVar4 + 1U)" ( (binary_expression "*puVar2 < iVar4 + 1U" (pointer_expression "*puVar2" * identifier) < (binary_expression "iVar4 + 1U" identifier + number_literal)) )) (compound_statement "{\n    uVar8 = 0x200;\n  }" { (expression_statement "uVar8 = 0x200;" (assignment_expression "uVar8 = 0x200" identifier = number_literal) ;) }) (else_clause "else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" else (compound_statement "{\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" { (expression_statement "uVar8 = puVar2[iVar4 + 1U];" (assignment_expression "uVar8 = puVar2[iVar4 + 1U]" identifier = (subscript_expression "puVar2[iVar4 + 1U]" identifier [ (binary_expression "iVar4 + 1U" identifier + number_literal) ])) ;) (expression_statement "uVar1 = (uint)CARRY4(uVar5,uVar8);" (assignment_expression "uVar1 = (uint)CARRY4(uVar5,uVar8)" identifier = (cast_expression "(uint)CARRY4(uVar5,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar5,uVar8)" identifier (argument_list "(uVar5,uVar8)" ( identifier , identifier ))))) ;) (expression_statement "puVar2[iVar4 + 1U] = uVar8 + uVar5;" (assignment_expression "puVar2[iVar4 + 1U] = uVar8 + uVar5" (subscript_expression "puVar2[iVar4 + 1U]" identifier [ (binary_expression "iVar4 + 1U" identifier + number_literal) ]) = (binary_expression "uVar8 + uVar5" identifier + identifier)) ;) (if_statement "if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }" if (parenthesized_expression "(local_24 == 0 && uVar1 == 0)" ( (binary_expression "local_24 == 0 && uVar1 == 0" (binary_expression "local_24 == 0" identifier == number_literal) && (binary_expression "uVar1 == 0" identifier == number_literal)) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (if_statement "if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" if (parenthesized_expression "(*puVar2 < iVar4 + 2U)" ( (binary_expression "*puVar2 < iVar4 + 2U" (pointer_expression "*puVar2" * identifier) < (binary_expression "iVar4 + 2U" identifier + number_literal)) )) (compound_statement "{\n      uVar8 = 0x205;\n    }" { (expression_statement "uVar8 = 0x205;" (assignment_expression "uVar8 = 0x205" identifier = number_literal) ;) }) (else_clause "else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" else (compound_statement "{\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" { (expression_statement "uVar5 = puVar2[iVar4 + 2];" (assignment_expression "uVar5 = puVar2[iVar4 + 2]" identifier = (subscript_expression "puVar2[iVar4 + 2]" identifier [ (binary_expression "iVar4 + 2" identifier + number_literal) ])) ;) (expression_statement "uVar6 = uVar5 + uVar1;" (assignment_expression "uVar6 = uVar5 + uVar1" identifier = (binary_expression "uVar5 + uVar1" identifier + identifier)) ;) (expression_statement "puVar2[iVar4 + 2] = local_24 + uVar6;" (assignment_expression "puVar2[iVar4 + 2] = local_24 + uVar6" (subscript_expression "puVar2[iVar4 + 2]" identifier [ (binary_expression "iVar4 + 2" identifier + number_literal) ]) = (binary_expression "local_24 + uVar6" identifier + identifier)) ;) (expression_statement "uVar8 = iVar4 + 3;" (assignment_expression "uVar8 = iVar4 + 3" identifier = (binary_expression "iVar4 + 3" identifier + number_literal)) ;) (if_statement "if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }" if (parenthesized_expression "((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0')" ( (binary_expression "(char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0'" (cast_expression "(char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6))" ( (type_descriptor "char" primitive_type) ) (parenthesized_expression "(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6))" ( (binary_expression "CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)" (call_expression "CARRY4(uVar5,uVar1)" identifier (argument_list "(uVar5,uVar1)" ( identifier , identifier ))) + (call_expression "CARRY4(local_24,uVar6)" identifier (argument_list "(local_24,uVar6)" ( identifier , identifier )))) ))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (if_statement "if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }" if (parenthesized_expression "(uVar8 <= *puVar2)" ( (binary_expression "uVar8 <= *puVar2" identifier <= (pointer_expression "*puVar2" * identifier)) )) (compound_statement "{\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }" { (do_statement "do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);" do (compound_statement "{\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        }" { (expression_statement "uVar5 = puVar2[uVar8];" (assignment_expression "uVar5 = puVar2[uVar8]" identifier = (subscript_expression "puVar2[uVar8]" identifier [ identifier ])) ;) (expression_statement "puVar2[uVar8] = uVar5 + 1;" (assignment_expression "puVar2[uVar8] = uVar5 + 1" (subscript_expression "puVar2[uVar8]" identifier [ identifier ]) = (binary_expression "uVar5 + 1" identifier + number_literal)) ;) (expression_statement "uVar8 = uVar8 + 1;" (assignment_expression "uVar8 = uVar8 + 1" identifier = (binary_expression "uVar8 + 1" identifier + number_literal)) ;) (if_statement "if (uVar5 != 0xffffffff) {\n            return;\n          }" if (parenthesized_expression "(uVar5 != 0xffffffff)" ( (binary_expression "uVar5 != 0xffffffff" identifier != number_literal) )) (compound_statement "{\n            return;\n          }" { (return_statement "return;" return ;) })) }) while (parenthesized_expression "(uVar8 <= *puVar2)" ( (binary_expression "uVar8 <= *puVar2" identifier <= (pointer_expression "*puVar2" * identifier)) )) ;) })) (expression_statement "uVar8 = 0x209;" (assignment_expression "uVar8 = 0x209" identifier = number_literal) ;) }))) }))) comment (expression_statement "__assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));" (call_expression "__assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd))" identifier (argument_list "((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd))" ( (cast_expression "(char *)(unaff_EDI + 0x38637)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x38637)" ( (binary_expression "unaff_EDI + 0x38637" identifier + number_literal) ))) , (cast_expression "(char *)(unaff_EDI + 0x38611)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x38611)" ( (binary_expression "unaff_EDI + 0x38611" identifier + number_literal) ))) , identifier , (cast_expression "(char *)(unaff_EDI + 0x387cd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x387cd)" ( (binary_expression "unaff_EDI + 0x387cd" identifier + number_literal) ))) ))) ;) })))
(translation_unit "void FUN_000448d0(void)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = FUN_00040b5b();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    \n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}\n\n" (function_definition "void FUN_000448d0(void)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = FUN_00040b5b();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    \n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}" primitive_type (function_declarator "FUN_000448d0(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = FUN_00040b5b();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    \n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "int extraout_ECX;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int unaff_EDI;" primitive_type identifier ;) (declaration "undefined8 uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint local_24;" type_identifier identifier ;) (expression_statement "uVar7 = FUN_00040b5b();" (assignment_expression "uVar7 = FUN_00040b5b()" identifier = (call_expression "FUN_00040b5b()" identifier (argument_list "()" ( )))) ;) (expression_statement "uVar8 = (uint)((ulonglong)uVar7 >> 0x20);" (assignment_expression "uVar8 = (uint)((ulonglong)uVar7 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)uVar7 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar7 >> 0x20" (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "puVar2 = (uint *)uVar7;" (assignment_expression "puVar2 = (uint *)uVar7" identifier = (cast_expression "(uint *)uVar7" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (expression_statement "iVar4 = extraout_ECX + 0x1f;" (assignment_expression "iVar4 = extraout_ECX + 0x1f" identifier = (binary_expression "extraout_ECX + 0x1f" identifier + number_literal)) ;) (if_statement "if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }" if (parenthesized_expression "(-1 < extraout_ECX)" ( (binary_expression "-1 < extraout_ECX" number_literal < identifier) )) (compound_statement "{\n    iVar4 = extraout_ECX;\n  }" { (expression_statement "iVar4 = extraout_ECX;" (assignment_expression "iVar4 = extraout_ECX" identifier = identifier) ;) })) (expression_statement "local_24 = 0;" (assignment_expression "local_24 = 0" identifier = number_literal) ;) (expression_statement "iVar4 = iVar4 >> 5;" (assignment_expression "iVar4 = iVar4 >> 5" identifier = (binary_expression "iVar4 >> 5" identifier >> number_literal)) ;) (expression_statement "bVar3 = (byte)(extraout_ECX % 0x20);" (assignment_expression "bVar3 = (byte)(extraout_ECX % 0x20)" identifier = (call_expression "(byte)(extraout_ECX % 0x20)" (parenthesized_expression "(byte)" ( identifier )) (argument_list "(extraout_ECX % 0x20)" ( (binary_expression "extraout_ECX % 0x20" identifier % number_literal) )))) ;) (expression_statement "uVar5 = uVar8 << (bVar3 & 0x1f);" (assignment_expression "uVar5 = uVar8 << (bVar3 & 0x1f)" identifier = (binary_expression "uVar8 << (bVar3 & 0x1f)" identifier << (parenthesized_expression "(bVar3 & 0x1f)" ( (binary_expression "bVar3 & 0x1f" identifier & number_literal) )))) ;) (if_statement "if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }" if (parenthesized_expression "(extraout_ECX % 0x20 != 0)" ( (binary_expression "extraout_ECX % 0x20 != 0" (binary_expression "extraout_ECX % 0x20" identifier % number_literal) != number_literal) )) (compound_statement "{\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }" { (expression_statement "local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);" (assignment_expression "local_24 = uVar8 >> (0x20 - bVar3 & 0x1f)" identifier = (binary_expression "uVar8 >> (0x20 - bVar3 & 0x1f)" identifier >> (parenthesized_expression "(0x20 - bVar3 & 0x1f)" ( (binary_expression "0x20 - bVar3 & 0x1f" (binary_expression "0x20 - bVar3" number_literal - identifier) & number_literal) )))) ;) })) (if_statement "if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" if (parenthesized_expression "(*puVar2 < iVar4 + 1U)" ( (binary_expression "*puVar2 < iVar4 + 1U" (pointer_expression "*puVar2" * identifier) < (binary_expression "iVar4 + 1U" identifier + number_literal)) )) (compound_statement "{\n    uVar8 = 0x200;\n  }" { (expression_statement "uVar8 = 0x200;" (assignment_expression "uVar8 = 0x200" identifier = number_literal) ;) }) (else_clause "else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" else (compound_statement "{\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" { (expression_statement "uVar8 = puVar2[iVar4 + 1U];" (assignment_expression "uVar8 = puVar2[iVar4 + 1U]" identifier = (subscript_expression "puVar2[iVar4 + 1U]" identifier [ (binary_expression "iVar4 + 1U" identifier + number_literal) ])) ;) (expression_statement "uVar1 = (uint)CARRY4(uVar5,uVar8);" (assignment_expression "uVar1 = (uint)CARRY4(uVar5,uVar8)" identifier = (cast_expression "(uint)CARRY4(uVar5,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar5,uVar8)" identifier (argument_list "(uVar5,uVar8)" ( identifier , identifier ))))) ;) (expression_statement "puVar2[iVar4 + 1U] = uVar8 + uVar5;" (assignment_expression "puVar2[iVar4 + 1U] = uVar8 + uVar5" (subscript_expression "puVar2[iVar4 + 1U]" identifier [ (binary_expression "iVar4 + 1U" identifier + number_literal) ]) = (binary_expression "uVar8 + uVar5" identifier + identifier)) ;) (if_statement "if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }" if (parenthesized_expression "(local_24 == 0 && uVar1 == 0)" ( (binary_expression "local_24 == 0 && uVar1 == 0" (binary_expression "local_24 == 0" identifier == number_literal) && (binary_expression "uVar1 == 0" identifier == number_literal)) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (if_statement "if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" if (parenthesized_expression "(*puVar2 < iVar4 + 2U)" ( (binary_expression "*puVar2 < iVar4 + 2U" (pointer_expression "*puVar2" * identifier) < (binary_expression "iVar4 + 2U" identifier + number_literal)) )) (compound_statement "{\n      uVar8 = 0x205;\n    }" { (expression_statement "uVar8 = 0x205;" (assignment_expression "uVar8 = 0x205" identifier = number_literal) ;) }) (else_clause "else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" else (compound_statement "{\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" { (expression_statement "uVar5 = puVar2[iVar4 + 2];" (assignment_expression "uVar5 = puVar2[iVar4 + 2]" identifier = (subscript_expression "puVar2[iVar4 + 2]" identifier [ (binary_expression "iVar4 + 2" identifier + number_literal) ])) ;) (expression_statement "uVar6 = uVar5 + uVar1;" (assignment_expression "uVar6 = uVar5 + uVar1" identifier = (binary_expression "uVar5 + uVar1" identifier + identifier)) ;) (expression_statement "puVar2[iVar4 + 2] = local_24 + uVar6;" (assignment_expression "puVar2[iVar4 + 2] = local_24 + uVar6" (subscript_expression "puVar2[iVar4 + 2]" identifier [ (binary_expression "iVar4 + 2" identifier + number_literal) ]) = (binary_expression "local_24 + uVar6" identifier + identifier)) ;) (expression_statement "uVar8 = iVar4 + 3;" (assignment_expression "uVar8 = iVar4 + 3" identifier = (binary_expression "iVar4 + 3" identifier + number_literal)) ;) (if_statement "if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }" if (parenthesized_expression "((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0')" ( (binary_expression "(char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0'" (cast_expression "(char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6))" ( (type_descriptor "char" primitive_type) ) (parenthesized_expression "(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6))" ( (binary_expression "CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)" (call_expression "CARRY4(uVar5,uVar1)" identifier (argument_list "(uVar5,uVar1)" ( identifier , identifier ))) + (call_expression "CARRY4(local_24,uVar6)" identifier (argument_list "(local_24,uVar6)" ( identifier , identifier )))) ))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (if_statement "if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }" if (parenthesized_expression "(uVar8 <= *puVar2)" ( (binary_expression "uVar8 <= *puVar2" identifier <= (pointer_expression "*puVar2" * identifier)) )) (compound_statement "{\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }" { (do_statement "do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);" do (compound_statement "{\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        }" { (expression_statement "uVar5 = puVar2[uVar8];" (assignment_expression "uVar5 = puVar2[uVar8]" identifier = (subscript_expression "puVar2[uVar8]" identifier [ identifier ])) ;) (expression_statement "puVar2[uVar8] = uVar5 + 1;" (assignment_expression "puVar2[uVar8] = uVar5 + 1" (subscript_expression "puVar2[uVar8]" identifier [ identifier ]) = (binary_expression "uVar5 + 1" identifier + number_literal)) ;) (expression_statement "uVar8 = uVar8 + 1;" (assignment_expression "uVar8 = uVar8 + 1" identifier = (binary_expression "uVar8 + 1" identifier + number_literal)) ;) (if_statement "if (uVar5 != 0xffffffff) {\n            return;\n          }" if (parenthesized_expression "(uVar5 != 0xffffffff)" ( (binary_expression "uVar5 != 0xffffffff" identifier != number_literal) )) (compound_statement "{\n            return;\n          }" { (return_statement "return;" return ;) })) }) while (parenthesized_expression "(uVar8 <= *puVar2)" ( (binary_expression "uVar8 <= *puVar2" identifier <= (pointer_expression "*puVar2" * identifier)) )) ;) })) (expression_statement "uVar8 = 0x209;" (assignment_expression "uVar8 = 0x209" identifier = number_literal) ;) }))) }))) (expression_statement "__assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));" (call_expression "__assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd))" identifier (argument_list "((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd))" ( (cast_expression "(char *)(unaff_EDI + 0x38637)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x38637)" ( (binary_expression "unaff_EDI + 0x38637" identifier + number_literal) ))) , (cast_expression "(char *)(unaff_EDI + 0x38611)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x38611)" ( (binary_expression "unaff_EDI + 0x38611" identifier + number_literal) ))) , identifier , (cast_expression "(char *)(unaff_EDI + 0x387cd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x387cd)" ( (binary_expression "unaff_EDI + 0x387cd" identifier + number_literal) ))) ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( )))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT % LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT % LIT) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression (binary_expression LIT - IDENT) & LIT) )))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) < (binary_expression IDENT + LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , IDENT ))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) = (binary_expression IDENT + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT == LIT) && (binary_expression IDENT == LIT)) )) (compound_statement { (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) < (binary_expression IDENT + LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (call_expression IDENT (argument_list ( IDENT , IDENT ))) + (call_expression IDENT (argument_list ( IDENT , IDENT )))) ))) == (char_literal ' escape_sequence ')) )) (compound_statement { (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (pointer_expression * IDENT)) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return ;) })) }) while (parenthesized_expression ( (binary_expression IDENT <= (pointer_expression * IDENT)) )) ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) }))) }))) (expression_statement (call_expression IDENT (argument_list ( (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))) , (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))) , IDENT , (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))) ))) ;) })))
(function_definition "void FUN_000448d0(void)\n\n{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = FUN_00040b5b();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    \n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}" (primitive_type "void") (function_declarator "FUN_000448d0(void)" (identifier "FUN_000448d0") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  uint uVar1;\n  uint *puVar2;\n  byte bVar3;\n  int extraout_ECX;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  int unaff_EDI;\n  undefined8 uVar7;\n  uint uVar8;\n  uint local_24;\n  \n  uVar7 = FUN_00040b5b();\n  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);\n  puVar2 = (uint *)uVar7;\n  iVar4 = extraout_ECX + 0x1f;\n  if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }\n  local_24 = 0;\n  iVar4 = iVar4 >> 5;\n  bVar3 = (byte)(extraout_ECX % 0x20);\n  uVar5 = uVar8 << (bVar3 & 0x1f);\n  if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }\n  if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }\n                    \n  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint *puVar2;" (type_identifier "uint") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "byte bVar3;" (type_identifier "byte") (identifier "bVar3") (; ";")) (declaration "int extraout_ECX;" (primitive_type "int") (identifier "extraout_ECX") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "int unaff_EDI;" (primitive_type "int") (identifier "unaff_EDI") (; ";")) (declaration "undefined8 uVar7;" (type_identifier "undefined8") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "uint local_24;" (type_identifier "uint") (identifier "local_24") (; ";")) (expression_statement "uVar7 = FUN_00040b5b();" (assignment_expression "uVar7 = FUN_00040b5b()" (identifier "uVar7") (= "=") (call_expression "FUN_00040b5b()" (identifier "FUN_00040b5b") (argument_list "()" (( "(") () ")")))) (; ";")) (expression_statement "uVar8 = (uint)((ulonglong)uVar7 >> 0x20);" (assignment_expression "uVar8 = (uint)((ulonglong)uVar7 >> 0x20)" (identifier "uVar8") (= "=") (call_expression "(uint)((ulonglong)uVar7 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar7 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar7 >> 0x20" (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "puVar2 = (uint *)uVar7;" (assignment_expression "puVar2 = (uint *)uVar7" (identifier "puVar2") (= "=") (cast_expression "(uint *)uVar7" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "uVar7"))) (; ";")) (expression_statement "iVar4 = extraout_ECX + 0x1f;" (assignment_expression "iVar4 = extraout_ECX + 0x1f" (identifier "iVar4") (= "=") (binary_expression "extraout_ECX + 0x1f" (identifier "extraout_ECX") (+ "+") (number_literal "0x1f"))) (; ";")) (if_statement "if (-1 < extraout_ECX) {\n    iVar4 = extraout_ECX;\n  }" (if "if") (parenthesized_expression "(-1 < extraout_ECX)" (( "(") (binary_expression "-1 < extraout_ECX" (number_literal "-1") (< "<") (identifier "extraout_ECX")) () ")")) (compound_statement "{\n    iVar4 = extraout_ECX;\n  }" ({ "{") (expression_statement "iVar4 = extraout_ECX;" (assignment_expression "iVar4 = extraout_ECX" (identifier "iVar4") (= "=") (identifier "extraout_ECX")) (; ";")) (} "}"))) (expression_statement "local_24 = 0;" (assignment_expression "local_24 = 0" (identifier "local_24") (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar4 = iVar4 >> 5;" (assignment_expression "iVar4 = iVar4 >> 5" (identifier "iVar4") (= "=") (binary_expression "iVar4 >> 5" (identifier "iVar4") (>> ">>") (number_literal "5"))) (; ";")) (expression_statement "bVar3 = (byte)(extraout_ECX % 0x20);" (assignment_expression "bVar3 = (byte)(extraout_ECX % 0x20)" (identifier "bVar3") (= "=") (call_expression "(byte)(extraout_ECX % 0x20)" (parenthesized_expression "(byte)" (( "(") (identifier "byte") () ")")) (argument_list "(extraout_ECX % 0x20)" (( "(") (binary_expression "extraout_ECX % 0x20" (identifier "extraout_ECX") (% "%") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar5 = uVar8 << (bVar3 & 0x1f);" (assignment_expression "uVar5 = uVar8 << (bVar3 & 0x1f)" (identifier "uVar5") (= "=") (binary_expression "uVar8 << (bVar3 & 0x1f)" (identifier "uVar8") (<< "<<") (parenthesized_expression "(bVar3 & 0x1f)" (( "(") (binary_expression "bVar3 & 0x1f" (identifier "bVar3") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (if_statement "if (extraout_ECX % 0x20 != 0) {\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }" (if "if") (parenthesized_expression "(extraout_ECX % 0x20 != 0)" (( "(") (binary_expression "extraout_ECX % 0x20 != 0" (binary_expression "extraout_ECX % 0x20" (identifier "extraout_ECX") (% "%") (number_literal "0x20")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);\n  }" ({ "{") (expression_statement "local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);" (assignment_expression "local_24 = uVar8 >> (0x20 - bVar3 & 0x1f)" (identifier "local_24") (= "=") (binary_expression "uVar8 >> (0x20 - bVar3 & 0x1f)" (identifier "uVar8") (>> ">>") (parenthesized_expression "(0x20 - bVar3 & 0x1f)" (( "(") (binary_expression "0x20 - bVar3 & 0x1f" (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")) (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (} "}"))) (if_statement "if (*puVar2 < iVar4 + 1U) {\n    uVar8 = 0x200;\n  }\n  else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" (if "if") (parenthesized_expression "(*puVar2 < iVar4 + 1U)" (( "(") (binary_expression "*puVar2 < iVar4 + 1U" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (< "<") (binary_expression "iVar4 + 1U" (identifier "iVar4") (+ "+") (number_literal "1U"))) () ")")) (compound_statement "{\n    uVar8 = 0x200;\n  }" ({ "{") (expression_statement "uVar8 = 0x200;" (assignment_expression "uVar8 = 0x200" (identifier "uVar8") (= "=") (number_literal "0x200")) (; ";")) (} "}")) (else_clause "else {\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" (else "else") (compound_statement "{\n    uVar8 = puVar2[iVar4 + 1U];\n    uVar1 = (uint)CARRY4(uVar5,uVar8);\n    puVar2[iVar4 + 1U] = uVar8 + uVar5;\n    if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }\n    if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }\n  }" ({ "{") (expression_statement "uVar8 = puVar2[iVar4 + 1U];" (assignment_expression "uVar8 = puVar2[iVar4 + 1U]" (identifier "uVar8") (= "=") (subscript_expression "puVar2[iVar4 + 1U]" (identifier "puVar2") ([ "[") (binary_expression "iVar4 + 1U" (identifier "iVar4") (+ "+") (number_literal "1U")) (] "]"))) (; ";")) (expression_statement "uVar1 = (uint)CARRY4(uVar5,uVar8);" (assignment_expression "uVar1 = (uint)CARRY4(uVar5,uVar8)" (identifier "uVar1") (= "=") (cast_expression "(uint)CARRY4(uVar5,uVar8)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar5,uVar8)" (identifier "CARRY4") (argument_list "(uVar5,uVar8)" (( "(") (identifier "uVar5") (, ",") (identifier "uVar8") () ")"))))) (; ";")) (expression_statement "puVar2[iVar4 + 1U] = uVar8 + uVar5;" (assignment_expression "puVar2[iVar4 + 1U] = uVar8 + uVar5" (subscript_expression "puVar2[iVar4 + 1U]" (identifier "puVar2") ([ "[") (binary_expression "iVar4 + 1U" (identifier "iVar4") (+ "+") (number_literal "1U")) (] "]")) (= "=") (binary_expression "uVar8 + uVar5" (identifier "uVar8") (+ "+") (identifier "uVar5"))) (; ";")) (if_statement "if (local_24 == 0 && uVar1 == 0) {\n      return;\n    }" (if "if") (parenthesized_expression "(local_24 == 0 && uVar1 == 0)" (( "(") (binary_expression "local_24 == 0 && uVar1 == 0" (binary_expression "local_24 == 0" (identifier "local_24") (== "==") (number_literal "0")) (&& "&&") (binary_expression "uVar1 == 0" (identifier "uVar1") (== "==") (number_literal "0"))) () ")")) (compound_statement "{\n      return;\n    }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (*puVar2 < iVar4 + 2U) {\n      uVar8 = 0x205;\n    }\n    else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" (if "if") (parenthesized_expression "(*puVar2 < iVar4 + 2U)" (( "(") (binary_expression "*puVar2 < iVar4 + 2U" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (< "<") (binary_expression "iVar4 + 2U" (identifier "iVar4") (+ "+") (number_literal "2U"))) () ")")) (compound_statement "{\n      uVar8 = 0x205;\n    }" ({ "{") (expression_statement "uVar8 = 0x205;" (assignment_expression "uVar8 = 0x205" (identifier "uVar8") (= "=") (number_literal "0x205")) (; ";")) (} "}")) (else_clause "else {\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" (else "else") (compound_statement "{\n      uVar5 = puVar2[iVar4 + 2];\n      uVar6 = uVar5 + uVar1;\n      puVar2[iVar4 + 2] = local_24 + uVar6;\n      uVar8 = iVar4 + 3;\n      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }\n      if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }\n      uVar8 = 0x209;\n    }" ({ "{") (expression_statement "uVar5 = puVar2[iVar4 + 2];" (assignment_expression "uVar5 = puVar2[iVar4 + 2]" (identifier "uVar5") (= "=") (subscript_expression "puVar2[iVar4 + 2]" (identifier "puVar2") ([ "[") (binary_expression "iVar4 + 2" (identifier "iVar4") (+ "+") (number_literal "2")) (] "]"))) (; ";")) (expression_statement "uVar6 = uVar5 + uVar1;" (assignment_expression "uVar6 = uVar5 + uVar1" (identifier "uVar6") (= "=") (binary_expression "uVar5 + uVar1" (identifier "uVar5") (+ "+") (identifier "uVar1"))) (; ";")) (expression_statement "puVar2[iVar4 + 2] = local_24 + uVar6;" (assignment_expression "puVar2[iVar4 + 2] = local_24 + uVar6" (subscript_expression "puVar2[iVar4 + 2]" (identifier "puVar2") ([ "[") (binary_expression "iVar4 + 2" (identifier "iVar4") (+ "+") (number_literal "2")) (] "]")) (= "=") (binary_expression "local_24 + uVar6" (identifier "local_24") (+ "+") (identifier "uVar6"))) (; ";")) (expression_statement "uVar8 = iVar4 + 3;" (assignment_expression "uVar8 = iVar4 + 3" (identifier "uVar8") (= "=") (binary_expression "iVar4 + 3" (identifier "iVar4") (+ "+") (number_literal "3"))) (; ";")) (if_statement "if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {\n        return;\n      }" (if "if") (parenthesized_expression "((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0')" (( "(") (binary_expression "(char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0'" (cast_expression "(char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6))" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (parenthesized_expression "(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6))" (( "(") (binary_expression "CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)" (call_expression "CARRY4(uVar5,uVar1)" (identifier "CARRY4") (argument_list "(uVar5,uVar1)" (( "(") (identifier "uVar5") (, ",") (identifier "uVar1") () ")"))) (+ "+") (call_expression "CARRY4(local_24,uVar6)" (identifier "CARRY4") (argument_list "(local_24,uVar6)" (( "(") (identifier "local_24") (, ",") (identifier "uVar6") () ")")))) () ")"))) (== "==") (char_literal "'\0'" (' "'") (escape_sequence "\0") (' "'"))) () ")")) (compound_statement "{\n        return;\n      }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (uVar8 <= *puVar2) {\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }" (if "if") (parenthesized_expression "(uVar8 <= *puVar2)" (( "(") (binary_expression "uVar8 <= *puVar2" (identifier "uVar8") (<= "<=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) () ")")) (compound_statement "{\n        do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);\n      }" ({ "{") (do_statement "do {\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        } while (uVar8 <= *puVar2);" (do "do") (compound_statement "{\n          uVar5 = puVar2[uVar8];\n          puVar2[uVar8] = uVar5 + 1;\n          uVar8 = uVar8 + 1;\n          if (uVar5 != 0xffffffff) {\n            return;\n          }\n        }" ({ "{") (expression_statement "uVar5 = puVar2[uVar8];" (assignment_expression "uVar5 = puVar2[uVar8]" (identifier "uVar5") (= "=") (subscript_expression "puVar2[uVar8]" (identifier "puVar2") ([ "[") (identifier "uVar8") (] "]"))) (; ";")) (expression_statement "puVar2[uVar8] = uVar5 + 1;" (assignment_expression "puVar2[uVar8] = uVar5 + 1" (subscript_expression "puVar2[uVar8]" (identifier "puVar2") ([ "[") (identifier "uVar8") (] "]")) (= "=") (binary_expression "uVar5 + 1" (identifier "uVar5") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar8 = uVar8 + 1;" (assignment_expression "uVar8 = uVar8 + 1" (identifier "uVar8") (= "=") (binary_expression "uVar8 + 1" (identifier "uVar8") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (uVar5 != 0xffffffff) {\n            return;\n          }" (if "if") (parenthesized_expression "(uVar5 != 0xffffffff)" (( "(") (binary_expression "uVar5 != 0xffffffff" (identifier "uVar5") (!= "!=") (number_literal "0xffffffff")) () ")")) (compound_statement "{\n            return;\n          }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (} "}")) (while "while") (parenthesized_expression "(uVar8 <= *puVar2)" (( "(") (binary_expression "uVar8 <= *puVar2" (identifier "uVar8") (<= "<=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) () ")")) (; ";")) (} "}"))) (expression_statement "uVar8 = 0x209;" (assignment_expression "uVar8 = 0x209" (identifier "uVar8") (= "=") (number_literal "0x209")) (; ";")) (} "}")))) (} "}")))) (expression_statement "__assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd));" (call_expression "__assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd))" (identifier "__assert_fail") (argument_list "((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,\n                (char *)(unaff_EDI + 0x387cd))" (( "(") (cast_expression "(char *)(unaff_EDI + 0x38637)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(unaff_EDI + 0x38637)" (( "(") (binary_expression "unaff_EDI + 0x38637" (identifier "unaff_EDI") (+ "+") (number_literal "0x38637")) () ")"))) (, ",") (cast_expression "(char *)(unaff_EDI + 0x38611)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(unaff_EDI + 0x38611)" (( "(") (binary_expression "unaff_EDI + 0x38611" (identifier "unaff_EDI") (+ "+") (number_literal "0x38611")) () ")"))) (, ",") (identifier "uVar8") (, ",") (cast_expression "(char *)(unaff_EDI + 0x387cd)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(unaff_EDI + 0x387cd)" (( "(") (binary_expression "unaff_EDI + 0x387cd" (identifier "unaff_EDI") (+ "+") (number_literal "0x387cd")) () ")"))) () ")"))) (; ";")) (} "}")))

void function_1(type_1 *number,type_1 n,int shift)

{
  type_2 var_9;
  type_2 *puVar2;
  type_3 var_5;
  int var_2;
  int var_3;
  type_2 var_7;
  type_2 var_10;
  int var_12;
  type_4 uVar7;
  type_2 var_4;
  type_2 var_8;
  
  uVar7 = var_1();
  var_4 = (type_2)((type_5)uVar7 >> 0x20);
  puVar2 = (type_2 *)uVar7;
  var_3 = var_2 + 0x1f;
  if (-1 < var_2) {
    var_3 = var_2;
  }
  var_8 = 0;
  var_3 = var_3 >> 5;
  var_5 = (type_3)(var_2 % 0x20);
  var_7 = var_4 << (var_5 & 0x1f);
  if (var_2 % 0x20 != 0) {
    var_8 = var_4 >> (0x20 - var_5 & 0x1f);
  }
  if (*puVar2 < var_3 + 1U) {
    var_4 = 0x200;
  }
  else {
    var_4 = puVar2[var_3 + 1U];
    var_9 = (type_2)var_6(var_7,var_4);
    puVar2[var_3 + 1U] = var_4 + var_7;
    if (var_8 == 0 && var_9 == 0) {
      return;
    }
    if (*puVar2 < var_3 + 2U) {
      var_4 = 0x205;
    }
    else {
      var_7 = puVar2[var_3 + 2];
      var_10 = var_7 + var_9;
      puVar2[var_3 + 2] = var_8 + var_10;
      var_4 = var_3 + 3;
      if ((char)(var_6(var_7,var_9) + var_6(var_8,var_10)) == '\0') {
        return;
      }
      if (var_4 <= *puVar2) {
        do {
          var_7 = puVar2[var_4];
          puVar2[var_4] = var_7 + 1;
          var_4 = var_4 + 1;
          if (var_7 != 0xffffffff) {
            return;
          }
        } while (var_4 <= *puVar2);
      }
      var_4 = 0x209;
    }
  }
                    /* WARNING: Subroutine does not return */
  var_11((char *)(var_12 + 0x38637),(char *)(var_12 + 0x38611),var_4,
                (char *)(var_12 + 0x387cd));
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list)))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (binary_expression left: (number_literal) right: (identifier)) right: (number_literal)))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (number_literal)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal)))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (binary_expression left: (identifier) right: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier)))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (binary_expression left: (identifier) right: (number_literal))) right: (binary_expression left: (identifier) right: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))) consequence: (compound_statement (return_statement))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (number_literal)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal)))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (binary_expression left: (identifier) right: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (binary_expression left: (identifier) right: (number_literal))) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier))) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier)))))) right: (char_literal (escape_sequence)))) consequence: (compound_statement (return_statement))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (pointer_expression argument: (identifier)))) consequence: (compound_statement (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (identifier)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement)))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (pointer_expression argument: (identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))))))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) (identifier) (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))))))

void MASKED(void)

{
  uint uVar1;
  uint *puVar2;
  byte bVar3;
  int extraout_ECX;
  int iVar4;
  uint uVar5;
  uint uVar6;
  int unaff_EDI;
  undefined8 uVar7;
  uint uVar8;
  uint local_24;
  
  uVar7 = FUN_00040b5b();
  uVar8 = (uint)((ulonglong)uVar7 >> 0x20);
  puVar2 = (uint *)uVar7;
  iVar4 = extraout_ECX + 0x1f;
  if (-1 < extraout_ECX) {
    iVar4 = extraout_ECX;
  }
  local_24 = 0;
  iVar4 = iVar4 >> 5;
  bVar3 = (byte)(extraout_ECX % 0x20);
  uVar5 = uVar8 << (bVar3 & 0x1f);
  if (extraout_ECX % 0x20 != 0) {
    local_24 = uVar8 >> (0x20 - bVar3 & 0x1f);
  }
  if (*puVar2 < iVar4 + 1U) {
    uVar8 = 0x200;
  }
  else {
    uVar8 = puVar2[iVar4 + 1U];
    uVar1 = (uint)CARRY4(uVar5,uVar8);
    puVar2[iVar4 + 1U] = uVar8 + uVar5;
    if (local_24 == 0 && uVar1 == 0) {
      return;
    }
    if (*puVar2 < iVar4 + 2U) {
      uVar8 = 0x205;
    }
    else {
      uVar5 = puVar2[iVar4 + 2];
      uVar6 = uVar5 + uVar1;
      puVar2[iVar4 + 2] = local_24 + uVar6;
      uVar8 = iVar4 + 3;
      if ((char)(CARRY4(uVar5,uVar1) + CARRY4(local_24,uVar6)) == '\0') {
        return;
      }
      if (uVar8 <= *puVar2) {
        do {
          uVar5 = puVar2[uVar8];
          puVar2[uVar8] = uVar5 + 1;
          uVar8 = uVar8 + 1;
          if (uVar5 != 0xffffffff) {
            return;
          }
        } while (uVar8 <= *puVar2);
      }
      uVar8 = 0x209;
    }
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail((char *)(unaff_EDI + 0x38637),(char *)(unaff_EDI + 0x38611),uVar8,
                (char *)(unaff_EDI + 0x387cd));
}

