
/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */
/* WARNING: Unknown calling convention */

Bignum_conflict modsub(Bignum_conflict a,Bignum_conflict b,Bignum_conflict n)

{
  int iVar1;
  Bignum_conflict result;
  Bignum_conflict result_00;
  Bignum_conflict b_00;
  size_t n_00;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  BignumInt BVar6;
  int in_stack_ffffffc4;
  uint *local_34;
  uint local_30;
  
  iVar1 = bignum_cmp(a,n);
  result = a;
  if (-1 < iVar1) {
    uVar2 = *n;
    if (0x3fffffe < uVar2) goto LAB_0004fe94;
    result = (Bignum_conflict)safemalloc(uVar2 + 1,4);
    memset(result,0,(uVar2 + 1) * 4);
    *result = uVar2;
    bigdivmod(a,n,result,(Bignum_conflict)0x0);
    uVar2 = *result;
    if (1 < uVar2) {
      do {
        if (result[uVar2] != 0) break;
        uVar2 = uVar2 - 1;
        *result = uVar2;
      } while (uVar2 != 1);
    }
  }
  iVar1 = bignum_cmp(b,n);
  result_00 = b;
  if (-1 < iVar1) {
    uVar2 = *n;
    if (0x3fffffe < uVar2) goto LAB_0004fe94;
    result_00 = (Bignum_conflict)safemalloc(uVar2 + 1,4);
    memset(result_00,0,(uVar2 + 1) * 4);
    *result_00 = uVar2;
    bigdivmod(b,n,result_00,(Bignum_conflict)0x0);
    uVar2 = *result_00;
    if (1 < uVar2) {
      BVar6 = result_00[uVar2];
      while (BVar6 == 0) {
        uVar2 = uVar2 - 1;
        *result_00 = uVar2;
        if (uVar2 == 1) break;
        BVar6 = result_00[uVar2];
      }
    }
  }
  iVar1 = bignum_cmp(result,result_00);
  if (iVar1 < 0) {
    b_00 = bigsub(n,result_00);
    if (b_00 == (Bignum_conflict)0x0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("tmp","sshbn.c",0x523,"modsub");
    }
    BVar6 = *result;
    if ((int)*result <= (int)*b_00) {
      BVar6 = *b_00;
    }
    uVar2 = BVar6 + 1;
    if (0x3fffffe < uVar2) {
LAB_0004fe94:
                    /* WARNING: Subroutine does not return */
      newbn(in_stack_ffffffc4);
    }
    n_00 = BVar6 + 2;
    local_34 = (uint *)safemalloc(n_00,4);
    memset(local_34,0,n_00 * 4);
    *local_34 = uVar2;
    if (uVar2 == 0) {
      local_30 = 0;
    }
    else {
      local_30 = 0;
      uVar2 = 0;
      uVar5 = 1;
      do {
        BVar6 = 0;
        if ((int)uVar5 <= (int)*b_00) {
          BVar6 = b_00[uVar5];
        }
        uVar4 = 0;
        if ((int)uVar5 <= (int)*result) {
          uVar4 = result[uVar5];
        }
        uVar3 = uVar2 + BVar6 + uVar4;
        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);
        local_34[uVar5] = uVar3;
        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {
          local_30 = uVar5;
        }
        uVar5 = uVar5 + 1;
      } while (uVar5 != n_00);
    }
    *local_34 = local_30;
    smemclr(b_00,*b_00 * 4 + 4);
    safefree(b_00);
  }
  else {
    local_34 = bigsub(result,result_00);
  }
  if (result != a) {
    smemclr(result,*result * 4 + 4);
    safefree(result);
  }
  if (result_00 != b) {
    smemclr(result_00,*result_00 * 4 + 4);
    safefree(result_00);
  }
  return local_34;
}



/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */

uint * FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)

{
  int iVar1;
  uint *__s;
  uint *__s_00;
  uint *puVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint *local_34;
  uint local_30;
  
  iVar1 = FUN_0004f0b0(param_1,param_3);
  __s = param_1;
  if (-1 < iVar1) {
    uVar3 = *param_3;
    if (0x3fffffe < uVar3) goto LAB_0004fe94;
    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);
    memset(__s,0,(uVar3 + 1) * 4);
    *__s = uVar3;
    FUN_0004cdc0(0);
    uVar3 = *__s;
    if (1 < uVar3) {
      do {
        if (__s[uVar3] != 0) break;
        uVar3 = uVar3 - 1;
        *__s = uVar3;
      } while (uVar3 != 1);
    }
  }
  iVar1 = FUN_0004f0b0(param_2,param_3);
  __s_00 = param_2;
  if (-1 < iVar1) {
    uVar3 = *param_3;
    if (0x3fffffe < uVar3) goto LAB_0004fe94;
    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);
    memset(__s_00,0,(uVar3 + 1) * 4);
    *__s_00 = uVar3;
    FUN_0004cdc0(0);
    uVar3 = *__s_00;
    if (1 < uVar3) {
      uVar4 = __s_00[uVar3];
      while (uVar4 == 0) {
        uVar3 = uVar3 - 1;
        *__s_00 = uVar3;
        if (uVar3 == 1) break;
        uVar4 = __s_00[uVar3];
      }
    }
  }
  iVar1 = FUN_0004f0b0(__s,__s_00);
  if (iVar1 < 0) {
    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);
    if (puVar2 == (uint *)0x0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("tmp","sshbn.c",0x523,"modsub");
    }
    uVar3 = *__s;
    if ((int)*__s <= (int)*puVar2) {
      uVar3 = *puVar2;
    }
    uVar4 = uVar3 + 1;
    if (0x3fffffe < uVar4) {
LAB_0004fe94:
                    /* WARNING: Subroutine does not return */
      FUN_0004c070();
    }
    uVar3 = uVar3 + 2;
    local_34 = (uint *)FUN_0001fe90(uVar3,4);
    memset(local_34,0,uVar3 * 4);
    *local_34 = uVar4;
    if (uVar4 == 0) {
      local_30 = 0;
    }
    else {
      local_30 = 0;
      uVar4 = 0;
      uVar7 = 1;
      do {
        uVar8 = 0;
        if ((int)uVar7 <= (int)*puVar2) {
          uVar8 = puVar2[uVar7];
        }
        uVar6 = 0;
        if ((int)uVar7 <= (int)*__s) {
          uVar6 = __s[uVar7];
        }
        uVar5 = uVar4 + uVar8 + uVar6;
        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);
        local_34[uVar7] = uVar5;
        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {
          local_30 = uVar7;
        }
        uVar7 = uVar7 + 1;
      } while (uVar7 != uVar3);
    }
    *local_34 = local_30;
    FUN_00020110(puVar2,*puVar2 * 4 + 4);
    FUN_00020030(puVar2);
  }
  else {
    local_34 = (uint *)FUN_0004fa20(__s,__s_00);
  }
  if (__s != param_1) {
    FUN_00020110(__s,*__s * 4 + 4);
    FUN_00020030(__s);
  }
  if (__s_00 != param_2) {
    FUN_00020110(__s_00,*__s_00 * 4 + 4);
    FUN_00020030(__s_00);
  }
  return local_34;
}


CALL 0x0001664e
ADD EAX,0x7720b
PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
SUB ESP,0x34
MOV dword ptr [ESP + 0xc],EAX
PUSH dword ptr [ESP + 0x50]
PUSH dword ptr [ESP + 0x4c]
CALL 0x0004f0b0
ADD ESP,0x10
MOV ESI,dword ptr [ESP + 0x40]
TEST EAX,EAX
JNS 0x0004fc40
SUB ESP,0x8
PUSH dword ptr [ESP + 0x50]
PUSH dword ptr [ESP + 0x50]
CALL 0x0004f0b0
ADD ESP,0x10
MOV EDI,dword ptr [ESP + 0x44]
TEST EAX,EAX
JNS 0x0004fcc0
SUB ESP,0x8
PUSH EDI
PUSH ESI
CALL 0x0004f0b0
ADD ESP,0x10
TEST EAX,EAX
JS 0x0004fd60
SUB ESP,0x8
PUSH EDI
PUSH ESI
CALL 0x0004fa20
MOV dword ptr [ESP + 0x18],EAX
ADD ESP,0x10
CMP ESI,dword ptr [ESP + 0x40]
JZ 0x0004fc00
MOV EAX,dword ptr [ESI]
SUB ESP,0x8
LEA EAX,[EAX*0x4 + 0x4]
PUSH EAX
PUSH ESI
MOV EBP,dword ptr [ESP + 0x14]
MOV EBX,EBP
CALL 0x00020110
MOV dword ptr [ESP],ESI
CALL 0x00020030
ADD ESP,0x10
CMP EDI,dword ptr [ESP + 0x44]
JZ 0x0004fc2a
MOV EAX,dword ptr [EDI]
SUB ESP,0x8
LEA EAX,[EAX*0x4 + 0x4]
PUSH EAX
PUSH EDI
MOV ESI,dword ptr [ESP + 0x14]
MOV EBX,ESI
CALL 0x00020110
MOV dword ptr [ESP],EDI
CALL 0x00020030
ADD ESP,0x10
MOV EAX,dword ptr [ESP + 0x8]
ADD ESP,0x2c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV EAX,dword ptr [ESP + 0x48]
MOV EBP,dword ptr [EAX]
CMP EBP,0x3fffffe
JA 0x0004fe94
SUB ESP,0x8
LEA EDI,[EBP + 0x1]
PUSH 0x4
PUSH EDI
MOV EBX,dword ptr [ESP + 0x14]
SHL EDI,0x2
CALL 0x0001fe90
ADD ESP,0xc
PUSH EDI
MOV ESI,EAX
PUSH 0x0
PUSH EAX
MOV EBX,dword ptr [ESP + 0x14]
CALL 0x000144f0
MOV dword ptr [ESI],EBP
MOV EAX,dword ptr [ESP + 0x50]
MOV ECX,ESI
MOV EDX,dword ptr [ESP + 0x58]
MOV dword ptr [ESP],0x0
CALL 0x0004cdc0
MOV EAX,dword ptr [ESI]
ADD ESP,0x10
CMP EAX,0x1
JA 0x0004fcae
JMP 0x0004fb91
SUB EAX,0x1
MOV dword ptr [ESI],EAX
CMP EAX,0x1
JZ 0x0004fb91
MOV EBX,dword ptr [ESI + EAX*0x4]
TEST EBX,EBX
JZ 0x0004fca0
JMP 0x0004fb91
MOV EAX,dword ptr [ESP + 0x48]
MOV EBP,dword ptr [EAX]
CMP EBP,0x3fffffe
JA 0x0004fe94
SUB ESP,0x8
LEA EDX,[EBP + 0x1]
PUSH 0x4
PUSH EDX
MOV EBX,dword ptr [ESP + 0x14]
MOV dword ptr [ESP + 0x18],EDX
CALL 0x0001fe90
MOV EDX,dword ptr [ESP + 0x18]
ADD ESP,0xc
MOV EDI,EAX
LEA EAX,[EDX*0x4 + 0x0]
PUSH EAX
PUSH 0x0
PUSH EDI
MOV EBX,dword ptr [ESP + 0x14]
CALL 0x000144f0
MOV dword ptr [EDI],EBP
MOV EAX,dword ptr [ESP + 0x54]
MOV ECX,EDI
MOV EDX,dword ptr [ESP + 0x58]
MOV dword ptr [ESP],0x0
CALL 0x0004cdc0
MOV EAX,dword ptr [EDI]
ADD ESP,0x10
CMP EAX,0x1
JBE 0x0004fbb0
MOV ECX,dword ptr [EDI + EAX*0x4]
TEST ECX,ECX
JNZ 0x0004fbb0
SUB EAX,0x1
JMP 0x0004fd4f
SUB EAX,0x1
MOV EDX,dword ptr [EDI + EAX*0x4 + 0x4]
TEST EDX,EDX
JNZ 0x0004fbb0
MOV dword ptr [EDI],EAX
CMP EAX,0x1
JNZ 0x0004fd40
JMP 0x0004fbb0
SUB ESP,0x8
PUSH EDI
PUSH dword ptr [ESP + 0x54]
CALL 0x0004fa20
MOV dword ptr [ESP + 0x20],EAX
ADD ESP,0x10
TEST EAX,EAX
JZ 0x0004fe99
MOV ECX,dword ptr [ESP + 0x10]
MOV EAX,dword ptr [ESI]
CMP dword ptr [ECX],EAX
CMOVGE EAX,dword ptr [ECX]
LEA EBP,[EAX + 0x1]
CMP EBP,0x3fffffe
JA 0x0004fe94
SUB ESP,0x8
ADD EAX,0x2
PUSH 0x4
MOV dword ptr [ESP + 0x20],EAX
PUSH EAX
MOV EBX,dword ptr [ESP + 0x14]
CALL 0x0001fe90
MOV ECX,dword ptr [ESP + 0x24]
ADD ESP,0xc
MOV EDX,EAX
LEA EAX,[ECX*0x4 + 0x0]
PUSH EAX
PUSH 0x0
MOV dword ptr [ESP + 0x14],EDX
PUSH EDX
MOV EBX,dword ptr [ESP + 0x14]
CALL 0x000144f0
MOV EDX,dword ptr [ESP + 0x18]
ADD ESP,0x10
MOV dword ptr [EDX],EBP
TEST EBP,EBP
JZ 0x0004fe90
MOV dword ptr [ESP + 0xc],0x0
XOR EAX,EAX
MOV EBP,0x1
MOV dword ptr [ESP + 0x18],ESI
MOV dword ptr [ESP + 0x1c],EDI
LEA ESI,[ESI]
MOV EBX,dword ptr [ESP + 0x10]
XOR ESI,ESI
XOR EDI,EDI
CMP dword ptr [EBX],EBP
JL 0x0004fe09
MOV ESI,dword ptr [EBX + EBP*0x4]
XOR EDI,EDI
MOV EDX,dword ptr [ESP + 0x18]
XOR ECX,ECX
XOR EBX,EBX
CMP dword ptr [EDX],EBP
JL 0x0004fe1a
MOV ECX,dword ptr [EDX + EBP*0x4]
XOR EBX,EBX
XOR EDX,EDX
ADD EAX,ESI
ADC EDX,EDI
ADD EAX,ECX
ADC EDX,EBX
MOV EBX,dword ptr [ESP + 0x8]
MOV ECX,EAX
MOV dword ptr [EBX + EBP*0x4],EAX
MOV EAX,EDX
TEST ECX,ECX
JZ 0x0004fe40
MOV EDX,dword ptr [ESP + 0xc]
CMP EDX,EBP
CMOVL EDX,EBP
MOV dword ptr [ESP + 0xc],EDX
ADD EBP,0x1
CMP EBP,dword ptr [ESP + 0x14]
JNZ 0x0004fdf8
MOV ESI,dword ptr [ESP + 0x18]
MOV EDI,dword ptr [ESP + 0x1c]
MOV EAX,dword ptr [ESP + 0xc]
MOV ECX,dword ptr [ESP + 0x8]
SUB ESP,0x8
MOV EBP,dword ptr [ESP + 0x18]
MOV dword ptr [ECX],EAX
MOV EAX,dword ptr [EBP]
LEA EAX,[EAX*0x4 + 0x4]
PUSH EAX
PUSH EBP
MOV EBX,dword ptr [ESP + 0x14]
CALL 0x00020110
MOV EBX,dword ptr [ESP + 0x14]
MOV dword ptr [ESP],EBP
CALL 0x00020030
ADD ESP,0x10
JMP 0x0004fbd6
XOR EAX,EAX
JMP 0x0004fe55
CALL 0x0004c070
MOV EBX,dword ptr [ESP + 0x4]
LEA EAX,[EBX + 0xfffcd91c]
PUSH EAX
LEA EAX,[EBX + 0xfffcd778]
PUSH 0x523
PUSH EAX
LEA EAX,[EBX + 0xfffd3ac0]
PUSH EAX
CALL 0x00014870
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */\n\nuint * FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)\n\n{\n  int iVar1;\n  uint *__s;\n  uint *__s_00;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = FUN_0004f0b0(param_1,param_3);\n  __s = param_1;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }\n  iVar1 = FUN_0004f0b0(param_2,param_3);\n  __s_00 = param_2;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }\n  iVar1 = FUN_0004f0b0(__s,__s_00);\n  if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }\n  if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }\n  if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }\n  return local_34;\n}\n\n" comment (function_definition "uint * FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)\n\n{\n  int iVar1;\n  uint *__s;\n  uint *__s_00;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = FUN_0004f0b0(param_1,param_3);\n  __s = param_1;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }\n  iVar1 = FUN_0004f0b0(param_2,param_3);\n  __s_00 = param_2;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }\n  iVar1 = FUN_0004f0b0(__s,__s_00);\n  if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }\n  if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }\n  if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }\n  return local_34;\n}" type_identifier (pointer_declarator "* FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)" * (function_declarator "FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)" identifier (parameter_list "(uint *param_1,uint *param_2,uint *param_3)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) )))) (compound_statement "{\n  int iVar1;\n  uint *__s;\n  uint *__s_00;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = FUN_0004f0b0(param_1,param_3);\n  __s = param_1;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }\n  iVar1 = FUN_0004f0b0(param_2,param_3);\n  __s_00 = param_2;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }\n  iVar1 = FUN_0004f0b0(__s,__s_00);\n  if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }\n  if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }\n  if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }\n  return local_34;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint *__s;" type_identifier (pointer_declarator "*__s" * identifier) ;) (declaration "uint *__s_00;" type_identifier (pointer_declarator "*__s_00" * identifier) ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint *local_34;" type_identifier (pointer_declarator "*local_34" * identifier) ;) (declaration "uint local_30;" type_identifier identifier ;) (expression_statement "iVar1 = FUN_0004f0b0(param_1,param_3);" (assignment_expression "iVar1 = FUN_0004f0b0(param_1,param_3)" identifier = (call_expression "FUN_0004f0b0(param_1,param_3)" identifier (argument_list "(param_1,param_3)" ( identifier , identifier )))) ;) (expression_statement "__s = param_1;" (assignment_expression "__s = param_1" identifier = identifier) ;) (if_statement "if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }" if (parenthesized_expression "(-1 < iVar1)" ( (binary_expression "-1 < iVar1" number_literal < identifier) )) (compound_statement "{\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }" { (expression_statement "uVar3 = *param_3;" (assignment_expression "uVar3 = *param_3" identifier = (pointer_expression "*param_3" * identifier)) ;) (if_statement "if (0x3fffffe < uVar3) goto LAB_0004fe94;" if (parenthesized_expression "(0x3fffffe < uVar3)" ( (binary_expression "0x3fffffe < uVar3" number_literal < identifier) )) (goto_statement "goto LAB_0004fe94;" goto statement_identifier ;)) (expression_statement "__s = (uint *)FUN_0001fe90(uVar3 + 1,4);" (assignment_expression "__s = (uint *)FUN_0001fe90(uVar3 + 1,4)" identifier = (cast_expression "(uint *)FUN_0001fe90(uVar3 + 1,4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0001fe90(uVar3 + 1,4)" identifier (argument_list "(uVar3 + 1,4)" ( (binary_expression "uVar3 + 1" identifier + number_literal) , number_literal ))))) ;) (expression_statement "memset(__s,0,(uVar3 + 1) * 4);" (call_expression "memset(__s,0,(uVar3 + 1) * 4)" identifier (argument_list "(__s,0,(uVar3 + 1) * 4)" ( identifier , number_literal , (binary_expression "(uVar3 + 1) * 4" (parenthesized_expression "(uVar3 + 1)" ( (binary_expression "uVar3 + 1" identifier + number_literal) )) * number_literal) ))) ;) (expression_statement "*__s = uVar3;" (assignment_expression "*__s = uVar3" (pointer_expression "*__s" * identifier) = identifier) ;) (expression_statement "FUN_0004cdc0(0);" (call_expression "FUN_0004cdc0(0)" identifier (argument_list "(0)" ( number_literal ))) ;) (expression_statement "uVar3 = *__s;" (assignment_expression "uVar3 = *__s" identifier = (pointer_expression "*__s" * identifier)) ;) (if_statement "if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }" if (parenthesized_expression "(1 < uVar3)" ( (binary_expression "1 < uVar3" number_literal < identifier) )) (compound_statement "{\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }" { (do_statement "do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);" do (compound_statement "{\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      }" { (if_statement "if (__s[uVar3] != 0) break;" if (parenthesized_expression "(__s[uVar3] != 0)" ( (binary_expression "__s[uVar3] != 0" (subscript_expression "__s[uVar3]" identifier [ identifier ]) != number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (expression_statement "*__s = uVar3;" (assignment_expression "*__s = uVar3" (pointer_expression "*__s" * identifier) = identifier) ;) }) while (parenthesized_expression "(uVar3 != 1)" ( (binary_expression "uVar3 != 1" identifier != number_literal) )) ;) })) })) (expression_statement "iVar1 = FUN_0004f0b0(param_2,param_3);" (assignment_expression "iVar1 = FUN_0004f0b0(param_2,param_3)" identifier = (call_expression "FUN_0004f0b0(param_2,param_3)" identifier (argument_list "(param_2,param_3)" ( identifier , identifier )))) ;) (expression_statement "__s_00 = param_2;" (assignment_expression "__s_00 = param_2" identifier = identifier) ;) (if_statement "if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }" if (parenthesized_expression "(-1 < iVar1)" ( (binary_expression "-1 < iVar1" number_literal < identifier) )) (compound_statement "{\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }" { (expression_statement "uVar3 = *param_3;" (assignment_expression "uVar3 = *param_3" identifier = (pointer_expression "*param_3" * identifier)) ;) (if_statement "if (0x3fffffe < uVar3) goto LAB_0004fe94;" if (parenthesized_expression "(0x3fffffe < uVar3)" ( (binary_expression "0x3fffffe < uVar3" number_literal < identifier) )) (goto_statement "goto LAB_0004fe94;" goto statement_identifier ;)) (expression_statement "__s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);" (assignment_expression "__s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4)" identifier = (cast_expression "(uint *)FUN_0001fe90(uVar3 + 1,4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0001fe90(uVar3 + 1,4)" identifier (argument_list "(uVar3 + 1,4)" ( (binary_expression "uVar3 + 1" identifier + number_literal) , number_literal ))))) ;) (expression_statement "memset(__s_00,0,(uVar3 + 1) * 4);" (call_expression "memset(__s_00,0,(uVar3 + 1) * 4)" identifier (argument_list "(__s_00,0,(uVar3 + 1) * 4)" ( identifier , number_literal , (binary_expression "(uVar3 + 1) * 4" (parenthesized_expression "(uVar3 + 1)" ( (binary_expression "uVar3 + 1" identifier + number_literal) )) * number_literal) ))) ;) (expression_statement "*__s_00 = uVar3;" (assignment_expression "*__s_00 = uVar3" (pointer_expression "*__s_00" * identifier) = identifier) ;) (expression_statement "FUN_0004cdc0(0);" (call_expression "FUN_0004cdc0(0)" identifier (argument_list "(0)" ( number_literal ))) ;) (expression_statement "uVar3 = *__s_00;" (assignment_expression "uVar3 = *__s_00" identifier = (pointer_expression "*__s_00" * identifier)) ;) (if_statement "if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }" if (parenthesized_expression "(1 < uVar3)" ( (binary_expression "1 < uVar3" number_literal < identifier) )) (compound_statement "{\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }" { (expression_statement "uVar4 = __s_00[uVar3];" (assignment_expression "uVar4 = __s_00[uVar3]" identifier = (subscript_expression "__s_00[uVar3]" identifier [ identifier ])) ;) (while_statement "while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }" while (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }" { (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (expression_statement "*__s_00 = uVar3;" (assignment_expression "*__s_00 = uVar3" (pointer_expression "*__s_00" * identifier) = identifier) ;) (if_statement "if (uVar3 == 1) break;" if (parenthesized_expression "(uVar3 == 1)" ( (binary_expression "uVar3 == 1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar4 = __s_00[uVar3];" (assignment_expression "uVar4 = __s_00[uVar3]" identifier = (subscript_expression "__s_00[uVar3]" identifier [ identifier ])) ;) })) })) })) (expression_statement "iVar1 = FUN_0004f0b0(__s,__s_00);" (assignment_expression "iVar1 = FUN_0004f0b0(__s,__s_00)" identifier = (call_expression "FUN_0004f0b0(__s,__s_00)" identifier (argument_list "(__s,__s_00)" ( identifier , identifier )))) ;) (if_statement "if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }" { (expression_statement "puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);" (assignment_expression "puVar2 = (uint *)FUN_0004fa20(param_3,__s_00)" identifier = (cast_expression "(uint *)FUN_0004fa20(param_3,__s_00)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0004fa20(param_3,__s_00)" identifier (argument_list "(param_3,__s_00)" ( identifier , identifier ))))) ;) (if_statement "if (puVar2 == (uint *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }" if (parenthesized_expression "(puVar2 == (uint *)0x0)" ( (binary_expression "puVar2 == (uint *)0x0" identifier == (cast_expression "(uint *)0x0" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }" { comment (expression_statement "__assert_fail("tmp","sshbn.c",0x523,"modsub");" (call_expression "__assert_fail("tmp","sshbn.c",0x523,"modsub")" identifier (argument_list "("tmp","sshbn.c",0x523,"modsub")" ( (string_literal ""tmp"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""modsub"" " string_content ") ))) ;) })) (expression_statement "uVar3 = *__s;" (assignment_expression "uVar3 = *__s" identifier = (pointer_expression "*__s" * identifier)) ;) (if_statement "if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }" if (parenthesized_expression "((int)*__s <= (int)*puVar2)" ( (binary_expression "(int)*__s <= (int)*puVar2" (cast_expression "(int)*__s" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*__s" * identifier)) <= (cast_expression "(int)*puVar2" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*puVar2" * identifier))) )) (compound_statement "{\n      uVar3 = *puVar2;\n    }" { (expression_statement "uVar3 = *puVar2;" (assignment_expression "uVar3 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) })) (expression_statement "uVar4 = uVar3 + 1;" (assignment_expression "uVar4 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) ;) (if_statement "if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      FUN_0004c070();\n    }" if (parenthesized_expression "(0x3fffffe < uVar4)" ( (binary_expression "0x3fffffe < uVar4" number_literal < identifier) )) (compound_statement "{\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      FUN_0004c070();\n    }" { (labeled_statement "LAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      FUN_0004c070();" statement_identifier : comment (expression_statement "FUN_0004c070();" (call_expression "FUN_0004c070()" identifier (argument_list "()" ( ))) ;)) })) (expression_statement "uVar3 = uVar3 + 2;" (assignment_expression "uVar3 = uVar3 + 2" identifier = (binary_expression "uVar3 + 2" identifier + number_literal)) ;) (expression_statement "local_34 = (uint *)FUN_0001fe90(uVar3,4);" (assignment_expression "local_34 = (uint *)FUN_0001fe90(uVar3,4)" identifier = (cast_expression "(uint *)FUN_0001fe90(uVar3,4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0001fe90(uVar3,4)" identifier (argument_list "(uVar3,4)" ( identifier , number_literal ))))) ;) (expression_statement "memset(local_34,0,uVar3 * 4);" (call_expression "memset(local_34,0,uVar3 * 4)" identifier (argument_list "(local_34,0,uVar3 * 4)" ( identifier , number_literal , (binary_expression "uVar3 * 4" identifier * number_literal) ))) ;) (expression_statement "*local_34 = uVar4;" (assignment_expression "*local_34 = uVar4" (pointer_expression "*local_34" * identifier) = identifier) ;) (if_statement "if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }" if (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (compound_statement "{\n      local_30 = 0;\n    }" { (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" identifier = number_literal) ;) }) (else_clause "else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }" else (compound_statement "{\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }" { (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" identifier = number_literal) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "uVar7 = 1;" (assignment_expression "uVar7 = 1" identifier = number_literal) ;) (do_statement "do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);" do (compound_statement "{\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      }" { (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) (if_statement "if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }" if (parenthesized_expression "((int)uVar7 <= (int)*puVar2)" ( (binary_expression "(int)uVar7 <= (int)*puVar2" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*puVar2" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*puVar2" * identifier))) )) (compound_statement "{\n          uVar8 = puVar2[uVar7];\n        }" { (expression_statement "uVar8 = puVar2[uVar7];" (assignment_expression "uVar8 = puVar2[uVar7]" identifier = (subscript_expression "puVar2[uVar7]" identifier [ identifier ])) ;) })) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (if_statement "if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }" if (parenthesized_expression "((int)uVar7 <= (int)*__s)" ( (binary_expression "(int)uVar7 <= (int)*__s" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*__s" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*__s" * identifier))) )) (compound_statement "{\n          uVar6 = __s[uVar7];\n        }" { (expression_statement "uVar6 = __s[uVar7];" (assignment_expression "uVar6 = __s[uVar7]" identifier = (subscript_expression "__s[uVar7]" identifier [ identifier ])) ;) })) (expression_statement "uVar5 = uVar4 + uVar8 + uVar6;" (assignment_expression "uVar5 = uVar4 + uVar8 + uVar6" identifier = (binary_expression "uVar4 + uVar8 + uVar6" (binary_expression "uVar4 + uVar8" identifier + identifier) + identifier)) ;) (expression_statement "uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);" (assignment_expression "uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6)" identifier = (binary_expression "(uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6)" (cast_expression "(uint)CARRY4(uVar4,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4,uVar8)" identifier (argument_list "(uVar4,uVar8)" ( identifier , identifier )))) + (cast_expression "(uint)CARRY4(uVar4 + uVar8,uVar6)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4 + uVar8,uVar6)" identifier (argument_list "(uVar4 + uVar8,uVar6)" ( (binary_expression "uVar4 + uVar8" identifier + identifier) , identifier )))))) ;) (expression_statement "local_34[uVar7] = uVar5;" (assignment_expression "local_34[uVar7] = uVar5" (subscript_expression "local_34[uVar7]" identifier [ identifier ]) = identifier) ;) (if_statement "if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }" if (parenthesized_expression "((uVar5 != 0) && ((int)local_30 < (int)uVar7))" ( (binary_expression "(uVar5 != 0) && ((int)local_30 < (int)uVar7)" (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) && (parenthesized_expression "((int)local_30 < (int)uVar7)" ( (binary_expression "(int)local_30 < (int)uVar7" (cast_expression "(int)local_30" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )) (compound_statement "{\n          local_30 = uVar7;\n        }" { (expression_statement "local_30 = uVar7;" (assignment_expression "local_30 = uVar7" identifier = identifier) ;) })) (expression_statement "uVar7 = uVar7 + 1;" (assignment_expression "uVar7 = uVar7 + 1" identifier = (binary_expression "uVar7 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar7 != uVar3)" ( (binary_expression "uVar7 != uVar3" identifier != identifier) )) ;) }))) (expression_statement "*local_34 = local_30;" (assignment_expression "*local_34 = local_30" (pointer_expression "*local_34" * identifier) = identifier) ;) (expression_statement "FUN_00020110(puVar2,*puVar2 * 4 + 4);" (call_expression "FUN_00020110(puVar2,*puVar2 * 4 + 4)" identifier (argument_list "(puVar2,*puVar2 * 4 + 4)" ( identifier , (binary_expression "*puVar2 * 4 + 4" (binary_expression "*puVar2 * 4" (pointer_expression "*puVar2" * identifier) * number_literal) + number_literal) ))) ;) (expression_statement "FUN_00020030(puVar2);" (call_expression "FUN_00020030(puVar2)" identifier (argument_list "(puVar2)" ( identifier ))) ;) }) (else_clause "else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }" else (compound_statement "{\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }" { (expression_statement "local_34 = (uint *)FUN_0004fa20(__s,__s_00);" (assignment_expression "local_34 = (uint *)FUN_0004fa20(__s,__s_00)" identifier = (cast_expression "(uint *)FUN_0004fa20(__s,__s_00)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0004fa20(__s,__s_00)" identifier (argument_list "(__s,__s_00)" ( identifier , identifier ))))) ;) }))) (if_statement "if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }" if (parenthesized_expression "(__s != param_1)" ( (binary_expression "__s != param_1" identifier != identifier) )) (compound_statement "{\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }" { (expression_statement "FUN_00020110(__s,*__s * 4 + 4);" (call_expression "FUN_00020110(__s,*__s * 4 + 4)" identifier (argument_list "(__s,*__s * 4 + 4)" ( identifier , (binary_expression "*__s * 4 + 4" (binary_expression "*__s * 4" (pointer_expression "*__s" * identifier) * number_literal) + number_literal) ))) ;) (expression_statement "FUN_00020030(__s);" (call_expression "FUN_00020030(__s)" identifier (argument_list "(__s)" ( identifier ))) ;) })) (if_statement "if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }" if (parenthesized_expression "(__s_00 != param_2)" ( (binary_expression "__s_00 != param_2" identifier != identifier) )) (compound_statement "{\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }" { (expression_statement "FUN_00020110(__s_00,*__s_00 * 4 + 4);" (call_expression "FUN_00020110(__s_00,*__s_00 * 4 + 4)" identifier (argument_list "(__s_00,*__s_00 * 4 + 4)" ( identifier , (binary_expression "*__s_00 * 4 + 4" (binary_expression "*__s_00 * 4" (pointer_expression "*__s_00" * identifier) * number_literal) + number_literal) ))) ;) (expression_statement "FUN_00020030(__s_00);" (call_expression "FUN_00020030(__s_00)" identifier (argument_list "(__s_00)" ( identifier ))) ;) })) (return_statement "return local_34;" return identifier ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */\n/* WARNING: Unknown calling convention */\n\nBignum_conflict modsub(Bignum_conflict a,Bignum_conflict b,Bignum_conflict n)\n\n{\n  int iVar1;\n  Bignum_conflict result;\n  Bignum_conflict result_00;\n  Bignum_conflict b_00;\n  size_t n_00;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  BignumInt BVar6;\n  int in_stack_ffffffc4;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = bignum_cmp(a,n);\n  result = a;\n  if (-1 < iVar1) {\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result,0,(uVar2 + 1) * 4);\n    *result = uVar2;\n    bigdivmod(a,n,result,(Bignum_conflict)0x0);\n    uVar2 = *result;\n    if (1 < uVar2) {\n      do {\n        if (result[uVar2] != 0) break;\n        uVar2 = uVar2 - 1;\n        *result = uVar2;\n      } while (uVar2 != 1);\n    }\n  }\n  iVar1 = bignum_cmp(b,n);\n  result_00 = b;\n  if (-1 < iVar1) {\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result_00 = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result_00,0,(uVar2 + 1) * 4);\n    *result_00 = uVar2;\n    bigdivmod(b,n,result_00,(Bignum_conflict)0x0);\n    uVar2 = *result_00;\n    if (1 < uVar2) {\n      BVar6 = result_00[uVar2];\n      while (BVar6 == 0) {\n        uVar2 = uVar2 - 1;\n        *result_00 = uVar2;\n        if (uVar2 == 1) break;\n        BVar6 = result_00[uVar2];\n      }\n    }\n  }\n  iVar1 = bignum_cmp(result,result_00);\n  if (iVar1 < 0) {\n    b_00 = bigsub(n,result_00);\n    if (b_00 == (Bignum_conflict)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    BVar6 = *result;\n    if ((int)*result <= (int)*b_00) {\n      BVar6 = *b_00;\n    }\n    uVar2 = BVar6 + 1;\n    if (0x3fffffe < uVar2) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      newbn(in_stack_ffffffc4);\n    }\n    n_00 = BVar6 + 2;\n    local_34 = (uint *)safemalloc(n_00,4);\n    memset(local_34,0,n_00 * 4);\n    *local_34 = uVar2;\n    if (uVar2 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar2 = 0;\n      uVar5 = 1;\n      do {\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      } while (uVar5 != n_00);\n    }\n    *local_34 = local_30;\n    smemclr(b_00,*b_00 * 4 + 4);\n    safefree(b_00);\n  }\n  else {\n    local_34 = bigsub(result,result_00);\n  }\n  if (result != a) {\n    smemclr(result,*result * 4 + 4);\n    safefree(result);\n  }\n  if (result_00 != b) {\n    smemclr(result_00,*result_00 * 4 + 4);\n    safefree(result_00);\n  }\n  return local_34;\n}\n\n" comment comment (function_definition "Bignum_conflict modsub(Bignum_conflict a,Bignum_conflict b,Bignum_conflict n)\n\n{\n  int iVar1;\n  Bignum_conflict result;\n  Bignum_conflict result_00;\n  Bignum_conflict b_00;\n  size_t n_00;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  BignumInt BVar6;\n  int in_stack_ffffffc4;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = bignum_cmp(a,n);\n  result = a;\n  if (-1 < iVar1) {\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result,0,(uVar2 + 1) * 4);\n    *result = uVar2;\n    bigdivmod(a,n,result,(Bignum_conflict)0x0);\n    uVar2 = *result;\n    if (1 < uVar2) {\n      do {\n        if (result[uVar2] != 0) break;\n        uVar2 = uVar2 - 1;\n        *result = uVar2;\n      } while (uVar2 != 1);\n    }\n  }\n  iVar1 = bignum_cmp(b,n);\n  result_00 = b;\n  if (-1 < iVar1) {\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result_00 = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result_00,0,(uVar2 + 1) * 4);\n    *result_00 = uVar2;\n    bigdivmod(b,n,result_00,(Bignum_conflict)0x0);\n    uVar2 = *result_00;\n    if (1 < uVar2) {\n      BVar6 = result_00[uVar2];\n      while (BVar6 == 0) {\n        uVar2 = uVar2 - 1;\n        *result_00 = uVar2;\n        if (uVar2 == 1) break;\n        BVar6 = result_00[uVar2];\n      }\n    }\n  }\n  iVar1 = bignum_cmp(result,result_00);\n  if (iVar1 < 0) {\n    b_00 = bigsub(n,result_00);\n    if (b_00 == (Bignum_conflict)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    BVar6 = *result;\n    if ((int)*result <= (int)*b_00) {\n      BVar6 = *b_00;\n    }\n    uVar2 = BVar6 + 1;\n    if (0x3fffffe < uVar2) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      newbn(in_stack_ffffffc4);\n    }\n    n_00 = BVar6 + 2;\n    local_34 = (uint *)safemalloc(n_00,4);\n    memset(local_34,0,n_00 * 4);\n    *local_34 = uVar2;\n    if (uVar2 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar2 = 0;\n      uVar5 = 1;\n      do {\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      } while (uVar5 != n_00);\n    }\n    *local_34 = local_30;\n    smemclr(b_00,*b_00 * 4 + 4);\n    safefree(b_00);\n  }\n  else {\n    local_34 = bigsub(result,result_00);\n  }\n  if (result != a) {\n    smemclr(result,*result * 4 + 4);\n    safefree(result);\n  }\n  if (result_00 != b) {\n    smemclr(result_00,*result_00 * 4 + 4);\n    safefree(result_00);\n  }\n  return local_34;\n}" type_identifier (function_declarator "modsub(Bignum_conflict a,Bignum_conflict b,Bignum_conflict n)" identifier (parameter_list "(Bignum_conflict a,Bignum_conflict b,Bignum_conflict n)" ( (parameter_declaration "Bignum_conflict a" type_identifier identifier) , (parameter_declaration "Bignum_conflict b" type_identifier identifier) , (parameter_declaration "Bignum_conflict n" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  Bignum_conflict result;\n  Bignum_conflict result_00;\n  Bignum_conflict b_00;\n  size_t n_00;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  BignumInt BVar6;\n  int in_stack_ffffffc4;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = bignum_cmp(a,n);\n  result = a;\n  if (-1 < iVar1) {\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result,0,(uVar2 + 1) * 4);\n    *result = uVar2;\n    bigdivmod(a,n,result,(Bignum_conflict)0x0);\n    uVar2 = *result;\n    if (1 < uVar2) {\n      do {\n        if (result[uVar2] != 0) break;\n        uVar2 = uVar2 - 1;\n        *result = uVar2;\n      } while (uVar2 != 1);\n    }\n  }\n  iVar1 = bignum_cmp(b,n);\n  result_00 = b;\n  if (-1 < iVar1) {\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result_00 = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result_00,0,(uVar2 + 1) * 4);\n    *result_00 = uVar2;\n    bigdivmod(b,n,result_00,(Bignum_conflict)0x0);\n    uVar2 = *result_00;\n    if (1 < uVar2) {\n      BVar6 = result_00[uVar2];\n      while (BVar6 == 0) {\n        uVar2 = uVar2 - 1;\n        *result_00 = uVar2;\n        if (uVar2 == 1) break;\n        BVar6 = result_00[uVar2];\n      }\n    }\n  }\n  iVar1 = bignum_cmp(result,result_00);\n  if (iVar1 < 0) {\n    b_00 = bigsub(n,result_00);\n    if (b_00 == (Bignum_conflict)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    BVar6 = *result;\n    if ((int)*result <= (int)*b_00) {\n      BVar6 = *b_00;\n    }\n    uVar2 = BVar6 + 1;\n    if (0x3fffffe < uVar2) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      newbn(in_stack_ffffffc4);\n    }\n    n_00 = BVar6 + 2;\n    local_34 = (uint *)safemalloc(n_00,4);\n    memset(local_34,0,n_00 * 4);\n    *local_34 = uVar2;\n    if (uVar2 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar2 = 0;\n      uVar5 = 1;\n      do {\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      } while (uVar5 != n_00);\n    }\n    *local_34 = local_30;\n    smemclr(b_00,*b_00 * 4 + 4);\n    safefree(b_00);\n  }\n  else {\n    local_34 = bigsub(result,result_00);\n  }\n  if (result != a) {\n    smemclr(result,*result * 4 + 4);\n    safefree(result);\n  }\n  if (result_00 != b) {\n    smemclr(result_00,*result_00 * 4 + 4);\n    safefree(result_00);\n  }\n  return local_34;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "Bignum_conflict result;" type_identifier identifier ;) (declaration "Bignum_conflict result_00;" type_identifier identifier ;) (declaration "Bignum_conflict b_00;" type_identifier identifier ;) (declaration "size_t n_00;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "BignumInt BVar6;" type_identifier identifier ;) (declaration "int in_stack_ffffffc4;" primitive_type identifier ;) (declaration "uint *local_34;" type_identifier (pointer_declarator "*local_34" * identifier) ;) (declaration "uint local_30;" type_identifier identifier ;) (expression_statement "iVar1 = bignum_cmp(a,n);" (assignment_expression "iVar1 = bignum_cmp(a,n)" identifier = (call_expression "bignum_cmp(a,n)" identifier (argument_list "(a,n)" ( identifier , identifier )))) ;) (expression_statement "result = a;" (assignment_expression "result = a" identifier = identifier) ;) (if_statement "if (-1 < iVar1) {\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result,0,(uVar2 + 1) * 4);\n    *result = uVar2;\n    bigdivmod(a,n,result,(Bignum_conflict)0x0);\n    uVar2 = *result;\n    if (1 < uVar2) {\n      do {\n        if (result[uVar2] != 0) break;\n        uVar2 = uVar2 - 1;\n        *result = uVar2;\n      } while (uVar2 != 1);\n    }\n  }" if (parenthesized_expression "(-1 < iVar1)" ( (binary_expression "-1 < iVar1" number_literal < identifier) )) (compound_statement "{\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result,0,(uVar2 + 1) * 4);\n    *result = uVar2;\n    bigdivmod(a,n,result,(Bignum_conflict)0x0);\n    uVar2 = *result;\n    if (1 < uVar2) {\n      do {\n        if (result[uVar2] != 0) break;\n        uVar2 = uVar2 - 1;\n        *result = uVar2;\n      } while (uVar2 != 1);\n    }\n  }" { (expression_statement "uVar2 = *n;" (assignment_expression "uVar2 = *n" identifier = (pointer_expression "*n" * identifier)) ;) (if_statement "if (0x3fffffe < uVar2) goto LAB_0004fe94;" if (parenthesized_expression "(0x3fffffe < uVar2)" ( (binary_expression "0x3fffffe < uVar2" number_literal < identifier) )) (goto_statement "goto LAB_0004fe94;" goto statement_identifier ;)) (expression_statement "result = (Bignum_conflict)safemalloc(uVar2 + 1,4);" (assignment_expression "result = (Bignum_conflict)safemalloc(uVar2 + 1,4)" identifier = (cast_expression "(Bignum_conflict)safemalloc(uVar2 + 1,4)" ( (type_descriptor "Bignum_conflict" type_identifier) ) (call_expression "safemalloc(uVar2 + 1,4)" identifier (argument_list "(uVar2 + 1,4)" ( (binary_expression "uVar2 + 1" identifier + number_literal) , number_literal ))))) ;) (expression_statement "memset(result,0,(uVar2 + 1) * 4);" (call_expression "memset(result,0,(uVar2 + 1) * 4)" identifier (argument_list "(result,0,(uVar2 + 1) * 4)" ( identifier , number_literal , (binary_expression "(uVar2 + 1) * 4" (parenthesized_expression "(uVar2 + 1)" ( (binary_expression "uVar2 + 1" identifier + number_literal) )) * number_literal) ))) ;) (expression_statement "*result = uVar2;" (assignment_expression "*result = uVar2" (pointer_expression "*result" * identifier) = identifier) ;) (expression_statement "bigdivmod(a,n,result,(Bignum_conflict)0x0);" (call_expression "bigdivmod(a,n,result,(Bignum_conflict)0x0)" identifier (argument_list "(a,n,result,(Bignum_conflict)0x0)" ( identifier , identifier , identifier , (cast_expression "(Bignum_conflict)0x0" ( (type_descriptor "Bignum_conflict" type_identifier) ) number_literal) ))) ;) (expression_statement "uVar2 = *result;" (assignment_expression "uVar2 = *result" identifier = (pointer_expression "*result" * identifier)) ;) (if_statement "if (1 < uVar2) {\n      do {\n        if (result[uVar2] != 0) break;\n        uVar2 = uVar2 - 1;\n        *result = uVar2;\n      } while (uVar2 != 1);\n    }" if (parenthesized_expression "(1 < uVar2)" ( (binary_expression "1 < uVar2" number_literal < identifier) )) (compound_statement "{\n      do {\n        if (result[uVar2] != 0) break;\n        uVar2 = uVar2 - 1;\n        *result = uVar2;\n      } while (uVar2 != 1);\n    }" { (do_statement "do {\n        if (result[uVar2] != 0) break;\n        uVar2 = uVar2 - 1;\n        *result = uVar2;\n      } while (uVar2 != 1);" do (compound_statement "{\n        if (result[uVar2] != 0) break;\n        uVar2 = uVar2 - 1;\n        *result = uVar2;\n      }" { (if_statement "if (result[uVar2] != 0) break;" if (parenthesized_expression "(result[uVar2] != 0)" ( (binary_expression "result[uVar2] != 0" (subscript_expression "result[uVar2]" identifier [ identifier ]) != number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar2 = uVar2 - 1;" (assignment_expression "uVar2 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) (expression_statement "*result = uVar2;" (assignment_expression "*result = uVar2" (pointer_expression "*result" * identifier) = identifier) ;) }) while (parenthesized_expression "(uVar2 != 1)" ( (binary_expression "uVar2 != 1" identifier != number_literal) )) ;) })) })) (expression_statement "iVar1 = bignum_cmp(b,n);" (assignment_expression "iVar1 = bignum_cmp(b,n)" identifier = (call_expression "bignum_cmp(b,n)" identifier (argument_list "(b,n)" ( identifier , identifier )))) ;) (expression_statement "result_00 = b;" (assignment_expression "result_00 = b" identifier = identifier) ;) (if_statement "if (-1 < iVar1) {\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result_00 = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result_00,0,(uVar2 + 1) * 4);\n    *result_00 = uVar2;\n    bigdivmod(b,n,result_00,(Bignum_conflict)0x0);\n    uVar2 = *result_00;\n    if (1 < uVar2) {\n      BVar6 = result_00[uVar2];\n      while (BVar6 == 0) {\n        uVar2 = uVar2 - 1;\n        *result_00 = uVar2;\n        if (uVar2 == 1) break;\n        BVar6 = result_00[uVar2];\n      }\n    }\n  }" if (parenthesized_expression "(-1 < iVar1)" ( (binary_expression "-1 < iVar1" number_literal < identifier) )) (compound_statement "{\n    uVar2 = *n;\n    if (0x3fffffe < uVar2) goto LAB_0004fe94;\n    result_00 = (Bignum_conflict)safemalloc(uVar2 + 1,4);\n    memset(result_00,0,(uVar2 + 1) * 4);\n    *result_00 = uVar2;\n    bigdivmod(b,n,result_00,(Bignum_conflict)0x0);\n    uVar2 = *result_00;\n    if (1 < uVar2) {\n      BVar6 = result_00[uVar2];\n      while (BVar6 == 0) {\n        uVar2 = uVar2 - 1;\n        *result_00 = uVar2;\n        if (uVar2 == 1) break;\n        BVar6 = result_00[uVar2];\n      }\n    }\n  }" { (expression_statement "uVar2 = *n;" (assignment_expression "uVar2 = *n" identifier = (pointer_expression "*n" * identifier)) ;) (if_statement "if (0x3fffffe < uVar2) goto LAB_0004fe94;" if (parenthesized_expression "(0x3fffffe < uVar2)" ( (binary_expression "0x3fffffe < uVar2" number_literal < identifier) )) (goto_statement "goto LAB_0004fe94;" goto statement_identifier ;)) (expression_statement "result_00 = (Bignum_conflict)safemalloc(uVar2 + 1,4);" (assignment_expression "result_00 = (Bignum_conflict)safemalloc(uVar2 + 1,4)" identifier = (cast_expression "(Bignum_conflict)safemalloc(uVar2 + 1,4)" ( (type_descriptor "Bignum_conflict" type_identifier) ) (call_expression "safemalloc(uVar2 + 1,4)" identifier (argument_list "(uVar2 + 1,4)" ( (binary_expression "uVar2 + 1" identifier + number_literal) , number_literal ))))) ;) (expression_statement "memset(result_00,0,(uVar2 + 1) * 4);" (call_expression "memset(result_00,0,(uVar2 + 1) * 4)" identifier (argument_list "(result_00,0,(uVar2 + 1) * 4)" ( identifier , number_literal , (binary_expression "(uVar2 + 1) * 4" (parenthesized_expression "(uVar2 + 1)" ( (binary_expression "uVar2 + 1" identifier + number_literal) )) * number_literal) ))) ;) (expression_statement "*result_00 = uVar2;" (assignment_expression "*result_00 = uVar2" (pointer_expression "*result_00" * identifier) = identifier) ;) (expression_statement "bigdivmod(b,n,result_00,(Bignum_conflict)0x0);" (call_expression "bigdivmod(b,n,result_00,(Bignum_conflict)0x0)" identifier (argument_list "(b,n,result_00,(Bignum_conflict)0x0)" ( identifier , identifier , identifier , (cast_expression "(Bignum_conflict)0x0" ( (type_descriptor "Bignum_conflict" type_identifier) ) number_literal) ))) ;) (expression_statement "uVar2 = *result_00;" (assignment_expression "uVar2 = *result_00" identifier = (pointer_expression "*result_00" * identifier)) ;) (if_statement "if (1 < uVar2) {\n      BVar6 = result_00[uVar2];\n      while (BVar6 == 0) {\n        uVar2 = uVar2 - 1;\n        *result_00 = uVar2;\n        if (uVar2 == 1) break;\n        BVar6 = result_00[uVar2];\n      }\n    }" if (parenthesized_expression "(1 < uVar2)" ( (binary_expression "1 < uVar2" number_literal < identifier) )) (compound_statement "{\n      BVar6 = result_00[uVar2];\n      while (BVar6 == 0) {\n        uVar2 = uVar2 - 1;\n        *result_00 = uVar2;\n        if (uVar2 == 1) break;\n        BVar6 = result_00[uVar2];\n      }\n    }" { (expression_statement "BVar6 = result_00[uVar2];" (assignment_expression "BVar6 = result_00[uVar2]" identifier = (subscript_expression "result_00[uVar2]" identifier [ identifier ])) ;) (while_statement "while (BVar6 == 0) {\n        uVar2 = uVar2 - 1;\n        *result_00 = uVar2;\n        if (uVar2 == 1) break;\n        BVar6 = result_00[uVar2];\n      }" while (parenthesized_expression "(BVar6 == 0)" ( (binary_expression "BVar6 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar2 = uVar2 - 1;\n        *result_00 = uVar2;\n        if (uVar2 == 1) break;\n        BVar6 = result_00[uVar2];\n      }" { (expression_statement "uVar2 = uVar2 - 1;" (assignment_expression "uVar2 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) (expression_statement "*result_00 = uVar2;" (assignment_expression "*result_00 = uVar2" (pointer_expression "*result_00" * identifier) = identifier) ;) (if_statement "if (uVar2 == 1) break;" if (parenthesized_expression "(uVar2 == 1)" ( (binary_expression "uVar2 == 1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "BVar6 = result_00[uVar2];" (assignment_expression "BVar6 = result_00[uVar2]" identifier = (subscript_expression "result_00[uVar2]" identifier [ identifier ])) ;) })) })) })) (expression_statement "iVar1 = bignum_cmp(result,result_00);" (assignment_expression "iVar1 = bignum_cmp(result,result_00)" identifier = (call_expression "bignum_cmp(result,result_00)" identifier (argument_list "(result,result_00)" ( identifier , identifier )))) ;) (if_statement "if (iVar1 < 0) {\n    b_00 = bigsub(n,result_00);\n    if (b_00 == (Bignum_conflict)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    BVar6 = *result;\n    if ((int)*result <= (int)*b_00) {\n      BVar6 = *b_00;\n    }\n    uVar2 = BVar6 + 1;\n    if (0x3fffffe < uVar2) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      newbn(in_stack_ffffffc4);\n    }\n    n_00 = BVar6 + 2;\n    local_34 = (uint *)safemalloc(n_00,4);\n    memset(local_34,0,n_00 * 4);\n    *local_34 = uVar2;\n    if (uVar2 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar2 = 0;\n      uVar5 = 1;\n      do {\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      } while (uVar5 != n_00);\n    }\n    *local_34 = local_30;\n    smemclr(b_00,*b_00 * 4 + 4);\n    safefree(b_00);\n  }\n  else {\n    local_34 = bigsub(result,result_00);\n  }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n    b_00 = bigsub(n,result_00);\n    if (b_00 == (Bignum_conflict)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    BVar6 = *result;\n    if ((int)*result <= (int)*b_00) {\n      BVar6 = *b_00;\n    }\n    uVar2 = BVar6 + 1;\n    if (0x3fffffe < uVar2) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      newbn(in_stack_ffffffc4);\n    }\n    n_00 = BVar6 + 2;\n    local_34 = (uint *)safemalloc(n_00,4);\n    memset(local_34,0,n_00 * 4);\n    *local_34 = uVar2;\n    if (uVar2 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar2 = 0;\n      uVar5 = 1;\n      do {\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      } while (uVar5 != n_00);\n    }\n    *local_34 = local_30;\n    smemclr(b_00,*b_00 * 4 + 4);\n    safefree(b_00);\n  }" { (expression_statement "b_00 = bigsub(n,result_00);" (assignment_expression "b_00 = bigsub(n,result_00)" identifier = (call_expression "bigsub(n,result_00)" identifier (argument_list "(n,result_00)" ( identifier , identifier )))) ;) (if_statement "if (b_00 == (Bignum_conflict)0x0) {\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }" if (parenthesized_expression "(b_00 == (Bignum_conflict)0x0)" ( (binary_expression "b_00 == (Bignum_conflict)0x0" identifier == (cast_expression "(Bignum_conflict)0x0" ( (type_descriptor "Bignum_conflict" type_identifier) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }" { comment (expression_statement "__assert_fail("tmp","sshbn.c",0x523,"modsub");" (call_expression "__assert_fail("tmp","sshbn.c",0x523,"modsub")" identifier (argument_list "("tmp","sshbn.c",0x523,"modsub")" ( (string_literal ""tmp"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""modsub"" " string_content ") ))) ;) })) (expression_statement "BVar6 = *result;" (assignment_expression "BVar6 = *result" identifier = (pointer_expression "*result" * identifier)) ;) (if_statement "if ((int)*result <= (int)*b_00) {\n      BVar6 = *b_00;\n    }" if (parenthesized_expression "((int)*result <= (int)*b_00)" ( (binary_expression "(int)*result <= (int)*b_00" (cast_expression "(int)*result" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*result" * identifier)) <= (cast_expression "(int)*b_00" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*b_00" * identifier))) )) (compound_statement "{\n      BVar6 = *b_00;\n    }" { (expression_statement "BVar6 = *b_00;" (assignment_expression "BVar6 = *b_00" identifier = (pointer_expression "*b_00" * identifier)) ;) })) (expression_statement "uVar2 = BVar6 + 1;" (assignment_expression "uVar2 = BVar6 + 1" identifier = (binary_expression "BVar6 + 1" identifier + number_literal)) ;) (if_statement "if (0x3fffffe < uVar2) {\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      newbn(in_stack_ffffffc4);\n    }" if (parenthesized_expression "(0x3fffffe < uVar2)" ( (binary_expression "0x3fffffe < uVar2" number_literal < identifier) )) (compound_statement "{\nLAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      newbn(in_stack_ffffffc4);\n    }" { (labeled_statement "LAB_0004fe94:\n                    /* WARNING: Subroutine does not return */\n      newbn(in_stack_ffffffc4);" statement_identifier : comment (expression_statement "newbn(in_stack_ffffffc4);" (call_expression "newbn(in_stack_ffffffc4)" identifier (argument_list "(in_stack_ffffffc4)" ( identifier ))) ;)) })) (expression_statement "n_00 = BVar6 + 2;" (assignment_expression "n_00 = BVar6 + 2" identifier = (binary_expression "BVar6 + 2" identifier + number_literal)) ;) (expression_statement "local_34 = (uint *)safemalloc(n_00,4);" (assignment_expression "local_34 = (uint *)safemalloc(n_00,4)" identifier = (cast_expression "(uint *)safemalloc(n_00,4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "safemalloc(n_00,4)" identifier (argument_list "(n_00,4)" ( identifier , number_literal ))))) ;) (expression_statement "memset(local_34,0,n_00 * 4);" (call_expression "memset(local_34,0,n_00 * 4)" identifier (argument_list "(local_34,0,n_00 * 4)" ( identifier , number_literal , (binary_expression "n_00 * 4" identifier * number_literal) ))) ;) (expression_statement "*local_34 = uVar2;" (assignment_expression "*local_34 = uVar2" (pointer_expression "*local_34" * identifier) = identifier) ;) (if_statement "if (uVar2 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar2 = 0;\n      uVar5 = 1;\n      do {\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      } while (uVar5 != n_00);\n    }" if (parenthesized_expression "(uVar2 == 0)" ( (binary_expression "uVar2 == 0" identifier == number_literal) )) (compound_statement "{\n      local_30 = 0;\n    }" { (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" identifier = number_literal) ;) }) (else_clause "else {\n      local_30 = 0;\n      uVar2 = 0;\n      uVar5 = 1;\n      do {\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      } while (uVar5 != n_00);\n    }" else (compound_statement "{\n      local_30 = 0;\n      uVar2 = 0;\n      uVar5 = 1;\n      do {\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      } while (uVar5 != n_00);\n    }" { (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" identifier = number_literal) ;) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (expression_statement "uVar5 = 1;" (assignment_expression "uVar5 = 1" identifier = number_literal) ;) (do_statement "do {\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      } while (uVar5 != n_00);" do (compound_statement "{\n        BVar6 = 0;\n        if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }\n        uVar4 = 0;\n        if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }\n        uVar3 = uVar2 + BVar6 + uVar4;\n        uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);\n        local_34[uVar5] = uVar3;\n        if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }\n        uVar5 = uVar5 + 1;\n      }" { (expression_statement "BVar6 = 0;" (assignment_expression "BVar6 = 0" identifier = number_literal) ;) (if_statement "if ((int)uVar5 <= (int)*b_00) {\n          BVar6 = b_00[uVar5];\n        }" if (parenthesized_expression "((int)uVar5 <= (int)*b_00)" ( (binary_expression "(int)uVar5 <= (int)*b_00" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*b_00" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*b_00" * identifier))) )) (compound_statement "{\n          BVar6 = b_00[uVar5];\n        }" { (expression_statement "BVar6 = b_00[uVar5];" (assignment_expression "BVar6 = b_00[uVar5]" identifier = (subscript_expression "b_00[uVar5]" identifier [ identifier ])) ;) })) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (if_statement "if ((int)uVar5 <= (int)*result) {\n          uVar4 = result[uVar5];\n        }" if (parenthesized_expression "((int)uVar5 <= (int)*result)" ( (binary_expression "(int)uVar5 <= (int)*result" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*result" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*result" * identifier))) )) (compound_statement "{\n          uVar4 = result[uVar5];\n        }" { (expression_statement "uVar4 = result[uVar5];" (assignment_expression "uVar4 = result[uVar5]" identifier = (subscript_expression "result[uVar5]" identifier [ identifier ])) ;) })) (expression_statement "uVar3 = uVar2 + BVar6 + uVar4;" (assignment_expression "uVar3 = uVar2 + BVar6 + uVar4" identifier = (binary_expression "uVar2 + BVar6 + uVar4" (binary_expression "uVar2 + BVar6" identifier + identifier) + identifier)) ;) (expression_statement "uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4);" (assignment_expression "uVar2 = (uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4)" identifier = (binary_expression "(uint)CARRY4(uVar2,BVar6) + (uint)CARRY4(uVar2 + BVar6,uVar4)" (cast_expression "(uint)CARRY4(uVar2,BVar6)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar2,BVar6)" identifier (argument_list "(uVar2,BVar6)" ( identifier , identifier )))) + (cast_expression "(uint)CARRY4(uVar2 + BVar6,uVar4)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar2 + BVar6,uVar4)" identifier (argument_list "(uVar2 + BVar6,uVar4)" ( (binary_expression "uVar2 + BVar6" identifier + identifier) , identifier )))))) ;) (expression_statement "local_34[uVar5] = uVar3;" (assignment_expression "local_34[uVar5] = uVar3" (subscript_expression "local_34[uVar5]" identifier [ identifier ]) = identifier) ;) (if_statement "if ((uVar3 != 0) && ((int)local_30 < (int)uVar5)) {\n          local_30 = uVar5;\n        }" if (parenthesized_expression "((uVar3 != 0) && ((int)local_30 < (int)uVar5))" ( (binary_expression "(uVar3 != 0) && ((int)local_30 < (int)uVar5)" (parenthesized_expression "(uVar3 != 0)" ( (binary_expression "uVar3 != 0" identifier != number_literal) )) && (parenthesized_expression "((int)local_30 < (int)uVar5)" ( (binary_expression "(int)local_30 < (int)uVar5" (cast_expression "(int)local_30" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )) (compound_statement "{\n          local_30 = uVar5;\n        }" { (expression_statement "local_30 = uVar5;" (assignment_expression "local_30 = uVar5" identifier = identifier) ;) })) (expression_statement "uVar5 = uVar5 + 1;" (assignment_expression "uVar5 = uVar5 + 1" identifier = (binary_expression "uVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar5 != n_00)" ( (binary_expression "uVar5 != n_00" identifier != identifier) )) ;) }))) (expression_statement "*local_34 = local_30;" (assignment_expression "*local_34 = local_30" (pointer_expression "*local_34" * identifier) = identifier) ;) (expression_statement "smemclr(b_00,*b_00 * 4 + 4);" (call_expression "smemclr(b_00,*b_00 * 4 + 4)" identifier (argument_list "(b_00,*b_00 * 4 + 4)" ( identifier , (binary_expression "*b_00 * 4 + 4" (binary_expression "*b_00 * 4" (pointer_expression "*b_00" * identifier) * number_literal) + number_literal) ))) ;) (expression_statement "safefree(b_00);" (call_expression "safefree(b_00)" identifier (argument_list "(b_00)" ( identifier ))) ;) }) (else_clause "else {\n    local_34 = bigsub(result,result_00);\n  }" else (compound_statement "{\n    local_34 = bigsub(result,result_00);\n  }" { (expression_statement "local_34 = bigsub(result,result_00);" (assignment_expression "local_34 = bigsub(result,result_00)" identifier = (call_expression "bigsub(result,result_00)" identifier (argument_list "(result,result_00)" ( identifier , identifier )))) ;) }))) (if_statement "if (result != a) {\n    smemclr(result,*result * 4 + 4);\n    safefree(result);\n  }" if (parenthesized_expression "(result != a)" ( (binary_expression "result != a" identifier != identifier) )) (compound_statement "{\n    smemclr(result,*result * 4 + 4);\n    safefree(result);\n  }" { (expression_statement "smemclr(result,*result * 4 + 4);" (call_expression "smemclr(result,*result * 4 + 4)" identifier (argument_list "(result,*result * 4 + 4)" ( identifier , (binary_expression "*result * 4 + 4" (binary_expression "*result * 4" (pointer_expression "*result" * identifier) * number_literal) + number_literal) ))) ;) (expression_statement "safefree(result);" (call_expression "safefree(result)" identifier (argument_list "(result)" ( identifier ))) ;) })) (if_statement "if (result_00 != b) {\n    smemclr(result_00,*result_00 * 4 + 4);\n    safefree(result_00);\n  }" if (parenthesized_expression "(result_00 != b)" ( (binary_expression "result_00 != b" identifier != identifier) )) (compound_statement "{\n    smemclr(result_00,*result_00 * 4 + 4);\n    safefree(result_00);\n  }" { (expression_statement "smemclr(result_00,*result_00 * 4 + 4);" (call_expression "smemclr(result_00,*result_00 * 4 + 4)" identifier (argument_list "(result_00,*result_00 * 4 + 4)" ( identifier , (binary_expression "*result_00 * 4 + 4" (binary_expression "*result_00 * 4" (pointer_expression "*result_00" * identifier) * number_literal) + number_literal) ))) ;) (expression_statement "safefree(result_00);" (call_expression "safefree(result_00)" identifier (argument_list "(result_00)" ( identifier ))) ;) })) (return_statement "return local_34;" return identifier ;) })))
(translation_unit "uint * FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)\n\n{\n  int iVar1;\n  uint *__s;\n  uint *__s_00;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = FUN_0004f0b0(param_1,param_3);\n  __s = param_1;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }\n  iVar1 = FUN_0004f0b0(param_2,param_3);\n  __s_00 = param_2;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }\n  iVar1 = FUN_0004f0b0(__s,__s_00);\n  if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }\n  if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }\n  if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }\n  return local_34;\n}\n\n" (function_definition "uint * FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)\n\n{\n  int iVar1;\n  uint *__s;\n  uint *__s_00;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = FUN_0004f0b0(param_1,param_3);\n  __s = param_1;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }\n  iVar1 = FUN_0004f0b0(param_2,param_3);\n  __s_00 = param_2;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }\n  iVar1 = FUN_0004f0b0(__s,__s_00);\n  if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }\n  if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }\n  if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }\n  return local_34;\n}" type_identifier (pointer_declarator "* FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)" * (function_declarator "FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)" identifier (parameter_list "(uint *param_1,uint *param_2,uint *param_3)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) )))) (compound_statement "{\n  int iVar1;\n  uint *__s;\n  uint *__s_00;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = FUN_0004f0b0(param_1,param_3);\n  __s = param_1;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }\n  iVar1 = FUN_0004f0b0(param_2,param_3);\n  __s_00 = param_2;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }\n  iVar1 = FUN_0004f0b0(__s,__s_00);\n  if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }\n  if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }\n  if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }\n  return local_34;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint *__s;" type_identifier (pointer_declarator "*__s" * identifier) ;) (declaration "uint *__s_00;" type_identifier (pointer_declarator "*__s_00" * identifier) ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint *local_34;" type_identifier (pointer_declarator "*local_34" * identifier) ;) (declaration "uint local_30;" type_identifier identifier ;) (expression_statement "iVar1 = FUN_0004f0b0(param_1,param_3);" (assignment_expression "iVar1 = FUN_0004f0b0(param_1,param_3)" identifier = (call_expression "FUN_0004f0b0(param_1,param_3)" identifier (argument_list "(param_1,param_3)" ( identifier , identifier )))) ;) (expression_statement "__s = param_1;" (assignment_expression "__s = param_1" identifier = identifier) ;) (if_statement "if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }" if (parenthesized_expression "(-1 < iVar1)" ( (binary_expression "-1 < iVar1" number_literal < identifier) )) (compound_statement "{\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }" { (expression_statement "uVar3 = *param_3;" (assignment_expression "uVar3 = *param_3" identifier = (pointer_expression "*param_3" * identifier)) ;) (if_statement "if (0x3fffffe < uVar3) goto LAB_0004fe94;" if (parenthesized_expression "(0x3fffffe < uVar3)" ( (binary_expression "0x3fffffe < uVar3" number_literal < identifier) )) (goto_statement "goto LAB_0004fe94;" goto statement_identifier ;)) (expression_statement "__s = (uint *)FUN_0001fe90(uVar3 + 1,4);" (assignment_expression "__s = (uint *)FUN_0001fe90(uVar3 + 1,4)" identifier = (cast_expression "(uint *)FUN_0001fe90(uVar3 + 1,4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0001fe90(uVar3 + 1,4)" identifier (argument_list "(uVar3 + 1,4)" ( (binary_expression "uVar3 + 1" identifier + number_literal) , number_literal ))))) ;) (expression_statement "memset(__s,0,(uVar3 + 1) * 4);" (call_expression "memset(__s,0,(uVar3 + 1) * 4)" identifier (argument_list "(__s,0,(uVar3 + 1) * 4)" ( identifier , number_literal , (binary_expression "(uVar3 + 1) * 4" (parenthesized_expression "(uVar3 + 1)" ( (binary_expression "uVar3 + 1" identifier + number_literal) )) * number_literal) ))) ;) (expression_statement "*__s = uVar3;" (assignment_expression "*__s = uVar3" (pointer_expression "*__s" * identifier) = identifier) ;) (expression_statement "FUN_0004cdc0(0);" (call_expression "FUN_0004cdc0(0)" identifier (argument_list "(0)" ( number_literal ))) ;) (expression_statement "uVar3 = *__s;" (assignment_expression "uVar3 = *__s" identifier = (pointer_expression "*__s" * identifier)) ;) (if_statement "if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }" if (parenthesized_expression "(1 < uVar3)" ( (binary_expression "1 < uVar3" number_literal < identifier) )) (compound_statement "{\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }" { (do_statement "do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);" do (compound_statement "{\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      }" { (if_statement "if (__s[uVar3] != 0) break;" if (parenthesized_expression "(__s[uVar3] != 0)" ( (binary_expression "__s[uVar3] != 0" (subscript_expression "__s[uVar3]" identifier [ identifier ]) != number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (expression_statement "*__s = uVar3;" (assignment_expression "*__s = uVar3" (pointer_expression "*__s" * identifier) = identifier) ;) }) while (parenthesized_expression "(uVar3 != 1)" ( (binary_expression "uVar3 != 1" identifier != number_literal) )) ;) })) })) (expression_statement "iVar1 = FUN_0004f0b0(param_2,param_3);" (assignment_expression "iVar1 = FUN_0004f0b0(param_2,param_3)" identifier = (call_expression "FUN_0004f0b0(param_2,param_3)" identifier (argument_list "(param_2,param_3)" ( identifier , identifier )))) ;) (expression_statement "__s_00 = param_2;" (assignment_expression "__s_00 = param_2" identifier = identifier) ;) (if_statement "if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }" if (parenthesized_expression "(-1 < iVar1)" ( (binary_expression "-1 < iVar1" number_literal < identifier) )) (compound_statement "{\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }" { (expression_statement "uVar3 = *param_3;" (assignment_expression "uVar3 = *param_3" identifier = (pointer_expression "*param_3" * identifier)) ;) (if_statement "if (0x3fffffe < uVar3) goto LAB_0004fe94;" if (parenthesized_expression "(0x3fffffe < uVar3)" ( (binary_expression "0x3fffffe < uVar3" number_literal < identifier) )) (goto_statement "goto LAB_0004fe94;" goto statement_identifier ;)) (expression_statement "__s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);" (assignment_expression "__s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4)" identifier = (cast_expression "(uint *)FUN_0001fe90(uVar3 + 1,4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0001fe90(uVar3 + 1,4)" identifier (argument_list "(uVar3 + 1,4)" ( (binary_expression "uVar3 + 1" identifier + number_literal) , number_literal ))))) ;) (expression_statement "memset(__s_00,0,(uVar3 + 1) * 4);" (call_expression "memset(__s_00,0,(uVar3 + 1) * 4)" identifier (argument_list "(__s_00,0,(uVar3 + 1) * 4)" ( identifier , number_literal , (binary_expression "(uVar3 + 1) * 4" (parenthesized_expression "(uVar3 + 1)" ( (binary_expression "uVar3 + 1" identifier + number_literal) )) * number_literal) ))) ;) (expression_statement "*__s_00 = uVar3;" (assignment_expression "*__s_00 = uVar3" (pointer_expression "*__s_00" * identifier) = identifier) ;) (expression_statement "FUN_0004cdc0(0);" (call_expression "FUN_0004cdc0(0)" identifier (argument_list "(0)" ( number_literal ))) ;) (expression_statement "uVar3 = *__s_00;" (assignment_expression "uVar3 = *__s_00" identifier = (pointer_expression "*__s_00" * identifier)) ;) (if_statement "if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }" if (parenthesized_expression "(1 < uVar3)" ( (binary_expression "1 < uVar3" number_literal < identifier) )) (compound_statement "{\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }" { (expression_statement "uVar4 = __s_00[uVar3];" (assignment_expression "uVar4 = __s_00[uVar3]" identifier = (subscript_expression "__s_00[uVar3]" identifier [ identifier ])) ;) (while_statement "while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }" while (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }" { (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (expression_statement "*__s_00 = uVar3;" (assignment_expression "*__s_00 = uVar3" (pointer_expression "*__s_00" * identifier) = identifier) ;) (if_statement "if (uVar3 == 1) break;" if (parenthesized_expression "(uVar3 == 1)" ( (binary_expression "uVar3 == 1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar4 = __s_00[uVar3];" (assignment_expression "uVar4 = __s_00[uVar3]" identifier = (subscript_expression "__s_00[uVar3]" identifier [ identifier ])) ;) })) })) })) (expression_statement "iVar1 = FUN_0004f0b0(__s,__s_00);" (assignment_expression "iVar1 = FUN_0004f0b0(__s,__s_00)" identifier = (call_expression "FUN_0004f0b0(__s,__s_00)" identifier (argument_list "(__s,__s_00)" ( identifier , identifier )))) ;) (if_statement "if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }" { (expression_statement "puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);" (assignment_expression "puVar2 = (uint *)FUN_0004fa20(param_3,__s_00)" identifier = (cast_expression "(uint *)FUN_0004fa20(param_3,__s_00)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0004fa20(param_3,__s_00)" identifier (argument_list "(param_3,__s_00)" ( identifier , identifier ))))) ;) (if_statement "if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }" if (parenthesized_expression "(puVar2 == (uint *)0x0)" ( (binary_expression "puVar2 == (uint *)0x0" identifier == (cast_expression "(uint *)0x0" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }" { (expression_statement "__assert_fail("tmp","sshbn.c",0x523,"modsub");" (call_expression "__assert_fail("tmp","sshbn.c",0x523,"modsub")" identifier (argument_list "("tmp","sshbn.c",0x523,"modsub")" ( (string_literal ""tmp"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""modsub"" " string_content ") ))) ;) })) (expression_statement "uVar3 = *__s;" (assignment_expression "uVar3 = *__s" identifier = (pointer_expression "*__s" * identifier)) ;) (if_statement "if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }" if (parenthesized_expression "((int)*__s <= (int)*puVar2)" ( (binary_expression "(int)*__s <= (int)*puVar2" (cast_expression "(int)*__s" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*__s" * identifier)) <= (cast_expression "(int)*puVar2" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*puVar2" * identifier))) )) (compound_statement "{\n      uVar3 = *puVar2;\n    }" { (expression_statement "uVar3 = *puVar2;" (assignment_expression "uVar3 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) })) (expression_statement "uVar4 = uVar3 + 1;" (assignment_expression "uVar4 = uVar3 + 1" identifier = (binary_expression "uVar3 + 1" identifier + number_literal)) ;) (if_statement "if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }" if (parenthesized_expression "(0x3fffffe < uVar4)" ( (binary_expression "0x3fffffe < uVar4" number_literal < identifier) )) (compound_statement "{\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }" { (labeled_statement "LAB_0004fe94:\n                    \n      FUN_0004c070();" statement_identifier : (expression_statement "FUN_0004c070();" (call_expression "FUN_0004c070()" identifier (argument_list "()" ( ))) ;)) })) (expression_statement "uVar3 = uVar3 + 2;" (assignment_expression "uVar3 = uVar3 + 2" identifier = (binary_expression "uVar3 + 2" identifier + number_literal)) ;) (expression_statement "local_34 = (uint *)FUN_0001fe90(uVar3,4);" (assignment_expression "local_34 = (uint *)FUN_0001fe90(uVar3,4)" identifier = (cast_expression "(uint *)FUN_0001fe90(uVar3,4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0001fe90(uVar3,4)" identifier (argument_list "(uVar3,4)" ( identifier , number_literal ))))) ;) (expression_statement "memset(local_34,0,uVar3 * 4);" (call_expression "memset(local_34,0,uVar3 * 4)" identifier (argument_list "(local_34,0,uVar3 * 4)" ( identifier , number_literal , (binary_expression "uVar3 * 4" identifier * number_literal) ))) ;) (expression_statement "*local_34 = uVar4;" (assignment_expression "*local_34 = uVar4" (pointer_expression "*local_34" * identifier) = identifier) ;) (if_statement "if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }" if (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (compound_statement "{\n      local_30 = 0;\n    }" { (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" identifier = number_literal) ;) }) (else_clause "else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }" else (compound_statement "{\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }" { (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" identifier = number_literal) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "uVar7 = 1;" (assignment_expression "uVar7 = 1" identifier = number_literal) ;) (do_statement "do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);" do (compound_statement "{\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      }" { (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) (if_statement "if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }" if (parenthesized_expression "((int)uVar7 <= (int)*puVar2)" ( (binary_expression "(int)uVar7 <= (int)*puVar2" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*puVar2" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*puVar2" * identifier))) )) (compound_statement "{\n          uVar8 = puVar2[uVar7];\n        }" { (expression_statement "uVar8 = puVar2[uVar7];" (assignment_expression "uVar8 = puVar2[uVar7]" identifier = (subscript_expression "puVar2[uVar7]" identifier [ identifier ])) ;) })) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (if_statement "if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }" if (parenthesized_expression "((int)uVar7 <= (int)*__s)" ( (binary_expression "(int)uVar7 <= (int)*__s" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*__s" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*__s" * identifier))) )) (compound_statement "{\n          uVar6 = __s[uVar7];\n        }" { (expression_statement "uVar6 = __s[uVar7];" (assignment_expression "uVar6 = __s[uVar7]" identifier = (subscript_expression "__s[uVar7]" identifier [ identifier ])) ;) })) (expression_statement "uVar5 = uVar4 + uVar8 + uVar6;" (assignment_expression "uVar5 = uVar4 + uVar8 + uVar6" identifier = (binary_expression "uVar4 + uVar8 + uVar6" (binary_expression "uVar4 + uVar8" identifier + identifier) + identifier)) ;) (expression_statement "uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);" (assignment_expression "uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6)" identifier = (binary_expression "(uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6)" (cast_expression "(uint)CARRY4(uVar4,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4,uVar8)" identifier (argument_list "(uVar4,uVar8)" ( identifier , identifier )))) + (cast_expression "(uint)CARRY4(uVar4 + uVar8,uVar6)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar4 + uVar8,uVar6)" identifier (argument_list "(uVar4 + uVar8,uVar6)" ( (binary_expression "uVar4 + uVar8" identifier + identifier) , identifier )))))) ;) (expression_statement "local_34[uVar7] = uVar5;" (assignment_expression "local_34[uVar7] = uVar5" (subscript_expression "local_34[uVar7]" identifier [ identifier ]) = identifier) ;) (if_statement "if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }" if (parenthesized_expression "((uVar5 != 0) && ((int)local_30 < (int)uVar7))" ( (binary_expression "(uVar5 != 0) && ((int)local_30 < (int)uVar7)" (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) && (parenthesized_expression "((int)local_30 < (int)uVar7)" ( (binary_expression "(int)local_30 < (int)uVar7" (cast_expression "(int)local_30" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )) (compound_statement "{\n          local_30 = uVar7;\n        }" { (expression_statement "local_30 = uVar7;" (assignment_expression "local_30 = uVar7" identifier = identifier) ;) })) (expression_statement "uVar7 = uVar7 + 1;" (assignment_expression "uVar7 = uVar7 + 1" identifier = (binary_expression "uVar7 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar7 != uVar3)" ( (binary_expression "uVar7 != uVar3" identifier != identifier) )) ;) }))) (expression_statement "*local_34 = local_30;" (assignment_expression "*local_34 = local_30" (pointer_expression "*local_34" * identifier) = identifier) ;) (expression_statement "FUN_00020110(puVar2,*puVar2 * 4 + 4);" (call_expression "FUN_00020110(puVar2,*puVar2 * 4 + 4)" identifier (argument_list "(puVar2,*puVar2 * 4 + 4)" ( identifier , (binary_expression "*puVar2 * 4 + 4" (binary_expression "*puVar2 * 4" (pointer_expression "*puVar2" * identifier) * number_literal) + number_literal) ))) ;) (expression_statement "FUN_00020030(puVar2);" (call_expression "FUN_00020030(puVar2)" identifier (argument_list "(puVar2)" ( identifier ))) ;) }) (else_clause "else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }" else (compound_statement "{\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }" { (expression_statement "local_34 = (uint *)FUN_0004fa20(__s,__s_00);" (assignment_expression "local_34 = (uint *)FUN_0004fa20(__s,__s_00)" identifier = (cast_expression "(uint *)FUN_0004fa20(__s,__s_00)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0004fa20(__s,__s_00)" identifier (argument_list "(__s,__s_00)" ( identifier , identifier ))))) ;) }))) (if_statement "if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }" if (parenthesized_expression "(__s != param_1)" ( (binary_expression "__s != param_1" identifier != identifier) )) (compound_statement "{\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }" { (expression_statement "FUN_00020110(__s,*__s * 4 + 4);" (call_expression "FUN_00020110(__s,*__s * 4 + 4)" identifier (argument_list "(__s,*__s * 4 + 4)" ( identifier , (binary_expression "*__s * 4 + 4" (binary_expression "*__s * 4" (pointer_expression "*__s" * identifier) * number_literal) + number_literal) ))) ;) (expression_statement "FUN_00020030(__s);" (call_expression "FUN_00020030(__s)" identifier (argument_list "(__s)" ( identifier ))) ;) })) (if_statement "if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }" if (parenthesized_expression "(__s_00 != param_2)" ( (binary_expression "__s_00 != param_2" identifier != identifier) )) (compound_statement "{\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }" { (expression_statement "FUN_00020110(__s_00,*__s_00 * 4 + 4);" (call_expression "FUN_00020110(__s_00,*__s_00 * 4 + 4)" identifier (argument_list "(__s_00,*__s_00 * 4 + 4)" ( identifier , (binary_expression "*__s_00 * 4 + 4" (binary_expression "*__s_00 * 4" (pointer_expression "*__s_00" * identifier) * number_literal) + number_literal) ))) ;) (expression_statement "FUN_00020030(__s_00);" (call_expression "FUN_00020030(__s_00)" identifier (argument_list "(__s_00)" ( identifier ))) ;) })) (return_statement "return local_34;" return identifier ;) })))
(translation_unit (function_definition TYPE (pointer_declarator * (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) )))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * 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 (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT )))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( (binary_expression IDENT + LIT) , LIT ))))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT , (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) * LIT) ))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ IDENT ]) != LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) })) })) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT )))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( (binary_expression IDENT + LIT) , LIT ))))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT , (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) * LIT) ))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) })) })) })) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT , IDENT ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (pointer_expression * IDENT)) <= (cast_expression ( (type_descriptor TYPE) ) (pointer_expression * IDENT))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (labeled_statement statement_identifier : (expression_statement (call_expression IDENT (argument_list ( ))) ;)) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT , LIT ))))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT , (binary_expression IDENT * LIT) ))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) <= (cast_expression ( (type_descriptor TYPE) ) (pointer_expression * IDENT))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) <= (cast_expression ( (type_descriptor TYPE) ) (pointer_expression * IDENT))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , IDENT )))) + (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( (binary_expression IDENT + IDENT) , IDENT )))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != LIT) )) && (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < (cast_expression ( (type_descriptor TYPE) ) IDENT)) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != IDENT) )) ;) }))) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , (binary_expression (binary_expression (pointer_expression * IDENT) * LIT) + LIT) ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT , IDENT ))))) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression IDENT != IDENT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT , (binary_expression (binary_expression (pointer_expression * IDENT) * LIT) + LIT) ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT != IDENT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT , (binary_expression (binary_expression (pointer_expression * IDENT) * LIT) + LIT) ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) })) (return_statement return IDENT ;) })))
(function_definition "uint * FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)\n\n{\n  int iVar1;\n  uint *__s;\n  uint *__s_00;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = FUN_0004f0b0(param_1,param_3);\n  __s = param_1;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }\n  iVar1 = FUN_0004f0b0(param_2,param_3);\n  __s_00 = param_2;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }\n  iVar1 = FUN_0004f0b0(__s,__s_00);\n  if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }\n  if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }\n  if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }\n  return local_34;\n}" (type_identifier "uint") (pointer_declarator "* FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)" (* "*") (function_declarator "FUN_0004fb60(uint *param_1,uint *param_2,uint *param_3)" (identifier "FUN_0004fb60") (parameter_list "(uint *param_1,uint *param_2,uint *param_3)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint *param_3" (type_identifier "uint") (pointer_declarator "*param_3" (* "*") (identifier "param_3"))) () ")")))) (compound_statement "{\n  int iVar1;\n  uint *__s;\n  uint *__s_00;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint *local_34;\n  uint local_30;\n  \n  iVar1 = FUN_0004f0b0(param_1,param_3);\n  __s = param_1;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }\n  iVar1 = FUN_0004f0b0(param_2,param_3);\n  __s_00 = param_2;\n  if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }\n  iVar1 = FUN_0004f0b0(__s,__s_00);\n  if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }\n  if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }\n  if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }\n  return local_34;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "uint *__s;" (type_identifier "uint") (pointer_declarator "*__s" (* "*") (identifier "__s")) (; ";")) (declaration "uint *__s_00;" (type_identifier "uint") (pointer_declarator "*__s_00" (* "*") (identifier "__s_00")) (; ";")) (declaration "uint *puVar2;" (type_identifier "uint") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "uint *local_34;" (type_identifier "uint") (pointer_declarator "*local_34" (* "*") (identifier "local_34")) (; ";")) (declaration "uint local_30;" (type_identifier "uint") (identifier "local_30") (; ";")) (expression_statement "iVar1 = FUN_0004f0b0(param_1,param_3);" (assignment_expression "iVar1 = FUN_0004f0b0(param_1,param_3)" (identifier "iVar1") (= "=") (call_expression "FUN_0004f0b0(param_1,param_3)" (identifier "FUN_0004f0b0") (argument_list "(param_1,param_3)" (( "(") (identifier "param_1") (, ",") (identifier "param_3") () ")")))) (; ";")) (expression_statement "__s = param_1;" (assignment_expression "__s = param_1" (identifier "__s") (= "=") (identifier "param_1")) (; ";")) (if_statement "if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }" (if "if") (parenthesized_expression "(-1 < iVar1)" (( "(") (binary_expression "-1 < iVar1" (number_literal "-1") (< "<") (identifier "iVar1")) () ")")) (compound_statement "{\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s,0,(uVar3 + 1) * 4);\n    *__s = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s;\n    if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }\n  }" ({ "{") (expression_statement "uVar3 = *param_3;" (assignment_expression "uVar3 = *param_3" (identifier "uVar3") (= "=") (pointer_expression "*param_3" (* "*") (identifier "param_3"))) (; ";")) (if_statement "if (0x3fffffe < uVar3) goto LAB_0004fe94;" (if "if") (parenthesized_expression "(0x3fffffe < uVar3)" (( "(") (binary_expression "0x3fffffe < uVar3" (number_literal "0x3fffffe") (< "<") (identifier "uVar3")) () ")")) (goto_statement "goto LAB_0004fe94;" (goto "goto") (statement_identifier "LAB_0004fe94") (; ";"))) (expression_statement "__s = (uint *)FUN_0001fe90(uVar3 + 1,4);" (assignment_expression "__s = (uint *)FUN_0001fe90(uVar3 + 1,4)" (identifier "__s") (= "=") (cast_expression "(uint *)FUN_0001fe90(uVar3 + 1,4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_0001fe90(uVar3 + 1,4)" (identifier "FUN_0001fe90") (argument_list "(uVar3 + 1,4)" (( "(") (binary_expression "uVar3 + 1" (identifier "uVar3") (+ "+") (number_literal "1")) (, ",") (number_literal "4") () ")"))))) (; ";")) (expression_statement "memset(__s,0,(uVar3 + 1) * 4);" (call_expression "memset(__s,0,(uVar3 + 1) * 4)" (identifier "memset") (argument_list "(__s,0,(uVar3 + 1) * 4)" (( "(") (identifier "__s") (, ",") (number_literal "0") (, ",") (binary_expression "(uVar3 + 1) * 4" (parenthesized_expression "(uVar3 + 1)" (( "(") (binary_expression "uVar3 + 1" (identifier "uVar3") (+ "+") (number_literal "1")) () ")")) (* "*") (number_literal "4")) () ")"))) (; ";")) (expression_statement "*__s = uVar3;" (assignment_expression "*__s = uVar3" (pointer_expression "*__s" (* "*") (identifier "__s")) (= "=") (identifier "uVar3")) (; ";")) (expression_statement "FUN_0004cdc0(0);" (call_expression "FUN_0004cdc0(0)" (identifier "FUN_0004cdc0") (argument_list "(0)" (( "(") (number_literal "0") () ")"))) (; ";")) (expression_statement "uVar3 = *__s;" (assignment_expression "uVar3 = *__s" (identifier "uVar3") (= "=") (pointer_expression "*__s" (* "*") (identifier "__s"))) (; ";")) (if_statement "if (1 < uVar3) {\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }" (if "if") (parenthesized_expression "(1 < uVar3)" (( "(") (binary_expression "1 < uVar3" (number_literal "1") (< "<") (identifier "uVar3")) () ")")) (compound_statement "{\n      do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);\n    }" ({ "{") (do_statement "do {\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      } while (uVar3 != 1);" (do "do") (compound_statement "{\n        if (__s[uVar3] != 0) break;\n        uVar3 = uVar3 - 1;\n        *__s = uVar3;\n      }" ({ "{") (if_statement "if (__s[uVar3] != 0) break;" (if "if") (parenthesized_expression "(__s[uVar3] != 0)" (( "(") (binary_expression "__s[uVar3] != 0" (subscript_expression "__s[uVar3]" (identifier "__s") ([ "[") (identifier "uVar3") (] "]")) (!= "!=") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" (identifier "uVar3") (= "=") (binary_expression "uVar3 - 1" (identifier "uVar3") (- "-") (number_literal "1"))) (; ";")) (expression_statement "*__s = uVar3;" (assignment_expression "*__s = uVar3" (pointer_expression "*__s" (* "*") (identifier "__s")) (= "=") (identifier "uVar3")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar3 != 1)" (( "(") (binary_expression "uVar3 != 1" (identifier "uVar3") (!= "!=") (number_literal "1")) () ")")) (; ";")) (} "}"))) (} "}"))) (expression_statement "iVar1 = FUN_0004f0b0(param_2,param_3);" (assignment_expression "iVar1 = FUN_0004f0b0(param_2,param_3)" (identifier "iVar1") (= "=") (call_expression "FUN_0004f0b0(param_2,param_3)" (identifier "FUN_0004f0b0") (argument_list "(param_2,param_3)" (( "(") (identifier "param_2") (, ",") (identifier "param_3") () ")")))) (; ";")) (expression_statement "__s_00 = param_2;" (assignment_expression "__s_00 = param_2" (identifier "__s_00") (= "=") (identifier "param_2")) (; ";")) (if_statement "if (-1 < iVar1) {\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }" (if "if") (parenthesized_expression "(-1 < iVar1)" (( "(") (binary_expression "-1 < iVar1" (number_literal "-1") (< "<") (identifier "iVar1")) () ")")) (compound_statement "{\n    uVar3 = *param_3;\n    if (0x3fffffe < uVar3) goto LAB_0004fe94;\n    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);\n    memset(__s_00,0,(uVar3 + 1) * 4);\n    *__s_00 = uVar3;\n    FUN_0004cdc0(0);\n    uVar3 = *__s_00;\n    if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }\n  }" ({ "{") (expression_statement "uVar3 = *param_3;" (assignment_expression "uVar3 = *param_3" (identifier "uVar3") (= "=") (pointer_expression "*param_3" (* "*") (identifier "param_3"))) (; ";")) (if_statement "if (0x3fffffe < uVar3) goto LAB_0004fe94;" (if "if") (parenthesized_expression "(0x3fffffe < uVar3)" (( "(") (binary_expression "0x3fffffe < uVar3" (number_literal "0x3fffffe") (< "<") (identifier "uVar3")) () ")")) (goto_statement "goto LAB_0004fe94;" (goto "goto") (statement_identifier "LAB_0004fe94") (; ";"))) (expression_statement "__s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);" (assignment_expression "__s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4)" (identifier "__s_00") (= "=") (cast_expression "(uint *)FUN_0001fe90(uVar3 + 1,4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_0001fe90(uVar3 + 1,4)" (identifier "FUN_0001fe90") (argument_list "(uVar3 + 1,4)" (( "(") (binary_expression "uVar3 + 1" (identifier "uVar3") (+ "+") (number_literal "1")) (, ",") (number_literal "4") () ")"))))) (; ";")) (expression_statement "memset(__s_00,0,(uVar3 + 1) * 4);" (call_expression "memset(__s_00,0,(uVar3 + 1) * 4)" (identifier "memset") (argument_list "(__s_00,0,(uVar3 + 1) * 4)" (( "(") (identifier "__s_00") (, ",") (number_literal "0") (, ",") (binary_expression "(uVar3 + 1) * 4" (parenthesized_expression "(uVar3 + 1)" (( "(") (binary_expression "uVar3 + 1" (identifier "uVar3") (+ "+") (number_literal "1")) () ")")) (* "*") (number_literal "4")) () ")"))) (; ";")) (expression_statement "*__s_00 = uVar3;" (assignment_expression "*__s_00 = uVar3" (pointer_expression "*__s_00" (* "*") (identifier "__s_00")) (= "=") (identifier "uVar3")) (; ";")) (expression_statement "FUN_0004cdc0(0);" (call_expression "FUN_0004cdc0(0)" (identifier "FUN_0004cdc0") (argument_list "(0)" (( "(") (number_literal "0") () ")"))) (; ";")) (expression_statement "uVar3 = *__s_00;" (assignment_expression "uVar3 = *__s_00" (identifier "uVar3") (= "=") (pointer_expression "*__s_00" (* "*") (identifier "__s_00"))) (; ";")) (if_statement "if (1 < uVar3) {\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }" (if "if") (parenthesized_expression "(1 < uVar3)" (( "(") (binary_expression "1 < uVar3" (number_literal "1") (< "<") (identifier "uVar3")) () ")")) (compound_statement "{\n      uVar4 = __s_00[uVar3];\n      while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }\n    }" ({ "{") (expression_statement "uVar4 = __s_00[uVar3];" (assignment_expression "uVar4 = __s_00[uVar3]" (identifier "uVar4") (= "=") (subscript_expression "__s_00[uVar3]" (identifier "__s_00") ([ "[") (identifier "uVar3") (] "]"))) (; ";")) (while_statement "while (uVar4 == 0) {\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }" (while "while") (parenthesized_expression "(uVar4 == 0)" (( "(") (binary_expression "uVar4 == 0" (identifier "uVar4") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n        uVar3 = uVar3 - 1;\n        *__s_00 = uVar3;\n        if (uVar3 == 1) break;\n        uVar4 = __s_00[uVar3];\n      }" ({ "{") (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" (identifier "uVar3") (= "=") (binary_expression "uVar3 - 1" (identifier "uVar3") (- "-") (number_literal "1"))) (; ";")) (expression_statement "*__s_00 = uVar3;" (assignment_expression "*__s_00 = uVar3" (pointer_expression "*__s_00" (* "*") (identifier "__s_00")) (= "=") (identifier "uVar3")) (; ";")) (if_statement "if (uVar3 == 1) break;" (if "if") (parenthesized_expression "(uVar3 == 1)" (( "(") (binary_expression "uVar3 == 1" (identifier "uVar3") (== "==") (number_literal "1")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar4 = __s_00[uVar3];" (assignment_expression "uVar4 = __s_00[uVar3]" (identifier "uVar4") (= "=") (subscript_expression "__s_00[uVar3]" (identifier "__s_00") ([ "[") (identifier "uVar3") (] "]"))) (; ";")) (} "}"))) (} "}"))) (} "}"))) (expression_statement "iVar1 = FUN_0004f0b0(__s,__s_00);" (assignment_expression "iVar1 = FUN_0004f0b0(__s,__s_00)" (identifier "iVar1") (= "=") (call_expression "FUN_0004f0b0(__s,__s_00)" (identifier "FUN_0004f0b0") (argument_list "(__s,__s_00)" (( "(") (identifier "__s") (, ",") (identifier "__s_00") () ")")))) (; ";")) (if_statement "if (iVar1 < 0) {\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }\n  else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }" (if "if") (parenthesized_expression "(iVar1 < 0)" (( "(") (binary_expression "iVar1 < 0" (identifier "iVar1") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);\n    if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }\n    uVar3 = *__s;\n    if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }\n    uVar4 = uVar3 + 1;\n    if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }\n    uVar3 = uVar3 + 2;\n    local_34 = (uint *)FUN_0001fe90(uVar3,4);\n    memset(local_34,0,uVar3 * 4);\n    *local_34 = uVar4;\n    if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }\n    *local_34 = local_30;\n    FUN_00020110(puVar2,*puVar2 * 4 + 4);\n    FUN_00020030(puVar2);\n  }" ({ "{") (expression_statement "puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);" (assignment_expression "puVar2 = (uint *)FUN_0004fa20(param_3,__s_00)" (identifier "puVar2") (= "=") (cast_expression "(uint *)FUN_0004fa20(param_3,__s_00)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_0004fa20(param_3,__s_00)" (identifier "FUN_0004fa20") (argument_list "(param_3,__s_00)" (( "(") (identifier "param_3") (, ",") (identifier "__s_00") () ")"))))) (; ";")) (if_statement "if (puVar2 == (uint *)0x0) {\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }" (if "if") (parenthesized_expression "(puVar2 == (uint *)0x0)" (( "(") (binary_expression "puVar2 == (uint *)0x0" (identifier "puVar2") (== "==") (cast_expression "(uint *)0x0" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n                    \n      __assert_fail("tmp","sshbn.c",0x523,"modsub");\n    }" ({ "{") (expression_statement "__assert_fail("tmp","sshbn.c",0x523,"modsub");" (call_expression "__assert_fail("tmp","sshbn.c",0x523,"modsub")" (identifier "__assert_fail") (argument_list "("tmp","sshbn.c",0x523,"modsub")" (( "(") (string_literal ""tmp"" (" """) (string_content "tmp") (" """)) (, ",") (string_literal ""sshbn.c"" (" """) (string_content "sshbn.c") (" """)) (, ",") (number_literal "0x523") (, ",") (string_literal ""modsub"" (" """) (string_content "modsub") (" """)) () ")"))) (; ";")) (} "}"))) (expression_statement "uVar3 = *__s;" (assignment_expression "uVar3 = *__s" (identifier "uVar3") (= "=") (pointer_expression "*__s" (* "*") (identifier "__s"))) (; ";")) (if_statement "if ((int)*__s <= (int)*puVar2) {\n      uVar3 = *puVar2;\n    }" (if "if") (parenthesized_expression "((int)*__s <= (int)*puVar2)" (( "(") (binary_expression "(int)*__s <= (int)*puVar2" (cast_expression "(int)*__s" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "*__s" (* "*") (identifier "__s"))) (<= "<=") (cast_expression "(int)*puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "*puVar2" (* "*") (identifier "puVar2")))) () ")")) (compound_statement "{\n      uVar3 = *puVar2;\n    }" ({ "{") (expression_statement "uVar3 = *puVar2;" (assignment_expression "uVar3 = *puVar2" (identifier "uVar3") (= "=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) (; ";")) (} "}"))) (expression_statement "uVar4 = uVar3 + 1;" (assignment_expression "uVar4 = uVar3 + 1" (identifier "uVar4") (= "=") (binary_expression "uVar3 + 1" (identifier "uVar3") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (0x3fffffe < uVar4) {\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }" (if "if") (parenthesized_expression "(0x3fffffe < uVar4)" (( "(") (binary_expression "0x3fffffe < uVar4" (number_literal "0x3fffffe") (< "<") (identifier "uVar4")) () ")")) (compound_statement "{\nLAB_0004fe94:\n                    \n      FUN_0004c070();\n    }" ({ "{") (labeled_statement "LAB_0004fe94:\n                    \n      FUN_0004c070();" (statement_identifier "LAB_0004fe94") (: ":") (expression_statement "FUN_0004c070();" (call_expression "FUN_0004c070()" (identifier "FUN_0004c070") (argument_list "()" (( "(") () ")"))) (; ";"))) (} "}"))) (expression_statement "uVar3 = uVar3 + 2;" (assignment_expression "uVar3 = uVar3 + 2" (identifier "uVar3") (= "=") (binary_expression "uVar3 + 2" (identifier "uVar3") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "local_34 = (uint *)FUN_0001fe90(uVar3,4);" (assignment_expression "local_34 = (uint *)FUN_0001fe90(uVar3,4)" (identifier "local_34") (= "=") (cast_expression "(uint *)FUN_0001fe90(uVar3,4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_0001fe90(uVar3,4)" (identifier "FUN_0001fe90") (argument_list "(uVar3,4)" (( "(") (identifier "uVar3") (, ",") (number_literal "4") () ")"))))) (; ";")) (expression_statement "memset(local_34,0,uVar3 * 4);" (call_expression "memset(local_34,0,uVar3 * 4)" (identifier "memset") (argument_list "(local_34,0,uVar3 * 4)" (( "(") (identifier "local_34") (, ",") (number_literal "0") (, ",") (binary_expression "uVar3 * 4" (identifier "uVar3") (* "*") (number_literal "4")) () ")"))) (; ";")) (expression_statement "*local_34 = uVar4;" (assignment_expression "*local_34 = uVar4" (pointer_expression "*local_34" (* "*") (identifier "local_34")) (= "=") (identifier "uVar4")) (; ";")) (if_statement "if (uVar4 == 0) {\n      local_30 = 0;\n    }\n    else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }" (if "if") (parenthesized_expression "(uVar4 == 0)" (( "(") (binary_expression "uVar4 == 0" (identifier "uVar4") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      local_30 = 0;\n    }" ({ "{") (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" (identifier "local_30") (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }" (else "else") (compound_statement "{\n      local_30 = 0;\n      uVar4 = 0;\n      uVar7 = 1;\n      do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);\n    }" ({ "{") (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" (identifier "local_30") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar7 = 1;" (assignment_expression "uVar7 = 1" (identifier "uVar7") (= "=") (number_literal "1")) (; ";")) (do_statement "do {\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      } while (uVar7 != uVar3);" (do "do") (compound_statement "{\n        uVar8 = 0;\n        if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }\n        uVar6 = 0;\n        if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }\n        uVar5 = uVar4 + uVar8 + uVar6;\n        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);\n        local_34[uVar7] = uVar5;\n        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }\n        uVar7 = uVar7 + 1;\n      }" ({ "{") (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" (identifier "uVar8") (= "=") (number_literal "0")) (; ";")) (if_statement "if ((int)uVar7 <= (int)*puVar2) {\n          uVar8 = puVar2[uVar7];\n        }" (if "if") (parenthesized_expression "((int)uVar7 <= (int)*puVar2)" (( "(") (binary_expression "(int)uVar7 <= (int)*puVar2" (cast_expression "(int)uVar7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar7")) (<= "<=") (cast_expression "(int)*puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "*puVar2" (* "*") (identifier "puVar2")))) () ")")) (compound_statement "{\n          uVar8 = puVar2[uVar7];\n        }" ({ "{") (expression_statement "uVar8 = puVar2[uVar7];" (assignment_expression "uVar8 = puVar2[uVar7]" (identifier "uVar8") (= "=") (subscript_expression "puVar2[uVar7]" (identifier "puVar2") ([ "[") (identifier "uVar7") (] "]"))) (; ";")) (} "}"))) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" (identifier "uVar6") (= "=") (number_literal "0")) (; ";")) (if_statement "if ((int)uVar7 <= (int)*__s) {\n          uVar6 = __s[uVar7];\n        }" (if "if") (parenthesized_expression "((int)uVar7 <= (int)*__s)" (( "(") (binary_expression "(int)uVar7 <= (int)*__s" (cast_expression "(int)uVar7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar7")) (<= "<=") (cast_expression "(int)*__s" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "*__s" (* "*") (identifier "__s")))) () ")")) (compound_statement "{\n          uVar6 = __s[uVar7];\n        }" ({ "{") (expression_statement "uVar6 = __s[uVar7];" (assignment_expression "uVar6 = __s[uVar7]" (identifier "uVar6") (= "=") (subscript_expression "__s[uVar7]" (identifier "__s") ([ "[") (identifier "uVar7") (] "]"))) (; ";")) (} "}"))) (expression_statement "uVar5 = uVar4 + uVar8 + uVar6;" (assignment_expression "uVar5 = uVar4 + uVar8 + uVar6" (identifier "uVar5") (= "=") (binary_expression "uVar4 + uVar8 + uVar6" (binary_expression "uVar4 + uVar8" (identifier "uVar4") (+ "+") (identifier "uVar8")) (+ "+") (identifier "uVar6"))) (; ";")) (expression_statement "uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);" (assignment_expression "uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6)" (identifier "uVar4") (= "=") (binary_expression "(uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6)" (cast_expression "(uint)CARRY4(uVar4,uVar8)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar4,uVar8)" (identifier "CARRY4") (argument_list "(uVar4,uVar8)" (( "(") (identifier "uVar4") (, ",") (identifier "uVar8") () ")")))) (+ "+") (cast_expression "(uint)CARRY4(uVar4 + uVar8,uVar6)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar4 + uVar8,uVar6)" (identifier "CARRY4") (argument_list "(uVar4 + uVar8,uVar6)" (( "(") (binary_expression "uVar4 + uVar8" (identifier "uVar4") (+ "+") (identifier "uVar8")) (, ",") (identifier "uVar6") () ")")))))) (; ";")) (expression_statement "local_34[uVar7] = uVar5;" (assignment_expression "local_34[uVar7] = uVar5" (subscript_expression "local_34[uVar7]" (identifier "local_34") ([ "[") (identifier "uVar7") (] "]")) (= "=") (identifier "uVar5")) (; ";")) (if_statement "if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {\n          local_30 = uVar7;\n        }" (if "if") (parenthesized_expression "((uVar5 != 0) && ((int)local_30 < (int)uVar7))" (( "(") (binary_expression "(uVar5 != 0) && ((int)local_30 < (int)uVar7)" (parenthesized_expression "(uVar5 != 0)" (( "(") (binary_expression "uVar5 != 0" (identifier "uVar5") (!= "!=") (number_literal "0")) () ")")) (&& "&&") (parenthesized_expression "((int)local_30 < (int)uVar7)" (( "(") (binary_expression "(int)local_30 < (int)uVar7" (cast_expression "(int)local_30" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "local_30")) (< "<") (cast_expression "(int)uVar7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar7"))) () ")"))) () ")")) (compound_statement "{\n          local_30 = uVar7;\n        }" ({ "{") (expression_statement "local_30 = uVar7;" (assignment_expression "local_30 = uVar7" (identifier "local_30") (= "=") (identifier "uVar7")) (; ";")) (} "}"))) (expression_statement "uVar7 = uVar7 + 1;" (assignment_expression "uVar7 = uVar7 + 1" (identifier "uVar7") (= "=") (binary_expression "uVar7 + 1" (identifier "uVar7") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar7 != uVar3)" (( "(") (binary_expression "uVar7 != uVar3" (identifier "uVar7") (!= "!=") (identifier "uVar3")) () ")")) (; ";")) (} "}")))) (expression_statement "*local_34 = local_30;" (assignment_expression "*local_34 = local_30" (pointer_expression "*local_34" (* "*") (identifier "local_34")) (= "=") (identifier "local_30")) (; ";")) (expression_statement "FUN_00020110(puVar2,*puVar2 * 4 + 4);" (call_expression "FUN_00020110(puVar2,*puVar2 * 4 + 4)" (identifier "FUN_00020110") (argument_list "(puVar2,*puVar2 * 4 + 4)" (( "(") (identifier "puVar2") (, ",") (binary_expression "*puVar2 * 4 + 4" (binary_expression "*puVar2 * 4" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (* "*") (number_literal "4")) (+ "+") (number_literal "4")) () ")"))) (; ";")) (expression_statement "FUN_00020030(puVar2);" (call_expression "FUN_00020030(puVar2)" (identifier "FUN_00020030") (argument_list "(puVar2)" (( "(") (identifier "puVar2") () ")"))) (; ";")) (} "}")) (else_clause "else {\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }" (else "else") (compound_statement "{\n    local_34 = (uint *)FUN_0004fa20(__s,__s_00);\n  }" ({ "{") (expression_statement "local_34 = (uint *)FUN_0004fa20(__s,__s_00);" (assignment_expression "local_34 = (uint *)FUN_0004fa20(__s,__s_00)" (identifier "local_34") (= "=") (cast_expression "(uint *)FUN_0004fa20(__s,__s_00)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_0004fa20(__s,__s_00)" (identifier "FUN_0004fa20") (argument_list "(__s,__s_00)" (( "(") (identifier "__s") (, ",") (identifier "__s_00") () ")"))))) (; ";")) (} "}")))) (if_statement "if (__s != param_1) {\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }" (if "if") (parenthesized_expression "(__s != param_1)" (( "(") (binary_expression "__s != param_1" (identifier "__s") (!= "!=") (identifier "param_1")) () ")")) (compound_statement "{\n    FUN_00020110(__s,*__s * 4 + 4);\n    FUN_00020030(__s);\n  }" ({ "{") (expression_statement "FUN_00020110(__s,*__s * 4 + 4);" (call_expression "FUN_00020110(__s,*__s * 4 + 4)" (identifier "FUN_00020110") (argument_list "(__s,*__s * 4 + 4)" (( "(") (identifier "__s") (, ",") (binary_expression "*__s * 4 + 4" (binary_expression "*__s * 4" (pointer_expression "*__s" (* "*") (identifier "__s")) (* "*") (number_literal "4")) (+ "+") (number_literal "4")) () ")"))) (; ";")) (expression_statement "FUN_00020030(__s);" (call_expression "FUN_00020030(__s)" (identifier "FUN_00020030") (argument_list "(__s)" (( "(") (identifier "__s") () ")"))) (; ";")) (} "}"))) (if_statement "if (__s_00 != param_2) {\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }" (if "if") (parenthesized_expression "(__s_00 != param_2)" (( "(") (binary_expression "__s_00 != param_2" (identifier "__s_00") (!= "!=") (identifier "param_2")) () ")")) (compound_statement "{\n    FUN_00020110(__s_00,*__s_00 * 4 + 4);\n    FUN_00020030(__s_00);\n  }" ({ "{") (expression_statement "FUN_00020110(__s_00,*__s_00 * 4 + 4);" (call_expression "FUN_00020110(__s_00,*__s_00 * 4 + 4)" (identifier "FUN_00020110") (argument_list "(__s_00,*__s_00 * 4 + 4)" (( "(") (identifier "__s_00") (, ",") (binary_expression "*__s_00 * 4 + 4" (binary_expression "*__s_00 * 4" (pointer_expression "*__s_00" (* "*") (identifier "__s_00")) (* "*") (number_literal "4")) (+ "+") (number_literal "4")) () ")"))) (; ";")) (expression_statement "FUN_00020030(__s_00);" (call_expression "FUN_00020030(__s_00)" (identifier "FUN_00020030") (argument_list "(__s_00)" (( "(") (identifier "__s_00") () ")"))) (; ";")) (} "}"))) (return_statement "return local_34;" (return "return") (identifier "local_34") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */
/* WARNING: Unknown calling convention */

type_1 function_1(type_1 var_20,type_1 var_22,type_1 n)

{
  int var_2;
  type_1 var_19;
  type_1 var_21;
  type_1 var_9;
  size_t var_12;
  type_2 var_3;
  type_2 var_15;
  type_2 var_13;
  type_2 var_16;
  type_3 var_7;
  int in_stack_ffffffc4;
  type_2 *local_34;
  type_2 local_30;
  
  var_2 = var_1(var_20,n);
  var_19 = var_20;
  if (-1 < var_2) {
    var_3 = *n;
    if (0x3fffffe < var_3) goto LAB_0004fe94;
    var_19 = (type_1)var_4(var_3 + 1,4);
    var_5(var_19,0,(var_3 + 1) * 4);
    *var_19 = var_3;
    var_6(var_20,n,var_19,(type_1)0x0);
    var_3 = *var_19;
    if (1 < var_3) {
      do {
        if (var_19[var_3] != 0) break;
        var_3 = var_3 - 1;
        *var_19 = var_3;
      } while (var_3 != 1);
    }
  }
  var_2 = var_1(var_22,n);
  var_21 = var_22;
  if (-1 < var_2) {
    var_3 = *n;
    if (0x3fffffe < var_3) goto LAB_0004fe94;
    var_21 = (type_1)var_4(var_3 + 1,4);
    var_5(var_21,0,(var_3 + 1) * 4);
    *var_21 = var_3;
    var_6(var_22,n,var_21,(type_1)0x0);
    var_3 = *var_21;
    if (1 < var_3) {
      var_7 = var_21[var_3];
      while (var_7 == 0) {
        var_3 = var_3 - 1;
        *var_21 = var_3;
        if (var_3 == 1) break;
        var_7 = var_21[var_3];
      }
    }
  }
  var_2 = var_1(var_19,var_21);
  if (var_2 < 0) {
    var_9 = var_8(n,var_21);
    if (var_9 == (type_1)0x0) {
                    /* WARNING: Subroutine does not return */
      var_10("tmp","sshbn.c",0x523,"modsub");
    }
    var_7 = *var_19;
    if ((int)*var_19 <= (int)*var_9) {
      var_7 = *var_9;
    }
    var_3 = var_7 + 1;
    if (0x3fffffe < var_3) {
LAB_0004fe94:
                    /* WARNING: Subroutine does not return */
      var_11(in_stack_ffffffc4);
    }
    var_12 = var_7 + 2;
    local_34 = (type_2 *)var_4(var_12,4);
    var_5(local_34,0,var_12 * 4);
    *local_34 = var_3;
    if (var_3 == 0) {
      local_30 = 0;
    }
    else {
      local_30 = 0;
      var_3 = 0;
      var_16 = 1;
      do {
        var_7 = 0;
        if ((int)var_16 <= (int)*var_9) {
          var_7 = var_9[var_16];
        }
        var_13 = 0;
        if ((int)var_16 <= (int)*var_19) {
          var_13 = var_19[var_16];
        }
        var_15 = var_3 + var_7 + var_13;
        var_3 = (type_2)var_14(var_3,var_7) + (type_2)var_14(var_3 + var_7,var_13);
        local_34[var_16] = var_15;
        if ((var_15 != 0) && ((int)local_30 < (int)var_16)) {
          local_30 = var_16;
        }
        var_16 = var_16 + 1;
      } while (var_16 != var_12);
    }
    *local_34 = local_30;
    var_17(var_9,*var_9 * 4 + 4);
    var_18(var_9);
  }
  else {
    local_34 = var_8(var_19,var_21);
  }
  if (var_19 != var_20) {
    var_17(var_19,*var_19 * 4 + 4);
    var_18(var_19);
  }
  if (var_21 != var_22) {
    var_17(var_21,*var_21 * 4 + 4);
    var_18(var_21);
  }
  return local_34;
}


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

/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */

uint * MASKED(uint *param_1,uint *param_2,uint *param_3)

{
  int iVar1;
  uint *__s;
  uint *__s_00;
  uint *puVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint *local_34;
  uint local_30;
  
  iVar1 = FUN_0004f0b0(param_1,param_3);
  __s = param_1;
  if (-1 < iVar1) {
    uVar3 = *param_3;
    if (0x3fffffe < uVar3) goto LAB_0004fe94;
    __s = (uint *)FUN_0001fe90(uVar3 + 1,4);
    memset(__s,0,(uVar3 + 1) * 4);
    *__s = uVar3;
    FUN_0004cdc0(0);
    uVar3 = *__s;
    if (1 < uVar3) {
      do {
        if (__s[uVar3] != 0) break;
        uVar3 = uVar3 - 1;
        *__s = uVar3;
      } while (uVar3 != 1);
    }
  }
  iVar1 = FUN_0004f0b0(param_2,param_3);
  __s_00 = param_2;
  if (-1 < iVar1) {
    uVar3 = *param_3;
    if (0x3fffffe < uVar3) goto LAB_0004fe94;
    __s_00 = (uint *)FUN_0001fe90(uVar3 + 1,4);
    memset(__s_00,0,(uVar3 + 1) * 4);
    *__s_00 = uVar3;
    FUN_0004cdc0(0);
    uVar3 = *__s_00;
    if (1 < uVar3) {
      uVar4 = __s_00[uVar3];
      while (uVar4 == 0) {
        uVar3 = uVar3 - 1;
        *__s_00 = uVar3;
        if (uVar3 == 1) break;
        uVar4 = __s_00[uVar3];
      }
    }
  }
  iVar1 = FUN_0004f0b0(__s,__s_00);
  if (iVar1 < 0) {
    puVar2 = (uint *)FUN_0004fa20(param_3,__s_00);
    if (puVar2 == (uint *)0x0) {
                    /* WARNING: Subroutine does not return */
      __assert_fail("tmp","sshbn.c",0x523,"modsub");
    }
    uVar3 = *__s;
    if ((int)*__s <= (int)*puVar2) {
      uVar3 = *puVar2;
    }
    uVar4 = uVar3 + 1;
    if (0x3fffffe < uVar4) {
LAB_0004fe94:
                    /* WARNING: Subroutine does not return */
      FUN_0004c070();
    }
    uVar3 = uVar3 + 2;
    local_34 = (uint *)FUN_0001fe90(uVar3,4);
    memset(local_34,0,uVar3 * 4);
    *local_34 = uVar4;
    if (uVar4 == 0) {
      local_30 = 0;
    }
    else {
      local_30 = 0;
      uVar4 = 0;
      uVar7 = 1;
      do {
        uVar8 = 0;
        if ((int)uVar7 <= (int)*puVar2) {
          uVar8 = puVar2[uVar7];
        }
        uVar6 = 0;
        if ((int)uVar7 <= (int)*__s) {
          uVar6 = __s[uVar7];
        }
        uVar5 = uVar4 + uVar8 + uVar6;
        uVar4 = (uint)CARRY4(uVar4,uVar8) + (uint)CARRY4(uVar4 + uVar8,uVar6);
        local_34[uVar7] = uVar5;
        if ((uVar5 != 0) && ((int)local_30 < (int)uVar7)) {
          local_30 = uVar7;
        }
        uVar7 = uVar7 + 1;
      } while (uVar7 != uVar3);
    }
    *local_34 = local_30;
    FUN_00020110(puVar2,*puVar2 * 4 + 4);
    FUN_00020030(puVar2);
  }
  else {
    local_34 = (uint *)FUN_0004fa20(__s,__s_00);
  }
  if (__s != param_1) {
    FUN_00020110(__s,*__s * 4 + 4);
    FUN_00020030(__s);
  }
  if (__s_00 != param_2) {
    FUN_00020110(__s_00,*__s_00 * 4 + 4);
    FUN_00020030(__s_00);
  }
  return local_34;
}

