
/* WARNING: Function: __x86.get_pc_thunk.si replaced with injection: get_pc_thunk_si */

Bignum_conflict modinv(Bignum_conflict number,Bignum_conflict modulus)

{
  Bignum_conflict pBVar1;
  Bignum_conflict a;
  int iVar2;
  Bignum_conflict result;
  Bignum_conflict quotient;
  uint uVar3;
  Bignum_conflict pBVar4;
  BignumInt BVar5;
  uint uVar6;
  BignumInt BVar7;
  BignumInt BVar8;
  uint uVar9;
  Bignum_conflict local_2c;
  Bignum_conflict local_28;
  int local_20;
  
  pBVar1 = copybn(modulus);
  a = copybn(number);
  local_28 = copybn(Zero);
  local_2c = copybn(One);
  if (number[*number] == 0) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");
  }
  if (modulus[*modulus] == 0) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");
  }
  local_20 = 1;
  while (iVar2 = bignum_cmp(a,One), iVar2 != 0) {
    iVar2 = bignum_cmp(a,Zero);
    if (iVar2 == 0) {
      freebn(a);
      freebn(pBVar1);
      freebn(local_28);
      freebn(local_2c);
      return (Bignum_conflict)0x0;
    }
    result = newbn(*a);
    quotient = newbn(*pBVar1);
    bigdivmod(pBVar1,a,result,quotient);
    uVar3 = *result;
    if (1 < uVar3) {
      BVar8 = result[uVar3];
      while (BVar8 == 0) {
        uVar3 = uVar3 - 1;
        *result = uVar3;
        if (uVar3 == 1) break;
        BVar8 = result[uVar3];
      }
    }
    uVar3 = *quotient;
    if (1 < uVar3) {
      BVar8 = quotient[uVar3];
      while (BVar8 == 0) {
        uVar3 = uVar3 - 1;
        *quotient = uVar3;
        if (uVar3 == 1) break;
        BVar8 = quotient[uVar3];
      }
    }
    freebn(pBVar1);
    pBVar4 = bigmuladd(quotient,local_2c,local_28);
    local_20 = -local_20;
    freebn(local_28);
    freebn(quotient);
    local_28 = local_2c;
    pBVar1 = a;
    a = result;
    local_2c = pBVar4;
  }
  freebn(a);
  freebn(pBVar1);
  freebn(local_28);
  if (local_20 != -1) {
    return local_2c;
  }
  pBVar1 = newbn(*modulus);
  if ((int)*pBVar1 < 1) {
    BVar8 = 1;
  }
  else {
    BVar7 = 1;
    BVar8 = 1;
    uVar3 = 0;
    do {
      while( true ) {
        BVar5 = 0;
        if ((int)BVar7 <= (int)*modulus) {
          BVar5 = modulus[BVar7];
        }
        if ((int)BVar7 <= (int)*local_2c) break;
        uVar6 = BVar5 - uVar3;
        uVar9 = 0xffffffff;
        pBVar1[BVar7] = uVar6;
        if (uVar3 != 0) goto LAB_0002a2ec;
LAB_0002a325:
        uVar3 = (uint)(uVar9 < uVar6);
        if (uVar6 != 0) {
          BVar8 = BVar7;
        }
        BVar7 = BVar7 + 1;
        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;
      }
      uVar6 = (BVar5 - uVar3) - local_2c[BVar7];
      uVar9 = ~local_2c[BVar7];
      pBVar1[BVar7] = uVar6;
      if (uVar3 == 0) goto LAB_0002a325;
LAB_0002a2ec:
      uVar3 = (uint)(uVar9 <= uVar6);
      if (uVar6 != 0) {
        BVar8 = BVar7;
      }
      BVar7 = BVar7 + 1;
    } while ((int)BVar7 <= (int)*pBVar1);
  }
LAB_0002a338:
  *pBVar1 = BVar8;
  freebn(local_2c);
  return pBVar1;
}



/* WARNING: Function: __i686.get_pc_thunk.si replaced with injection: get_pc_thunk_si */

int * FUN_0002a0d0(int *param_1,int *param_2)

{
  uint *puVar1;
  uint *puVar2;
  int iVar3;
  uint *puVar4;
  uint *puVar5;
  uint uVar6;
  int *piVar7;
  int iVar8;
  uint uVar9;
  int iVar10;
  uint uVar11;
  int *local_2c;
  int *local_28;
  int local_20;
  
  puVar1 = (uint *)FUN_00028420(param_2);
  puVar2 = (uint *)FUN_00028420(param_1);
  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);
  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);
  if (param_1[*param_1] == 0) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");
  }
  if (param_2[*param_2] == 0) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");
  }
  local_20 = 1;
  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {
    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);
    if (iVar3 == 0) {
      FUN_00028470(puVar2);
      FUN_00028470(puVar1);
      FUN_00028470(local_28);
      FUN_00028470(local_2c);
      return (int *)0x0;
    }
    puVar4 = (uint *)FUN_00027b60();
    puVar5 = (uint *)FUN_00027b60();
    FUN_00027950(puVar5);
    uVar6 = *puVar4;
    if (1 < uVar6) {
      uVar9 = puVar4[uVar6];
      while (uVar9 == 0) {
        uVar6 = uVar6 - 1;
        *puVar4 = uVar6;
        if (uVar6 == 1) break;
        uVar9 = puVar4[uVar6];
      }
    }
    uVar6 = *puVar5;
    if (1 < uVar6) {
      uVar9 = puVar5[uVar6];
      while (uVar9 == 0) {
        uVar6 = uVar6 - 1;
        *puVar5 = uVar6;
        if (uVar6 == 1) break;
        uVar9 = puVar5[uVar6];
      }
    }
    FUN_00028470(puVar1);
    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);
    local_20 = -local_20;
    FUN_00028470(local_28);
    FUN_00028470(puVar5);
    local_28 = local_2c;
    puVar1 = puVar2;
    puVar2 = puVar4;
    local_2c = piVar7;
  }
  FUN_00028470(puVar2);
  FUN_00028470(puVar1);
  FUN_00028470(local_28);
  if (local_20 != -1) {
    return local_2c;
  }
  piVar7 = (int *)FUN_00027b60();
  if (*piVar7 < 1) {
    iVar3 = 1;
  }
  else {
    iVar10 = 1;
    iVar3 = 1;
    uVar6 = 0;
    do {
      while( true ) {
        iVar8 = 0;
        if (iVar10 <= *param_2) {
          iVar8 = param_2[iVar10];
        }
        if (iVar10 <= *local_2c) break;
        uVar9 = iVar8 - uVar6;
        uVar11 = 0xffffffff;
        piVar7[iVar10] = uVar9;
        if (uVar6 != 0) goto LAB_0002a2ec;
LAB_0002a325:
        uVar6 = (uint)(uVar11 < uVar9);
        if (uVar9 != 0) {
          iVar3 = iVar10;
        }
        iVar10 = iVar10 + 1;
        if (*piVar7 < iVar10) goto LAB_0002a338;
      }
      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];
      uVar11 = ~local_2c[iVar10];
      piVar7[iVar10] = uVar9;
      if (uVar6 == 0) goto LAB_0002a325;
LAB_0002a2ec:
      uVar6 = (uint)(uVar11 <= uVar9);
      if (uVar9 != 0) {
        iVar3 = iVar10;
      }
      iVar10 = iVar10 + 1;
    } while (iVar10 <= *piVar7);
  }
LAB_0002a338:
  *piVar7 = iVar3;
  FUN_00028470(local_2c);
  return piVar7;
}


PUSH EBP
PUSH EDI
PUSH ESI
CALL 0x00024cc9
ADD ESI,0x44c10
PUSH EBX
SUB ESP,0x28
MOV EBX,dword ptr [ESP + 0x3c]
MOV dword ptr [ESP + 0x14],ESI
PUSH dword ptr [ESP + 0x40]
CALL 0x00028420
MOV dword ptr [ESP],EBX
MOV EBP,EAX
CALL 0x00028420
MOV EDI,EAX
POP EAX
PUSH dword ptr [ESI + 0x338]
CALL 0x00028420
MOV dword ptr [ESP + 0x14],EAX
POP EAX
PUSH dword ptr [ESI + 0x334]
CALL 0x00028420
MOV dword ptr [ESP + 0x10],EAX
MOV EAX,dword ptr [EBX]
ADD ESP,0x10
MOV EAX,dword ptr [EBX + EAX*0x4]
TEST EAX,EAX
JZ 0x0002a381
MOV EAX,dword ptr [ESP + 0x34]
MOV ECX,dword ptr [ESP + 0x34]
MOV EAX,dword ptr [EAX]
MOV EAX,dword ptr [ECX + EAX*0x4]
TEST EAX,EAX
JZ 0x0002a35e
MOV dword ptr [ESP + 0xc],0x1
LEA ESI,[ESI]
SUB ESP,0x8
MOV EAX,dword ptr [ESP + 0x10]
PUSH dword ptr [EAX + 0x334]
PUSH EDI
CALL 0x00028df0
ADD ESP,0x10
TEST EAX,EAX
JZ 0x0002a24b
SUB ESP,0x8
MOV EAX,dword ptr [ESP + 0x10]
PUSH dword ptr [EAX + 0x338]
PUSH EDI
CALL 0x00028df0
ADD ESP,0x10
TEST EAX,EAX
JZ 0x0002a27b
MOV EAX,dword ptr [EDI]
CALL 0x00027b60
MOV ESI,EAX
MOV EAX,dword ptr [EBP]
CALL 0x00027b60
SUB ESP,0xc
MOV ECX,ESI
MOV EDX,EDI
PUSH EAX
MOV EBX,EAX
MOV EAX,EBP
CALL 0x00027950
MOV EAX,dword ptr [ESI]
ADD ESP,0x10
CMP EAX,0x1
JBE 0x0002a1da
MOV ECX,dword ptr [ESI + EAX*0x4]
TEST ECX,ECX
JNZ 0x0002a1da
SUB EAX,0x1
JMP 0x0002a1d3
SUB EAX,0x1
MOV EDX,dword ptr [ESI + EAX*0x4 + 0x4]
TEST EDX,EDX
JNZ 0x0002a1da
MOV dword ptr [ESI],EAX
CMP EAX,0x1
JNZ 0x0002a1c8
MOV EAX,dword ptr [EBX]
CMP EAX,0x1
JBE 0x0002a202
MOV EDX,dword ptr [EBX + EAX*0x4]
TEST EDX,EDX
JNZ 0x0002a202
SUB EAX,0x1
JMP 0x0002a1fb
SUB EAX,0x1
MOV ECX,dword ptr [EBX + EAX*0x4 + 0x4]
TEST ECX,ECX
JNZ 0x0002a202
MOV dword ptr [EBX],EAX
CMP EAX,0x1
JNZ 0x0002a1f0
SUB ESP,0xc
PUSH EBP
CALL 0x00028470
ADD ESP,0xc
PUSH dword ptr [ESP + 0x8]
PUSH dword ptr [ESP + 0x8]
PUSH EBX
CALL 0x000292c0
NEG dword ptr [ESP + 0x1c]
POP ECX
PUSH dword ptr [ESP + 0x10]
MOV EBP,EAX
CALL 0x00028470
MOV dword ptr [ESP],EBX
CALL 0x00028470
MOV EAX,dword ptr [ESP + 0x10]
MOV dword ptr [ESP + 0x14],EAX
ADD ESP,0x10
MOV dword ptr [ESP],EBP
MOV EBP,EDI
MOV EDI,ESI
JMP 0x0002a150
SUB ESP,0xc
PUSH EDI
CALL 0x00028470
MOV dword ptr [ESP],EBP
CALL 0x00028470
POP EDX
PUSH dword ptr [ESP + 0x10]
CALL 0x00028470
ADD ESP,0x10
CMP dword ptr [ESP + 0xc],-0x1
JZ 0x0002a2b5
MOV EAX,dword ptr [ESP]
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
SUB ESP,0xc
PUSH EDI
CALL 0x00028470
MOV dword ptr [ESP],EBP
CALL 0x00028470
POP EBX
PUSH dword ptr [ESP + 0x10]
CALL 0x00028470
POP ESI
PUSH dword ptr [ESP + 0xc]
CALL 0x00028470
ADD ESP,0x10
MOV dword ptr [ESP],0x0
MOV EAX,dword ptr [ESP]
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV EAX,dword ptr [ESP + 0x34]
MOV EAX,dword ptr [EAX]
CALL 0x00027b60
MOV EDI,EAX
MOV EAX,dword ptr [EAX]
TEST EAX,EAX
JLE 0x0002a357
MOV ECX,0x1
MOV EBP,0x1
XOR EBX,EBX
JMP 0x0002a2ff
MOV EDX,dword ptr [EDX + ECX*0x4]
SUB EAX,EBX
MOV ESI,EDX
SUB EAX,EDX
NOT ESI
MOV dword ptr [EDI + ECX*0x4],EAX
TEST EBX,EBX
JZ 0x0002a325
XOR EBX,EBX
CMP EAX,ESI
SETNC BL
TEST EAX,EAX
CMOVNZ EBP,ECX
ADD ECX,0x1
CMP dword ptr [EDI],ECX
JL 0x0002a338
MOV EDX,dword ptr [ESP + 0x34]
XOR EAX,EAX
CMP dword ptr [EDX],ECX
JL 0x0002a30c
MOV EAX,dword ptr [EDX + ECX*0x4]
MOV EDX,dword ptr [ESP]
CMP dword ptr [EDX],ECX
JGE 0x0002a2da
XOR EDX,EDX
SUB EAX,EBX
MOV ESI,0xffffffff
SUB EAX,EDX
MOV dword ptr [EDI + ECX*0x4],EAX
TEST EBX,EBX
JNZ 0x0002a2ec
XOR EBX,EBX
CMP EAX,ESI
SETA BL
TEST EAX,EAX
CMOVNZ EBP,ECX
ADD ECX,0x1
CMP dword ptr [EDI],ECX
JGE 0x0002a2ff
SUB ESP,0xc
MOV dword ptr [EDI],EBP
PUSH dword ptr [ESP + 0xc]
CALL 0x00028470
ADD ESP,0x10
MOV dword ptr [ESP],EDI
MOV EAX,dword ptr [ESP]
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV EBP,0x1
JMP 0x0002a338
MOV EBX,dword ptr [ESP + 0x8]
LEA EAX,[EBX + 0xfffe14a8]
PUSH EAX
LEA EAX,[EBX + 0xfffe1378]
PUSH 0x7e4
PUSH EAX
LEA EAX,[EBX + 0xfffe1434]
PUSH EAX
CALL 0x00014ad0
MOV EBX,dword ptr [ESP + 0x8]
LEA EAX,[EBX + 0xfffe14a8]
PUSH EAX
LEA EAX,[EBX + 0xfffe1378]
PUSH 0x7e3
PUSH EAX
LEA EAX,[EBX + 0xfffe141d]
PUSH EAX
CALL 0x00014ad0
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.si replaced with injection: get_pc_thunk_si */\n\nint * FUN_0002a0d0(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  int *piVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  int *local_2c;\n  int *local_28;\n  int local_20;\n  \n  puVar1 = (uint *)FUN_00028420(param_2);\n  puVar2 = (uint *)FUN_00028420(param_1);\n  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);\n  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);\n  if (param_1[*param_1] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (param_2[*param_2] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }\n  FUN_00028470(puVar2);\n  FUN_00028470(puVar1);\n  FUN_00028470(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  piVar7 = (int *)FUN_00027b60();\n  if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }\nLAB_0002a338:\n  *piVar7 = iVar3;\n  FUN_00028470(local_2c);\n  return piVar7;\n}\n\n" comment (function_definition "int * FUN_0002a0d0(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  int *piVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  int *local_2c;\n  int *local_28;\n  int local_20;\n  \n  puVar1 = (uint *)FUN_00028420(param_2);\n  puVar2 = (uint *)FUN_00028420(param_1);\n  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);\n  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);\n  if (param_1[*param_1] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (param_2[*param_2] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }\n  FUN_00028470(puVar2);\n  FUN_00028470(puVar1);\n  FUN_00028470(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  piVar7 = (int *)FUN_00027b60();\n  if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }\nLAB_0002a338:\n  *piVar7 = iVar3;\n  FUN_00028470(local_2c);\n  return piVar7;\n}" primitive_type (pointer_declarator "* FUN_0002a0d0(int *param_1,int *param_2)" * (function_declarator "FUN_0002a0d0(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) )))) (compound_statement "{\n  uint *puVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  int *piVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  int *local_2c;\n  int *local_28;\n  int local_20;\n  \n  puVar1 = (uint *)FUN_00028420(param_2);\n  puVar2 = (uint *)FUN_00028420(param_1);\n  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);\n  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);\n  if (param_1[*param_1] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (param_2[*param_2] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }\n  FUN_00028470(puVar2);\n  FUN_00028470(puVar1);\n  FUN_00028470(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  piVar7 = (int *)FUN_00027b60();\n  if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }\nLAB_0002a338:\n  *piVar7 = iVar3;\n  FUN_00028470(local_2c);\n  return piVar7;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int *piVar7;" primitive_type (pointer_declarator "*piVar7" * identifier) ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "int iVar10;" primitive_type identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "int *local_2c;" primitive_type (pointer_declarator "*local_2c" * identifier) ;) (declaration "int *local_28;" primitive_type (pointer_declarator "*local_28" * identifier) ;) (declaration "int local_20;" primitive_type identifier ;) (expression_statement "puVar1 = (uint *)FUN_00028420(param_2);" (assignment_expression "puVar1 = (uint *)FUN_00028420(param_2)" identifier = (cast_expression "(uint *)FUN_00028420(param_2)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00028420(param_2)" identifier (argument_list "(param_2)" ( identifier ))))) ;) (expression_statement "puVar2 = (uint *)FUN_00028420(param_1);" (assignment_expression "puVar2 = (uint *)FUN_00028420(param_1)" identifier = (cast_expression "(uint *)FUN_00028420(param_1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00028420(param_1)" identifier (argument_list "(param_1)" ( identifier ))))) ;) (expression_statement "local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);" (assignment_expression "local_28 = (int *)FUN_00028420(PTR_DAT_0006f020)" identifier = (cast_expression "(int *)FUN_00028420(PTR_DAT_0006f020)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00028420(PTR_DAT_0006f020)" identifier (argument_list "(PTR_DAT_0006f020)" ( identifier ))))) ;) (expression_statement "local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);" (assignment_expression "local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c)" identifier = (cast_expression "(int *)FUN_00028420(PTR_DAT_0006f01c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00028420(PTR_DAT_0006f01c)" identifier (argument_list "(PTR_DAT_0006f01c)" ( identifier ))))) ;) (if_statement "if (param_1[*param_1] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }" if (parenthesized_expression "(param_1[*param_1] == 0)" ( (binary_expression "param_1[*param_1] == 0" (subscript_expression "param_1[*param_1]" identifier [ (pointer_expression "*param_1" * identifier) ]) == number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }" { comment (expression_statement "__assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");" (call_expression "__assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv")" identifier (argument_list "("number[number[0]] != 0","sshbn.c",0x7e3,"modinv")" ( (string_literal ""number[number[0]] != 0"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""modinv"" " string_content ") ))) ;) })) (if_statement "if (param_2[*param_2] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }" if (parenthesized_expression "(param_2[*param_2] == 0)" ( (binary_expression "param_2[*param_2] == 0" (subscript_expression "param_2[*param_2]" identifier [ (pointer_expression "*param_2" * identifier) ]) == number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }" { comment (expression_statement "__assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");" (call_expression "__assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv")" identifier (argument_list "("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv")" ( (string_literal ""modulus[modulus[0]] != 0"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""modinv"" " string_content ") ))) ;) })) (expression_statement "local_20 = 1;" (assignment_expression "local_20 = 1" identifier = number_literal) ;) (while_statement "while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }" while (parenthesized_expression "(iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0)" ( (comma_expression "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0" (assignment_expression "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c)" identifier = (call_expression "FUN_00028df0(puVar2,PTR_DAT_0006f01c)" identifier (argument_list "(puVar2,PTR_DAT_0006f01c)" ( identifier , identifier )))) , (binary_expression "iVar3 != 0" identifier != number_literal)) )) (compound_statement "{\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }" { (expression_statement "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);" (assignment_expression "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020)" identifier = (call_expression "FUN_00028df0(puVar2,PTR_DAT_0006f020)" identifier (argument_list "(puVar2,PTR_DAT_0006f020)" ( identifier , identifier )))) ;) (if_statement "if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (compound_statement "{\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }" { (expression_statement "FUN_00028470(puVar2);" (call_expression "FUN_00028470(puVar2)" identifier (argument_list "(puVar2)" ( identifier ))) ;) (expression_statement "FUN_00028470(puVar1);" (call_expression "FUN_00028470(puVar1)" identifier (argument_list "(puVar1)" ( identifier ))) ;) (expression_statement "FUN_00028470(local_28);" (call_expression "FUN_00028470(local_28)" identifier (argument_list "(local_28)" ( identifier ))) ;) (expression_statement "FUN_00028470(local_2c);" (call_expression "FUN_00028470(local_2c)" identifier (argument_list "(local_2c)" ( identifier ))) ;) (return_statement "return (int *)0x0;" return (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal) ;) })) (expression_statement "puVar4 = (uint *)FUN_00027b60();" (assignment_expression "puVar4 = (uint *)FUN_00027b60()" identifier = (cast_expression "(uint *)FUN_00027b60()" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00027b60()" identifier (argument_list "()" ( ))))) ;) (expression_statement "puVar5 = (uint *)FUN_00027b60();" (assignment_expression "puVar5 = (uint *)FUN_00027b60()" identifier = (cast_expression "(uint *)FUN_00027b60()" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00027b60()" identifier (argument_list "()" ( ))))) ;) (expression_statement "FUN_00027950(puVar5);" (call_expression "FUN_00027950(puVar5)" identifier (argument_list "(puVar5)" ( identifier ))) ;) (expression_statement "uVar6 = *puVar4;" (assignment_expression "uVar6 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (if_statement "if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }" if (parenthesized_expression "(1 < uVar6)" ( (binary_expression "1 < uVar6" number_literal < identifier) )) (compound_statement "{\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }" { (expression_statement "uVar9 = puVar4[uVar6];" (assignment_expression "uVar9 = puVar4[uVar6]" identifier = (subscript_expression "puVar4[uVar6]" identifier [ identifier ])) ;) (while_statement "while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }" while (parenthesized_expression "(uVar9 == 0)" ( (binary_expression "uVar9 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }" { (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ;) (expression_statement "*puVar4 = uVar6;" (assignment_expression "*puVar4 = uVar6" (pointer_expression "*puVar4" * identifier) = identifier) ;) (if_statement "if (uVar6 == 1) break;" if (parenthesized_expression "(uVar6 == 1)" ( (binary_expression "uVar6 == 1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar9 = puVar4[uVar6];" (assignment_expression "uVar9 = puVar4[uVar6]" identifier = (subscript_expression "puVar4[uVar6]" identifier [ identifier ])) ;) })) })) (expression_statement "uVar6 = *puVar5;" (assignment_expression "uVar6 = *puVar5" identifier = (pointer_expression "*puVar5" * identifier)) ;) (if_statement "if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }" if (parenthesized_expression "(1 < uVar6)" ( (binary_expression "1 < uVar6" number_literal < identifier) )) (compound_statement "{\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }" { (expression_statement "uVar9 = puVar5[uVar6];" (assignment_expression "uVar9 = puVar5[uVar6]" identifier = (subscript_expression "puVar5[uVar6]" identifier [ identifier ])) ;) (while_statement "while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }" while (parenthesized_expression "(uVar9 == 0)" ( (binary_expression "uVar9 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }" { (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ;) (expression_statement "*puVar5 = uVar6;" (assignment_expression "*puVar5 = uVar6" (pointer_expression "*puVar5" * identifier) = identifier) ;) (if_statement "if (uVar6 == 1) break;" if (parenthesized_expression "(uVar6 == 1)" ( (binary_expression "uVar6 == 1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar9 = puVar5[uVar6];" (assignment_expression "uVar9 = puVar5[uVar6]" identifier = (subscript_expression "puVar5[uVar6]" identifier [ identifier ])) ;) })) })) (expression_statement "FUN_00028470(puVar1);" (call_expression "FUN_00028470(puVar1)" identifier (argument_list "(puVar1)" ( identifier ))) ;) (expression_statement "piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);" (assignment_expression "piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28)" identifier = (cast_expression "(int *)FUN_000292c0(puVar5,local_2c,local_28)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_000292c0(puVar5,local_2c,local_28)" identifier (argument_list "(puVar5,local_2c,local_28)" ( identifier , identifier , identifier ))))) ;) (expression_statement "local_20 = -local_20;" (assignment_expression "local_20 = -local_20" identifier = (unary_expression "-local_20" - identifier)) ;) (expression_statement "FUN_00028470(local_28);" (call_expression "FUN_00028470(local_28)" identifier (argument_list "(local_28)" ( identifier ))) ;) (expression_statement "FUN_00028470(puVar5);" (call_expression "FUN_00028470(puVar5)" identifier (argument_list "(puVar5)" ( identifier ))) ;) (expression_statement "local_28 = local_2c;" (assignment_expression "local_28 = local_2c" identifier = identifier) ;) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" identifier = identifier) ;) (expression_statement "puVar2 = puVar4;" (assignment_expression "puVar2 = puVar4" identifier = identifier) ;) (expression_statement "local_2c = piVar7;" (assignment_expression "local_2c = piVar7" identifier = identifier) ;) })) (expression_statement "FUN_00028470(puVar2);" (call_expression "FUN_00028470(puVar2)" identifier (argument_list "(puVar2)" ( identifier ))) ;) (expression_statement "FUN_00028470(puVar1);" (call_expression "FUN_00028470(puVar1)" identifier (argument_list "(puVar1)" ( identifier ))) ;) (expression_statement "FUN_00028470(local_28);" (call_expression "FUN_00028470(local_28)" identifier (argument_list "(local_28)" ( identifier ))) ;) (if_statement "if (local_20 != -1) {\n    return local_2c;\n  }" if (parenthesized_expression "(local_20 != -1)" ( (binary_expression "local_20 != -1" identifier != number_literal) )) (compound_statement "{\n    return local_2c;\n  }" { (return_statement "return local_2c;" return identifier ;) })) (expression_statement "piVar7 = (int *)FUN_00027b60();" (assignment_expression "piVar7 = (int *)FUN_00027b60()" identifier = (cast_expression "(int *)FUN_00027b60()" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00027b60()" identifier (argument_list "()" ( ))))) ;) (if_statement "if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }" if (parenthesized_expression "(*piVar7 < 1)" ( (binary_expression "*piVar7 < 1" (pointer_expression "*piVar7" * identifier) < number_literal) )) (compound_statement "{\n    iVar3 = 1;\n  }" { (expression_statement "iVar3 = 1;" (assignment_expression "iVar3 = 1" identifier = number_literal) ;) }) (else_clause "else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }" else (compound_statement "{\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }" { (expression_statement "iVar10 = 1;" (assignment_expression "iVar10 = 1" identifier = number_literal) ;) (expression_statement "iVar3 = 1;" (assignment_expression "iVar3 = 1" identifier = number_literal) ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (do_statement "do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);" do (compound_statement "{\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    }" { (while_statement "while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }" { (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" identifier = number_literal) ;) (if_statement "if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }" if (parenthesized_expression "(iVar10 <= *param_2)" ( (binary_expression "iVar10 <= *param_2" identifier <= (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n          iVar8 = param_2[iVar10];\n        }" { (expression_statement "iVar8 = param_2[iVar10];" (assignment_expression "iVar8 = param_2[iVar10]" identifier = (subscript_expression "param_2[iVar10]" identifier [ identifier ])) ;) })) (if_statement "if (iVar10 <= *local_2c) break;" if (parenthesized_expression "(iVar10 <= *local_2c)" ( (binary_expression "iVar10 <= *local_2c" identifier <= (pointer_expression "*local_2c" * identifier)) )) (break_statement "break;" break ;)) (expression_statement "uVar9 = iVar8 - uVar6;" (assignment_expression "uVar9 = iVar8 - uVar6" identifier = (binary_expression "iVar8 - uVar6" identifier - identifier)) ;) (expression_statement "uVar11 = 0xffffffff;" (assignment_expression "uVar11 = 0xffffffff" identifier = number_literal) ;) (expression_statement "piVar7[iVar10] = uVar9;" (assignment_expression "piVar7[iVar10] = uVar9" (subscript_expression "piVar7[iVar10]" identifier [ identifier ]) = identifier) ;) (if_statement "if (uVar6 != 0) goto LAB_0002a2ec;" if (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) (goto_statement "goto LAB_0002a2ec;" goto statement_identifier ;)) (labeled_statement "LAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);" statement_identifier : (expression_statement "uVar6 = (uint)(uVar11 < uVar9);" (assignment_expression "uVar6 = (uint)(uVar11 < uVar9)" identifier = (call_expression "(uint)(uVar11 < uVar9)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar11 < uVar9)" ( (binary_expression "uVar11 < uVar9" identifier < identifier) )))) ;)) (if_statement "if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }" if (parenthesized_expression "(uVar9 != 0)" ( (binary_expression "uVar9 != 0" identifier != number_literal) )) (compound_statement "{\n          iVar3 = iVar10;\n        }" { (expression_statement "iVar3 = iVar10;" (assignment_expression "iVar3 = iVar10" identifier = identifier) ;) })) (expression_statement "iVar10 = iVar10 + 1;" (assignment_expression "iVar10 = iVar10 + 1" identifier = (binary_expression "iVar10 + 1" identifier + number_literal)) ;) (if_statement "if (*piVar7 < iVar10) goto LAB_0002a338;" if (parenthesized_expression "(*piVar7 < iVar10)" ( (binary_expression "*piVar7 < iVar10" (pointer_expression "*piVar7" * identifier) < identifier) )) (goto_statement "goto LAB_0002a338;" goto statement_identifier ;)) })) (expression_statement "uVar9 = (iVar8 - uVar6) - local_2c[iVar10];" (assignment_expression "uVar9 = (iVar8 - uVar6) - local_2c[iVar10]" identifier = (binary_expression "(iVar8 - uVar6) - local_2c[iVar10]" (parenthesized_expression "(iVar8 - uVar6)" ( (binary_expression "iVar8 - uVar6" identifier - identifier) )) - (subscript_expression "local_2c[iVar10]" identifier [ identifier ]))) ;) (expression_statement "uVar11 = ~local_2c[iVar10];" (assignment_expression "uVar11 = ~local_2c[iVar10]" identifier = (unary_expression "~local_2c[iVar10]" ~ (subscript_expression "local_2c[iVar10]" identifier [ identifier ]))) ;) (expression_statement "piVar7[iVar10] = uVar9;" (assignment_expression "piVar7[iVar10] = uVar9" (subscript_expression "piVar7[iVar10]" identifier [ identifier ]) = identifier) ;) (if_statement "if (uVar6 == 0) goto LAB_0002a325;" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (goto_statement "goto LAB_0002a325;" goto statement_identifier ;)) (labeled_statement "LAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);" statement_identifier : (expression_statement "uVar6 = (uint)(uVar11 <= uVar9);" (assignment_expression "uVar6 = (uint)(uVar11 <= uVar9)" identifier = (call_expression "(uint)(uVar11 <= uVar9)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar11 <= uVar9)" ( (binary_expression "uVar11 <= uVar9" identifier <= identifier) )))) ;)) (if_statement "if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }" if (parenthesized_expression "(uVar9 != 0)" ( (binary_expression "uVar9 != 0" identifier != number_literal) )) (compound_statement "{\n        iVar3 = iVar10;\n      }" { (expression_statement "iVar3 = iVar10;" (assignment_expression "iVar3 = iVar10" identifier = identifier) ;) })) (expression_statement "iVar10 = iVar10 + 1;" (assignment_expression "iVar10 = iVar10 + 1" identifier = (binary_expression "iVar10 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar10 <= *piVar7)" ( (binary_expression "iVar10 <= *piVar7" identifier <= (pointer_expression "*piVar7" * identifier)) )) ;) }))) (labeled_statement "LAB_0002a338:\n  *piVar7 = iVar3;" statement_identifier : (expression_statement "*piVar7 = iVar3;" (assignment_expression "*piVar7 = iVar3" (pointer_expression "*piVar7" * identifier) = identifier) ;)) (expression_statement "FUN_00028470(local_2c);" (call_expression "FUN_00028470(local_2c)" identifier (argument_list "(local_2c)" ( identifier ))) ;) (return_statement "return piVar7;" return identifier ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.si replaced with injection: get_pc_thunk_si */\n\nBignum_conflict modinv(Bignum_conflict number,Bignum_conflict modulus)\n\n{\n  Bignum_conflict pBVar1;\n  Bignum_conflict a;\n  int iVar2;\n  Bignum_conflict result;\n  Bignum_conflict quotient;\n  uint uVar3;\n  Bignum_conflict pBVar4;\n  BignumInt BVar5;\n  uint uVar6;\n  BignumInt BVar7;\n  BignumInt BVar8;\n  uint uVar9;\n  Bignum_conflict local_2c;\n  Bignum_conflict local_28;\n  int local_20;\n  \n  pBVar1 = copybn(modulus);\n  a = copybn(number);\n  local_28 = copybn(Zero);\n  local_2c = copybn(One);\n  if (number[*number] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (modulus[*modulus] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar2 = bignum_cmp(a,One), iVar2 != 0) {\n    iVar2 = bignum_cmp(a,Zero);\n    if (iVar2 == 0) {\n      freebn(a);\n      freebn(pBVar1);\n      freebn(local_28);\n      freebn(local_2c);\n      return (Bignum_conflict)0x0;\n    }\n    result = newbn(*a);\n    quotient = newbn(*pBVar1);\n    bigdivmod(pBVar1,a,result,quotient);\n    uVar3 = *result;\n    if (1 < uVar3) {\n      BVar8 = result[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *result = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = result[uVar3];\n      }\n    }\n    uVar3 = *quotient;\n    if (1 < uVar3) {\n      BVar8 = quotient[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *quotient = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = quotient[uVar3];\n      }\n    }\n    freebn(pBVar1);\n    pBVar4 = bigmuladd(quotient,local_2c,local_28);\n    local_20 = -local_20;\n    freebn(local_28);\n    freebn(quotient);\n    local_28 = local_2c;\n    pBVar1 = a;\n    a = result;\n    local_2c = pBVar4;\n  }\n  freebn(a);\n  freebn(pBVar1);\n  freebn(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  pBVar1 = newbn(*modulus);\n  if ((int)*pBVar1 < 1) {\n    BVar8 = 1;\n  }\n  else {\n    BVar7 = 1;\n    BVar8 = 1;\n    uVar3 = 0;\n    do {\n      while( true ) {\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }\n      uVar6 = (BVar5 - uVar3) - local_2c[BVar7];\n      uVar9 = ~local_2c[BVar7];\n      pBVar1[BVar7] = uVar6;\n      if (uVar3 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar3 = (uint)(uVar9 <= uVar6);\n      if (uVar6 != 0) {\n        BVar8 = BVar7;\n      }\n      BVar7 = BVar7 + 1;\n    } while ((int)BVar7 <= (int)*pBVar1);\n  }\nLAB_0002a338:\n  *pBVar1 = BVar8;\n  freebn(local_2c);\n  return pBVar1;\n}\n\n" comment (function_definition "Bignum_conflict modinv(Bignum_conflict number,Bignum_conflict modulus)\n\n{\n  Bignum_conflict pBVar1;\n  Bignum_conflict a;\n  int iVar2;\n  Bignum_conflict result;\n  Bignum_conflict quotient;\n  uint uVar3;\n  Bignum_conflict pBVar4;\n  BignumInt BVar5;\n  uint uVar6;\n  BignumInt BVar7;\n  BignumInt BVar8;\n  uint uVar9;\n  Bignum_conflict local_2c;\n  Bignum_conflict local_28;\n  int local_20;\n  \n  pBVar1 = copybn(modulus);\n  a = copybn(number);\n  local_28 = copybn(Zero);\n  local_2c = copybn(One);\n  if (number[*number] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (modulus[*modulus] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar2 = bignum_cmp(a,One), iVar2 != 0) {\n    iVar2 = bignum_cmp(a,Zero);\n    if (iVar2 == 0) {\n      freebn(a);\n      freebn(pBVar1);\n      freebn(local_28);\n      freebn(local_2c);\n      return (Bignum_conflict)0x0;\n    }\n    result = newbn(*a);\n    quotient = newbn(*pBVar1);\n    bigdivmod(pBVar1,a,result,quotient);\n    uVar3 = *result;\n    if (1 < uVar3) {\n      BVar8 = result[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *result = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = result[uVar3];\n      }\n    }\n    uVar3 = *quotient;\n    if (1 < uVar3) {\n      BVar8 = quotient[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *quotient = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = quotient[uVar3];\n      }\n    }\n    freebn(pBVar1);\n    pBVar4 = bigmuladd(quotient,local_2c,local_28);\n    local_20 = -local_20;\n    freebn(local_28);\n    freebn(quotient);\n    local_28 = local_2c;\n    pBVar1 = a;\n    a = result;\n    local_2c = pBVar4;\n  }\n  freebn(a);\n  freebn(pBVar1);\n  freebn(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  pBVar1 = newbn(*modulus);\n  if ((int)*pBVar1 < 1) {\n    BVar8 = 1;\n  }\n  else {\n    BVar7 = 1;\n    BVar8 = 1;\n    uVar3 = 0;\n    do {\n      while( true ) {\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }\n      uVar6 = (BVar5 - uVar3) - local_2c[BVar7];\n      uVar9 = ~local_2c[BVar7];\n      pBVar1[BVar7] = uVar6;\n      if (uVar3 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar3 = (uint)(uVar9 <= uVar6);\n      if (uVar6 != 0) {\n        BVar8 = BVar7;\n      }\n      BVar7 = BVar7 + 1;\n    } while ((int)BVar7 <= (int)*pBVar1);\n  }\nLAB_0002a338:\n  *pBVar1 = BVar8;\n  freebn(local_2c);\n  return pBVar1;\n}" type_identifier (function_declarator "modinv(Bignum_conflict number,Bignum_conflict modulus)" identifier (parameter_list "(Bignum_conflict number,Bignum_conflict modulus)" ( (parameter_declaration "Bignum_conflict number" type_identifier identifier) , (parameter_declaration "Bignum_conflict modulus" type_identifier identifier) ))) (compound_statement "{\n  Bignum_conflict pBVar1;\n  Bignum_conflict a;\n  int iVar2;\n  Bignum_conflict result;\n  Bignum_conflict quotient;\n  uint uVar3;\n  Bignum_conflict pBVar4;\n  BignumInt BVar5;\n  uint uVar6;\n  BignumInt BVar7;\n  BignumInt BVar8;\n  uint uVar9;\n  Bignum_conflict local_2c;\n  Bignum_conflict local_28;\n  int local_20;\n  \n  pBVar1 = copybn(modulus);\n  a = copybn(number);\n  local_28 = copybn(Zero);\n  local_2c = copybn(One);\n  if (number[*number] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (modulus[*modulus] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar2 = bignum_cmp(a,One), iVar2 != 0) {\n    iVar2 = bignum_cmp(a,Zero);\n    if (iVar2 == 0) {\n      freebn(a);\n      freebn(pBVar1);\n      freebn(local_28);\n      freebn(local_2c);\n      return (Bignum_conflict)0x0;\n    }\n    result = newbn(*a);\n    quotient = newbn(*pBVar1);\n    bigdivmod(pBVar1,a,result,quotient);\n    uVar3 = *result;\n    if (1 < uVar3) {\n      BVar8 = result[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *result = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = result[uVar3];\n      }\n    }\n    uVar3 = *quotient;\n    if (1 < uVar3) {\n      BVar8 = quotient[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *quotient = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = quotient[uVar3];\n      }\n    }\n    freebn(pBVar1);\n    pBVar4 = bigmuladd(quotient,local_2c,local_28);\n    local_20 = -local_20;\n    freebn(local_28);\n    freebn(quotient);\n    local_28 = local_2c;\n    pBVar1 = a;\n    a = result;\n    local_2c = pBVar4;\n  }\n  freebn(a);\n  freebn(pBVar1);\n  freebn(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  pBVar1 = newbn(*modulus);\n  if ((int)*pBVar1 < 1) {\n    BVar8 = 1;\n  }\n  else {\n    BVar7 = 1;\n    BVar8 = 1;\n    uVar3 = 0;\n    do {\n      while( true ) {\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }\n      uVar6 = (BVar5 - uVar3) - local_2c[BVar7];\n      uVar9 = ~local_2c[BVar7];\n      pBVar1[BVar7] = uVar6;\n      if (uVar3 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar3 = (uint)(uVar9 <= uVar6);\n      if (uVar6 != 0) {\n        BVar8 = BVar7;\n      }\n      BVar7 = BVar7 + 1;\n    } while ((int)BVar7 <= (int)*pBVar1);\n  }\nLAB_0002a338:\n  *pBVar1 = BVar8;\n  freebn(local_2c);\n  return pBVar1;\n}" { (declaration "Bignum_conflict pBVar1;" type_identifier identifier ;) (declaration "Bignum_conflict a;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "Bignum_conflict result;" type_identifier identifier ;) (declaration "Bignum_conflict quotient;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "Bignum_conflict pBVar4;" type_identifier identifier ;) (declaration "BignumInt BVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "BignumInt BVar7;" type_identifier identifier ;) (declaration "BignumInt BVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "Bignum_conflict local_2c;" type_identifier identifier ;) (declaration "Bignum_conflict local_28;" type_identifier identifier ;) (declaration "int local_20;" primitive_type identifier ;) (expression_statement "pBVar1 = copybn(modulus);" (assignment_expression "pBVar1 = copybn(modulus)" identifier = (call_expression "copybn(modulus)" identifier (argument_list "(modulus)" ( identifier )))) ;) (expression_statement "a = copybn(number);" (assignment_expression "a = copybn(number)" identifier = (call_expression "copybn(number)" identifier (argument_list "(number)" ( identifier )))) ;) (expression_statement "local_28 = copybn(Zero);" (assignment_expression "local_28 = copybn(Zero)" identifier = (call_expression "copybn(Zero)" identifier (argument_list "(Zero)" ( identifier )))) ;) (expression_statement "local_2c = copybn(One);" (assignment_expression "local_2c = copybn(One)" identifier = (call_expression "copybn(One)" identifier (argument_list "(One)" ( identifier )))) ;) (if_statement "if (number[*number] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }" if (parenthesized_expression "(number[*number] == 0)" ( (binary_expression "number[*number] == 0" (subscript_expression "number[*number]" identifier [ (pointer_expression "*number" * identifier) ]) == number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }" { comment (expression_statement "__assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");" (call_expression "__assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv")" identifier (argument_list "("number[number[0]] != 0","sshbn.c",0x7e3,"modinv")" ( (string_literal ""number[number[0]] != 0"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""modinv"" " string_content ") ))) ;) })) (if_statement "if (modulus[*modulus] == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }" if (parenthesized_expression "(modulus[*modulus] == 0)" ( (binary_expression "modulus[*modulus] == 0" (subscript_expression "modulus[*modulus]" identifier [ (pointer_expression "*modulus" * identifier) ]) == number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }" { comment (expression_statement "__assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");" (call_expression "__assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv")" identifier (argument_list "("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv")" ( (string_literal ""modulus[modulus[0]] != 0"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""modinv"" " string_content ") ))) ;) })) (expression_statement "local_20 = 1;" (assignment_expression "local_20 = 1" identifier = number_literal) ;) (while_statement "while (iVar2 = bignum_cmp(a,One), iVar2 != 0) {\n    iVar2 = bignum_cmp(a,Zero);\n    if (iVar2 == 0) {\n      freebn(a);\n      freebn(pBVar1);\n      freebn(local_28);\n      freebn(local_2c);\n      return (Bignum_conflict)0x0;\n    }\n    result = newbn(*a);\n    quotient = newbn(*pBVar1);\n    bigdivmod(pBVar1,a,result,quotient);\n    uVar3 = *result;\n    if (1 < uVar3) {\n      BVar8 = result[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *result = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = result[uVar3];\n      }\n    }\n    uVar3 = *quotient;\n    if (1 < uVar3) {\n      BVar8 = quotient[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *quotient = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = quotient[uVar3];\n      }\n    }\n    freebn(pBVar1);\n    pBVar4 = bigmuladd(quotient,local_2c,local_28);\n    local_20 = -local_20;\n    freebn(local_28);\n    freebn(quotient);\n    local_28 = local_2c;\n    pBVar1 = a;\n    a = result;\n    local_2c = pBVar4;\n  }" while (parenthesized_expression "(iVar2 = bignum_cmp(a,One), iVar2 != 0)" ( (comma_expression "iVar2 = bignum_cmp(a,One), iVar2 != 0" (assignment_expression "iVar2 = bignum_cmp(a,One)" identifier = (call_expression "bignum_cmp(a,One)" identifier (argument_list "(a,One)" ( identifier , identifier )))) , (binary_expression "iVar2 != 0" identifier != number_literal)) )) (compound_statement "{\n    iVar2 = bignum_cmp(a,Zero);\n    if (iVar2 == 0) {\n      freebn(a);\n      freebn(pBVar1);\n      freebn(local_28);\n      freebn(local_2c);\n      return (Bignum_conflict)0x0;\n    }\n    result = newbn(*a);\n    quotient = newbn(*pBVar1);\n    bigdivmod(pBVar1,a,result,quotient);\n    uVar3 = *result;\n    if (1 < uVar3) {\n      BVar8 = result[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *result = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = result[uVar3];\n      }\n    }\n    uVar3 = *quotient;\n    if (1 < uVar3) {\n      BVar8 = quotient[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *quotient = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = quotient[uVar3];\n      }\n    }\n    freebn(pBVar1);\n    pBVar4 = bigmuladd(quotient,local_2c,local_28);\n    local_20 = -local_20;\n    freebn(local_28);\n    freebn(quotient);\n    local_28 = local_2c;\n    pBVar1 = a;\n    a = result;\n    local_2c = pBVar4;\n  }" { (expression_statement "iVar2 = bignum_cmp(a,Zero);" (assignment_expression "iVar2 = bignum_cmp(a,Zero)" identifier = (call_expression "bignum_cmp(a,Zero)" identifier (argument_list "(a,Zero)" ( identifier , identifier )))) ;) (if_statement "if (iVar2 == 0) {\n      freebn(a);\n      freebn(pBVar1);\n      freebn(local_28);\n      freebn(local_2c);\n      return (Bignum_conflict)0x0;\n    }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n      freebn(a);\n      freebn(pBVar1);\n      freebn(local_28);\n      freebn(local_2c);\n      return (Bignum_conflict)0x0;\n    }" { (expression_statement "freebn(a);" (call_expression "freebn(a)" identifier (argument_list "(a)" ( identifier ))) ;) (expression_statement "freebn(pBVar1);" (call_expression "freebn(pBVar1)" identifier (argument_list "(pBVar1)" ( identifier ))) ;) (expression_statement "freebn(local_28);" (call_expression "freebn(local_28)" identifier (argument_list "(local_28)" ( identifier ))) ;) (expression_statement "freebn(local_2c);" (call_expression "freebn(local_2c)" identifier (argument_list "(local_2c)" ( identifier ))) ;) (return_statement "return (Bignum_conflict)0x0;" return (cast_expression "(Bignum_conflict)0x0" ( (type_descriptor "Bignum_conflict" type_identifier) ) number_literal) ;) })) (expression_statement "result = newbn(*a);" (assignment_expression "result = newbn(*a)" identifier = (call_expression "newbn(*a)" identifier (argument_list "(*a)" ( (pointer_expression "*a" * identifier) )))) ;) (expression_statement "quotient = newbn(*pBVar1);" (assignment_expression "quotient = newbn(*pBVar1)" identifier = (call_expression "newbn(*pBVar1)" identifier (argument_list "(*pBVar1)" ( (pointer_expression "*pBVar1" * identifier) )))) ;) (expression_statement "bigdivmod(pBVar1,a,result,quotient);" (call_expression "bigdivmod(pBVar1,a,result,quotient)" identifier (argument_list "(pBVar1,a,result,quotient)" ( identifier , identifier , identifier , identifier ))) ;) (expression_statement "uVar3 = *result;" (assignment_expression "uVar3 = *result" identifier = (pointer_expression "*result" * identifier)) ;) (if_statement "if (1 < uVar3) {\n      BVar8 = result[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *result = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = result[uVar3];\n      }\n    }" if (parenthesized_expression "(1 < uVar3)" ( (binary_expression "1 < uVar3" number_literal < identifier) )) (compound_statement "{\n      BVar8 = result[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *result = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = result[uVar3];\n      }\n    }" { (expression_statement "BVar8 = result[uVar3];" (assignment_expression "BVar8 = result[uVar3]" identifier = (subscript_expression "result[uVar3]" identifier [ identifier ])) ;) (while_statement "while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *result = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = result[uVar3];\n      }" while (parenthesized_expression "(BVar8 == 0)" ( (binary_expression "BVar8 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar3 = uVar3 - 1;\n        *result = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = result[uVar3];\n      }" { (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (expression_statement "*result = uVar3;" (assignment_expression "*result = uVar3" (pointer_expression "*result" * 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 "BVar8 = result[uVar3];" (assignment_expression "BVar8 = result[uVar3]" identifier = (subscript_expression "result[uVar3]" identifier [ identifier ])) ;) })) })) (expression_statement "uVar3 = *quotient;" (assignment_expression "uVar3 = *quotient" identifier = (pointer_expression "*quotient" * identifier)) ;) (if_statement "if (1 < uVar3) {\n      BVar8 = quotient[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *quotient = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = quotient[uVar3];\n      }\n    }" if (parenthesized_expression "(1 < uVar3)" ( (binary_expression "1 < uVar3" number_literal < identifier) )) (compound_statement "{\n      BVar8 = quotient[uVar3];\n      while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *quotient = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = quotient[uVar3];\n      }\n    }" { (expression_statement "BVar8 = quotient[uVar3];" (assignment_expression "BVar8 = quotient[uVar3]" identifier = (subscript_expression "quotient[uVar3]" identifier [ identifier ])) ;) (while_statement "while (BVar8 == 0) {\n        uVar3 = uVar3 - 1;\n        *quotient = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = quotient[uVar3];\n      }" while (parenthesized_expression "(BVar8 == 0)" ( (binary_expression "BVar8 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar3 = uVar3 - 1;\n        *quotient = uVar3;\n        if (uVar3 == 1) break;\n        BVar8 = quotient[uVar3];\n      }" { (expression_statement "uVar3 = uVar3 - 1;" (assignment_expression "uVar3 = uVar3 - 1" identifier = (binary_expression "uVar3 - 1" identifier - number_literal)) ;) (expression_statement "*quotient = uVar3;" (assignment_expression "*quotient = uVar3" (pointer_expression "*quotient" * 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 "BVar8 = quotient[uVar3];" (assignment_expression "BVar8 = quotient[uVar3]" identifier = (subscript_expression "quotient[uVar3]" identifier [ identifier ])) ;) })) })) (expression_statement "freebn(pBVar1);" (call_expression "freebn(pBVar1)" identifier (argument_list "(pBVar1)" ( identifier ))) ;) (expression_statement "pBVar4 = bigmuladd(quotient,local_2c,local_28);" (assignment_expression "pBVar4 = bigmuladd(quotient,local_2c,local_28)" identifier = (call_expression "bigmuladd(quotient,local_2c,local_28)" identifier (argument_list "(quotient,local_2c,local_28)" ( identifier , identifier , identifier )))) ;) (expression_statement "local_20 = -local_20;" (assignment_expression "local_20 = -local_20" identifier = (unary_expression "-local_20" - identifier)) ;) (expression_statement "freebn(local_28);" (call_expression "freebn(local_28)" identifier (argument_list "(local_28)" ( identifier ))) ;) (expression_statement "freebn(quotient);" (call_expression "freebn(quotient)" identifier (argument_list "(quotient)" ( identifier ))) ;) (expression_statement "local_28 = local_2c;" (assignment_expression "local_28 = local_2c" identifier = identifier) ;) (expression_statement "pBVar1 = a;" (assignment_expression "pBVar1 = a" identifier = identifier) ;) (expression_statement "a = result;" (assignment_expression "a = result" identifier = identifier) ;) (expression_statement "local_2c = pBVar4;" (assignment_expression "local_2c = pBVar4" identifier = identifier) ;) })) (expression_statement "freebn(a);" (call_expression "freebn(a)" identifier (argument_list "(a)" ( identifier ))) ;) (expression_statement "freebn(pBVar1);" (call_expression "freebn(pBVar1)" identifier (argument_list "(pBVar1)" ( identifier ))) ;) (expression_statement "freebn(local_28);" (call_expression "freebn(local_28)" identifier (argument_list "(local_28)" ( identifier ))) ;) (if_statement "if (local_20 != -1) {\n    return local_2c;\n  }" if (parenthesized_expression "(local_20 != -1)" ( (binary_expression "local_20 != -1" identifier != number_literal) )) (compound_statement "{\n    return local_2c;\n  }" { (return_statement "return local_2c;" return identifier ;) })) (expression_statement "pBVar1 = newbn(*modulus);" (assignment_expression "pBVar1 = newbn(*modulus)" identifier = (call_expression "newbn(*modulus)" identifier (argument_list "(*modulus)" ( (pointer_expression "*modulus" * identifier) )))) ;) (if_statement "if ((int)*pBVar1 < 1) {\n    BVar8 = 1;\n  }\n  else {\n    BVar7 = 1;\n    BVar8 = 1;\n    uVar3 = 0;\n    do {\n      while( true ) {\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }\n      uVar6 = (BVar5 - uVar3) - local_2c[BVar7];\n      uVar9 = ~local_2c[BVar7];\n      pBVar1[BVar7] = uVar6;\n      if (uVar3 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar3 = (uint)(uVar9 <= uVar6);\n      if (uVar6 != 0) {\n        BVar8 = BVar7;\n      }\n      BVar7 = BVar7 + 1;\n    } while ((int)BVar7 <= (int)*pBVar1);\n  }" if (parenthesized_expression "((int)*pBVar1 < 1)" ( (binary_expression "(int)*pBVar1 < 1" (cast_expression "(int)*pBVar1" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*pBVar1" * identifier)) < number_literal) )) (compound_statement "{\n    BVar8 = 1;\n  }" { (expression_statement "BVar8 = 1;" (assignment_expression "BVar8 = 1" identifier = number_literal) ;) }) (else_clause "else {\n    BVar7 = 1;\n    BVar8 = 1;\n    uVar3 = 0;\n    do {\n      while( true ) {\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }\n      uVar6 = (BVar5 - uVar3) - local_2c[BVar7];\n      uVar9 = ~local_2c[BVar7];\n      pBVar1[BVar7] = uVar6;\n      if (uVar3 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar3 = (uint)(uVar9 <= uVar6);\n      if (uVar6 != 0) {\n        BVar8 = BVar7;\n      }\n      BVar7 = BVar7 + 1;\n    } while ((int)BVar7 <= (int)*pBVar1);\n  }" else (compound_statement "{\n    BVar7 = 1;\n    BVar8 = 1;\n    uVar3 = 0;\n    do {\n      while( true ) {\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }\n      uVar6 = (BVar5 - uVar3) - local_2c[BVar7];\n      uVar9 = ~local_2c[BVar7];\n      pBVar1[BVar7] = uVar6;\n      if (uVar3 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar3 = (uint)(uVar9 <= uVar6);\n      if (uVar6 != 0) {\n        BVar8 = BVar7;\n      }\n      BVar7 = BVar7 + 1;\n    } while ((int)BVar7 <= (int)*pBVar1);\n  }" { (expression_statement "BVar7 = 1;" (assignment_expression "BVar7 = 1" identifier = number_literal) ;) (expression_statement "BVar8 = 1;" (assignment_expression "BVar8 = 1" identifier = number_literal) ;) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n      while( true ) {\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }\n      uVar6 = (BVar5 - uVar3) - local_2c[BVar7];\n      uVar9 = ~local_2c[BVar7];\n      pBVar1[BVar7] = uVar6;\n      if (uVar3 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar3 = (uint)(uVar9 <= uVar6);\n      if (uVar6 != 0) {\n        BVar8 = BVar7;\n      }\n      BVar7 = BVar7 + 1;\n    } while ((int)BVar7 <= (int)*pBVar1);" do (compound_statement "{\n      while( true ) {\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }\n      uVar6 = (BVar5 - uVar3) - local_2c[BVar7];\n      uVar9 = ~local_2c[BVar7];\n      pBVar1[BVar7] = uVar6;\n      if (uVar3 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar3 = (uint)(uVar9 <= uVar6);\n      if (uVar6 != 0) {\n        BVar8 = BVar7;\n      }\n      BVar7 = BVar7 + 1;\n    }" { (while_statement "while( true ) {\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n        BVar5 = 0;\n        if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }\n        if ((int)BVar7 <= (int)*local_2c) break;\n        uVar6 = BVar5 - uVar3;\n        uVar9 = 0xffffffff;\n        pBVar1[BVar7] = uVar6;\n        if (uVar3 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);\n        if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }\n        BVar7 = BVar7 + 1;\n        if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;\n      }" { (expression_statement "BVar5 = 0;" (assignment_expression "BVar5 = 0" identifier = number_literal) ;) (if_statement "if ((int)BVar7 <= (int)*modulus) {\n          BVar5 = modulus[BVar7];\n        }" if (parenthesized_expression "((int)BVar7 <= (int)*modulus)" ( (binary_expression "(int)BVar7 <= (int)*modulus" (cast_expression "(int)BVar7" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*modulus" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*modulus" * identifier))) )) (compound_statement "{\n          BVar5 = modulus[BVar7];\n        }" { (expression_statement "BVar5 = modulus[BVar7];" (assignment_expression "BVar5 = modulus[BVar7]" identifier = (subscript_expression "modulus[BVar7]" identifier [ identifier ])) ;) })) (if_statement "if ((int)BVar7 <= (int)*local_2c) break;" if (parenthesized_expression "((int)BVar7 <= (int)*local_2c)" ( (binary_expression "(int)BVar7 <= (int)*local_2c" (cast_expression "(int)BVar7" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*local_2c" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*local_2c" * identifier))) )) (break_statement "break;" break ;)) (expression_statement "uVar6 = BVar5 - uVar3;" (assignment_expression "uVar6 = BVar5 - uVar3" identifier = (binary_expression "BVar5 - uVar3" identifier - identifier)) ;) (expression_statement "uVar9 = 0xffffffff;" (assignment_expression "uVar9 = 0xffffffff" identifier = number_literal) ;) (expression_statement "pBVar1[BVar7] = uVar6;" (assignment_expression "pBVar1[BVar7] = uVar6" (subscript_expression "pBVar1[BVar7]" identifier [ identifier ]) = identifier) ;) (if_statement "if (uVar3 != 0) goto LAB_0002a2ec;" if (parenthesized_expression "(uVar3 != 0)" ( (binary_expression "uVar3 != 0" identifier != number_literal) )) (goto_statement "goto LAB_0002a2ec;" goto statement_identifier ;)) (labeled_statement "LAB_0002a325:\n        uVar3 = (uint)(uVar9 < uVar6);" statement_identifier : (expression_statement "uVar3 = (uint)(uVar9 < uVar6);" (assignment_expression "uVar3 = (uint)(uVar9 < uVar6)" identifier = (call_expression "(uint)(uVar9 < uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar9 < uVar6)" ( (binary_expression "uVar9 < uVar6" identifier < identifier) )))) ;)) (if_statement "if (uVar6 != 0) {\n          BVar8 = BVar7;\n        }" if (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) (compound_statement "{\n          BVar8 = BVar7;\n        }" { (expression_statement "BVar8 = BVar7;" (assignment_expression "BVar8 = BVar7" identifier = identifier) ;) })) (expression_statement "BVar7 = BVar7 + 1;" (assignment_expression "BVar7 = BVar7 + 1" identifier = (binary_expression "BVar7 + 1" identifier + number_literal)) ;) (if_statement "if ((int)*pBVar1 < (int)BVar7) goto LAB_0002a338;" if (parenthesized_expression "((int)*pBVar1 < (int)BVar7)" ( (binary_expression "(int)*pBVar1 < (int)BVar7" (cast_expression "(int)*pBVar1" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*pBVar1" * identifier)) < (cast_expression "(int)BVar7" ( (type_descriptor "int" primitive_type) ) identifier)) )) (goto_statement "goto LAB_0002a338;" goto statement_identifier ;)) })) (expression_statement "uVar6 = (BVar5 - uVar3) - local_2c[BVar7];" (assignment_expression "uVar6 = (BVar5 - uVar3) - local_2c[BVar7]" identifier = (binary_expression "(BVar5 - uVar3) - local_2c[BVar7]" (parenthesized_expression "(BVar5 - uVar3)" ( (binary_expression "BVar5 - uVar3" identifier - identifier) )) - (subscript_expression "local_2c[BVar7]" identifier [ identifier ]))) ;) (expression_statement "uVar9 = ~local_2c[BVar7];" (assignment_expression "uVar9 = ~local_2c[BVar7]" identifier = (unary_expression "~local_2c[BVar7]" ~ (subscript_expression "local_2c[BVar7]" identifier [ identifier ]))) ;) (expression_statement "pBVar1[BVar7] = uVar6;" (assignment_expression "pBVar1[BVar7] = uVar6" (subscript_expression "pBVar1[BVar7]" identifier [ identifier ]) = identifier) ;) (if_statement "if (uVar3 == 0) goto LAB_0002a325;" if (parenthesized_expression "(uVar3 == 0)" ( (binary_expression "uVar3 == 0" identifier == number_literal) )) (goto_statement "goto LAB_0002a325;" goto statement_identifier ;)) (labeled_statement "LAB_0002a2ec:\n      uVar3 = (uint)(uVar9 <= uVar6);" statement_identifier : (expression_statement "uVar3 = (uint)(uVar9 <= uVar6);" (assignment_expression "uVar3 = (uint)(uVar9 <= uVar6)" identifier = (call_expression "(uint)(uVar9 <= uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar9 <= uVar6)" ( (binary_expression "uVar9 <= uVar6" identifier <= identifier) )))) ;)) (if_statement "if (uVar6 != 0) {\n        BVar8 = BVar7;\n      }" if (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) (compound_statement "{\n        BVar8 = BVar7;\n      }" { (expression_statement "BVar8 = BVar7;" (assignment_expression "BVar8 = BVar7" identifier = identifier) ;) })) (expression_statement "BVar7 = BVar7 + 1;" (assignment_expression "BVar7 = BVar7 + 1" identifier = (binary_expression "BVar7 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "((int)BVar7 <= (int)*pBVar1)" ( (binary_expression "(int)BVar7 <= (int)*pBVar1" (cast_expression "(int)BVar7" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*pBVar1" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*pBVar1" * identifier))) )) ;) }))) (labeled_statement "LAB_0002a338:\n  *pBVar1 = BVar8;" statement_identifier : (expression_statement "*pBVar1 = BVar8;" (assignment_expression "*pBVar1 = BVar8" (pointer_expression "*pBVar1" * identifier) = identifier) ;)) (expression_statement "freebn(local_2c);" (call_expression "freebn(local_2c)" identifier (argument_list "(local_2c)" ( identifier ))) ;) (return_statement "return pBVar1;" return identifier ;) })))
(translation_unit "int * FUN_0002a0d0(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  int *piVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  int *local_2c;\n  int *local_28;\n  int local_20;\n  \n  puVar1 = (uint *)FUN_00028420(param_2);\n  puVar2 = (uint *)FUN_00028420(param_1);\n  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);\n  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);\n  if (param_1[*param_1] == 0) {\n                    \n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (param_2[*param_2] == 0) {\n                    \n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }\n  FUN_00028470(puVar2);\n  FUN_00028470(puVar1);\n  FUN_00028470(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  piVar7 = (int *)FUN_00027b60();\n  if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }\nLAB_0002a338:\n  *piVar7 = iVar3;\n  FUN_00028470(local_2c);\n  return piVar7;\n}\n\n" (function_definition "int * FUN_0002a0d0(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  int *piVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  int *local_2c;\n  int *local_28;\n  int local_20;\n  \n  puVar1 = (uint *)FUN_00028420(param_2);\n  puVar2 = (uint *)FUN_00028420(param_1);\n  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);\n  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);\n  if (param_1[*param_1] == 0) {\n                    \n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (param_2[*param_2] == 0) {\n                    \n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }\n  FUN_00028470(puVar2);\n  FUN_00028470(puVar1);\n  FUN_00028470(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  piVar7 = (int *)FUN_00027b60();\n  if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }\nLAB_0002a338:\n  *piVar7 = iVar3;\n  FUN_00028470(local_2c);\n  return piVar7;\n}" primitive_type (pointer_declarator "* FUN_0002a0d0(int *param_1,int *param_2)" * (function_declarator "FUN_0002a0d0(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) )))) (compound_statement "{\n  uint *puVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  int *piVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  int *local_2c;\n  int *local_28;\n  int local_20;\n  \n  puVar1 = (uint *)FUN_00028420(param_2);\n  puVar2 = (uint *)FUN_00028420(param_1);\n  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);\n  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);\n  if (param_1[*param_1] == 0) {\n                    \n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (param_2[*param_2] == 0) {\n                    \n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }\n  FUN_00028470(puVar2);\n  FUN_00028470(puVar1);\n  FUN_00028470(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  piVar7 = (int *)FUN_00027b60();\n  if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }\nLAB_0002a338:\n  *piVar7 = iVar3;\n  FUN_00028470(local_2c);\n  return piVar7;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int *piVar7;" primitive_type (pointer_declarator "*piVar7" * identifier) ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "int iVar10;" primitive_type identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "int *local_2c;" primitive_type (pointer_declarator "*local_2c" * identifier) ;) (declaration "int *local_28;" primitive_type (pointer_declarator "*local_28" * identifier) ;) (declaration "int local_20;" primitive_type identifier ;) (expression_statement "puVar1 = (uint *)FUN_00028420(param_2);" (assignment_expression "puVar1 = (uint *)FUN_00028420(param_2)" identifier = (cast_expression "(uint *)FUN_00028420(param_2)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00028420(param_2)" identifier (argument_list "(param_2)" ( identifier ))))) ;) (expression_statement "puVar2 = (uint *)FUN_00028420(param_1);" (assignment_expression "puVar2 = (uint *)FUN_00028420(param_1)" identifier = (cast_expression "(uint *)FUN_00028420(param_1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00028420(param_1)" identifier (argument_list "(param_1)" ( identifier ))))) ;) (expression_statement "local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);" (assignment_expression "local_28 = (int *)FUN_00028420(PTR_DAT_0006f020)" identifier = (cast_expression "(int *)FUN_00028420(PTR_DAT_0006f020)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00028420(PTR_DAT_0006f020)" identifier (argument_list "(PTR_DAT_0006f020)" ( identifier ))))) ;) (expression_statement "local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);" (assignment_expression "local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c)" identifier = (cast_expression "(int *)FUN_00028420(PTR_DAT_0006f01c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00028420(PTR_DAT_0006f01c)" identifier (argument_list "(PTR_DAT_0006f01c)" ( identifier ))))) ;) (if_statement "if (param_1[*param_1] == 0) {\n                    \n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }" if (parenthesized_expression "(param_1[*param_1] == 0)" ( (binary_expression "param_1[*param_1] == 0" (subscript_expression "param_1[*param_1]" identifier [ (pointer_expression "*param_1" * identifier) ]) == number_literal) )) (compound_statement "{\n                    \n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }" { (expression_statement "__assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");" (call_expression "__assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv")" identifier (argument_list "("number[number[0]] != 0","sshbn.c",0x7e3,"modinv")" ( (string_literal ""number[number[0]] != 0"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""modinv"" " string_content ") ))) ;) })) (if_statement "if (param_2[*param_2] == 0) {\n                    \n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }" if (parenthesized_expression "(param_2[*param_2] == 0)" ( (binary_expression "param_2[*param_2] == 0" (subscript_expression "param_2[*param_2]" identifier [ (pointer_expression "*param_2" * identifier) ]) == number_literal) )) (compound_statement "{\n                    \n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }" { (expression_statement "__assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");" (call_expression "__assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv")" identifier (argument_list "("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv")" ( (string_literal ""modulus[modulus[0]] != 0"" " string_content ") , (string_literal ""sshbn.c"" " string_content ") , number_literal , (string_literal ""modinv"" " string_content ") ))) ;) })) (expression_statement "local_20 = 1;" (assignment_expression "local_20 = 1" identifier = number_literal) ;) (while_statement "while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }" while (parenthesized_expression "(iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0)" ( (comma_expression "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0" (assignment_expression "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c)" identifier = (call_expression "FUN_00028df0(puVar2,PTR_DAT_0006f01c)" identifier (argument_list "(puVar2,PTR_DAT_0006f01c)" ( identifier , identifier )))) , (binary_expression "iVar3 != 0" identifier != number_literal)) )) (compound_statement "{\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }" { (expression_statement "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);" (assignment_expression "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020)" identifier = (call_expression "FUN_00028df0(puVar2,PTR_DAT_0006f020)" identifier (argument_list "(puVar2,PTR_DAT_0006f020)" ( identifier , identifier )))) ;) (if_statement "if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (compound_statement "{\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }" { (expression_statement "FUN_00028470(puVar2);" (call_expression "FUN_00028470(puVar2)" identifier (argument_list "(puVar2)" ( identifier ))) ;) (expression_statement "FUN_00028470(puVar1);" (call_expression "FUN_00028470(puVar1)" identifier (argument_list "(puVar1)" ( identifier ))) ;) (expression_statement "FUN_00028470(local_28);" (call_expression "FUN_00028470(local_28)" identifier (argument_list "(local_28)" ( identifier ))) ;) (expression_statement "FUN_00028470(local_2c);" (call_expression "FUN_00028470(local_2c)" identifier (argument_list "(local_2c)" ( identifier ))) ;) (return_statement "return (int *)0x0;" return (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal) ;) })) (expression_statement "puVar4 = (uint *)FUN_00027b60();" (assignment_expression "puVar4 = (uint *)FUN_00027b60()" identifier = (cast_expression "(uint *)FUN_00027b60()" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00027b60()" identifier (argument_list "()" ( ))))) ;) (expression_statement "puVar5 = (uint *)FUN_00027b60();" (assignment_expression "puVar5 = (uint *)FUN_00027b60()" identifier = (cast_expression "(uint *)FUN_00027b60()" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00027b60()" identifier (argument_list "()" ( ))))) ;) (expression_statement "FUN_00027950(puVar5);" (call_expression "FUN_00027950(puVar5)" identifier (argument_list "(puVar5)" ( identifier ))) ;) (expression_statement "uVar6 = *puVar4;" (assignment_expression "uVar6 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (if_statement "if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }" if (parenthesized_expression "(1 < uVar6)" ( (binary_expression "1 < uVar6" number_literal < identifier) )) (compound_statement "{\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }" { (expression_statement "uVar9 = puVar4[uVar6];" (assignment_expression "uVar9 = puVar4[uVar6]" identifier = (subscript_expression "puVar4[uVar6]" identifier [ identifier ])) ;) (while_statement "while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }" while (parenthesized_expression "(uVar9 == 0)" ( (binary_expression "uVar9 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }" { (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ;) (expression_statement "*puVar4 = uVar6;" (assignment_expression "*puVar4 = uVar6" (pointer_expression "*puVar4" * identifier) = identifier) ;) (if_statement "if (uVar6 == 1) break;" if (parenthesized_expression "(uVar6 == 1)" ( (binary_expression "uVar6 == 1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar9 = puVar4[uVar6];" (assignment_expression "uVar9 = puVar4[uVar6]" identifier = (subscript_expression "puVar4[uVar6]" identifier [ identifier ])) ;) })) })) (expression_statement "uVar6 = *puVar5;" (assignment_expression "uVar6 = *puVar5" identifier = (pointer_expression "*puVar5" * identifier)) ;) (if_statement "if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }" if (parenthesized_expression "(1 < uVar6)" ( (binary_expression "1 < uVar6" number_literal < identifier) )) (compound_statement "{\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }" { (expression_statement "uVar9 = puVar5[uVar6];" (assignment_expression "uVar9 = puVar5[uVar6]" identifier = (subscript_expression "puVar5[uVar6]" identifier [ identifier ])) ;) (while_statement "while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }" while (parenthesized_expression "(uVar9 == 0)" ( (binary_expression "uVar9 == 0" identifier == number_literal) )) (compound_statement "{\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }" { (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ;) (expression_statement "*puVar5 = uVar6;" (assignment_expression "*puVar5 = uVar6" (pointer_expression "*puVar5" * identifier) = identifier) ;) (if_statement "if (uVar6 == 1) break;" if (parenthesized_expression "(uVar6 == 1)" ( (binary_expression "uVar6 == 1" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar9 = puVar5[uVar6];" (assignment_expression "uVar9 = puVar5[uVar6]" identifier = (subscript_expression "puVar5[uVar6]" identifier [ identifier ])) ;) })) })) (expression_statement "FUN_00028470(puVar1);" (call_expression "FUN_00028470(puVar1)" identifier (argument_list "(puVar1)" ( identifier ))) ;) (expression_statement "piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);" (assignment_expression "piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28)" identifier = (cast_expression "(int *)FUN_000292c0(puVar5,local_2c,local_28)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_000292c0(puVar5,local_2c,local_28)" identifier (argument_list "(puVar5,local_2c,local_28)" ( identifier , identifier , identifier ))))) ;) (expression_statement "local_20 = -local_20;" (assignment_expression "local_20 = -local_20" identifier = (unary_expression "-local_20" - identifier)) ;) (expression_statement "FUN_00028470(local_28);" (call_expression "FUN_00028470(local_28)" identifier (argument_list "(local_28)" ( identifier ))) ;) (expression_statement "FUN_00028470(puVar5);" (call_expression "FUN_00028470(puVar5)" identifier (argument_list "(puVar5)" ( identifier ))) ;) (expression_statement "local_28 = local_2c;" (assignment_expression "local_28 = local_2c" identifier = identifier) ;) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" identifier = identifier) ;) (expression_statement "puVar2 = puVar4;" (assignment_expression "puVar2 = puVar4" identifier = identifier) ;) (expression_statement "local_2c = piVar7;" (assignment_expression "local_2c = piVar7" identifier = identifier) ;) })) (expression_statement "FUN_00028470(puVar2);" (call_expression "FUN_00028470(puVar2)" identifier (argument_list "(puVar2)" ( identifier ))) ;) (expression_statement "FUN_00028470(puVar1);" (call_expression "FUN_00028470(puVar1)" identifier (argument_list "(puVar1)" ( identifier ))) ;) (expression_statement "FUN_00028470(local_28);" (call_expression "FUN_00028470(local_28)" identifier (argument_list "(local_28)" ( identifier ))) ;) (if_statement "if (local_20 != -1) {\n    return local_2c;\n  }" if (parenthesized_expression "(local_20 != -1)" ( (binary_expression "local_20 != -1" identifier != number_literal) )) (compound_statement "{\n    return local_2c;\n  }" { (return_statement "return local_2c;" return identifier ;) })) (expression_statement "piVar7 = (int *)FUN_00027b60();" (assignment_expression "piVar7 = (int *)FUN_00027b60()" identifier = (cast_expression "(int *)FUN_00027b60()" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00027b60()" identifier (argument_list "()" ( ))))) ;) (if_statement "if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }" if (parenthesized_expression "(*piVar7 < 1)" ( (binary_expression "*piVar7 < 1" (pointer_expression "*piVar7" * identifier) < number_literal) )) (compound_statement "{\n    iVar3 = 1;\n  }" { (expression_statement "iVar3 = 1;" (assignment_expression "iVar3 = 1" identifier = number_literal) ;) }) (else_clause "else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }" else (compound_statement "{\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }" { (expression_statement "iVar10 = 1;" (assignment_expression "iVar10 = 1" identifier = number_literal) ;) (expression_statement "iVar3 = 1;" (assignment_expression "iVar3 = 1" identifier = number_literal) ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (do_statement "do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);" do (compound_statement "{\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    }" { (while_statement "while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }" { (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" identifier = number_literal) ;) (if_statement "if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }" if (parenthesized_expression "(iVar10 <= *param_2)" ( (binary_expression "iVar10 <= *param_2" identifier <= (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n          iVar8 = param_2[iVar10];\n        }" { (expression_statement "iVar8 = param_2[iVar10];" (assignment_expression "iVar8 = param_2[iVar10]" identifier = (subscript_expression "param_2[iVar10]" identifier [ identifier ])) ;) })) (if_statement "if (iVar10 <= *local_2c) break;" if (parenthesized_expression "(iVar10 <= *local_2c)" ( (binary_expression "iVar10 <= *local_2c" identifier <= (pointer_expression "*local_2c" * identifier)) )) (break_statement "break;" break ;)) (expression_statement "uVar9 = iVar8 - uVar6;" (assignment_expression "uVar9 = iVar8 - uVar6" identifier = (binary_expression "iVar8 - uVar6" identifier - identifier)) ;) (expression_statement "uVar11 = 0xffffffff;" (assignment_expression "uVar11 = 0xffffffff" identifier = number_literal) ;) (expression_statement "piVar7[iVar10] = uVar9;" (assignment_expression "piVar7[iVar10] = uVar9" (subscript_expression "piVar7[iVar10]" identifier [ identifier ]) = identifier) ;) (if_statement "if (uVar6 != 0) goto LAB_0002a2ec;" if (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) (goto_statement "goto LAB_0002a2ec;" goto statement_identifier ;)) (labeled_statement "LAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);" statement_identifier : (expression_statement "uVar6 = (uint)(uVar11 < uVar9);" (assignment_expression "uVar6 = (uint)(uVar11 < uVar9)" identifier = (call_expression "(uint)(uVar11 < uVar9)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar11 < uVar9)" ( (binary_expression "uVar11 < uVar9" identifier < identifier) )))) ;)) (if_statement "if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }" if (parenthesized_expression "(uVar9 != 0)" ( (binary_expression "uVar9 != 0" identifier != number_literal) )) (compound_statement "{\n          iVar3 = iVar10;\n        }" { (expression_statement "iVar3 = iVar10;" (assignment_expression "iVar3 = iVar10" identifier = identifier) ;) })) (expression_statement "iVar10 = iVar10 + 1;" (assignment_expression "iVar10 = iVar10 + 1" identifier = (binary_expression "iVar10 + 1" identifier + number_literal)) ;) (if_statement "if (*piVar7 < iVar10) goto LAB_0002a338;" if (parenthesized_expression "(*piVar7 < iVar10)" ( (binary_expression "*piVar7 < iVar10" (pointer_expression "*piVar7" * identifier) < identifier) )) (goto_statement "goto LAB_0002a338;" goto statement_identifier ;)) })) (expression_statement "uVar9 = (iVar8 - uVar6) - local_2c[iVar10];" (assignment_expression "uVar9 = (iVar8 - uVar6) - local_2c[iVar10]" identifier = (binary_expression "(iVar8 - uVar6) - local_2c[iVar10]" (parenthesized_expression "(iVar8 - uVar6)" ( (binary_expression "iVar8 - uVar6" identifier - identifier) )) - (subscript_expression "local_2c[iVar10]" identifier [ identifier ]))) ;) (expression_statement "uVar11 = ~local_2c[iVar10];" (assignment_expression "uVar11 = ~local_2c[iVar10]" identifier = (unary_expression "~local_2c[iVar10]" ~ (subscript_expression "local_2c[iVar10]" identifier [ identifier ]))) ;) (expression_statement "piVar7[iVar10] = uVar9;" (assignment_expression "piVar7[iVar10] = uVar9" (subscript_expression "piVar7[iVar10]" identifier [ identifier ]) = identifier) ;) (if_statement "if (uVar6 == 0) goto LAB_0002a325;" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (goto_statement "goto LAB_0002a325;" goto statement_identifier ;)) (labeled_statement "LAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);" statement_identifier : (expression_statement "uVar6 = (uint)(uVar11 <= uVar9);" (assignment_expression "uVar6 = (uint)(uVar11 <= uVar9)" identifier = (call_expression "(uint)(uVar11 <= uVar9)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar11 <= uVar9)" ( (binary_expression "uVar11 <= uVar9" identifier <= identifier) )))) ;)) (if_statement "if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }" if (parenthesized_expression "(uVar9 != 0)" ( (binary_expression "uVar9 != 0" identifier != number_literal) )) (compound_statement "{\n        iVar3 = iVar10;\n      }" { (expression_statement "iVar3 = iVar10;" (assignment_expression "iVar3 = iVar10" identifier = identifier) ;) })) (expression_statement "iVar10 = iVar10 + 1;" (assignment_expression "iVar10 = iVar10 + 1" identifier = (binary_expression "iVar10 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar10 <= *piVar7)" ( (binary_expression "iVar10 <= *piVar7" identifier <= (pointer_expression "*piVar7" * identifier)) )) ;) }))) (labeled_statement "LAB_0002a338:\n  *piVar7 = iVar3;" statement_identifier : (expression_statement "*piVar7 = iVar3;" (assignment_expression "*piVar7 = iVar3" (pointer_expression "*piVar7" * identifier) = identifier) ;)) (expression_statement "FUN_00028470(local_2c);" (call_expression "FUN_00028470(local_2c)" identifier (argument_list "(local_2c)" ( identifier ))) ;) (return_statement "return piVar7;" 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)) )))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT ))))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT ))))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT ))))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ (pointer_expression * IDENT) ]) == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ (pointer_expression * IDENT) ]) == 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 = LIT) ;) (while_statement while (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT )))) , (binary_expression IDENT != LIT)) )) (compound_statement { (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 (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (return_statement return (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( ))))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( ))))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (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 = (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 (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT ))))) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_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 { (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (pointer_expression * IDENT)) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) )))) ;)) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) < IDENT) )) (goto_statement goto statement_identifier ;)) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT - IDENT) )) - (subscript_expression IDENT [ IDENT ]))) ;) (expression_statement (assignment_expression IDENT = (unary_expression ~ (subscript_expression IDENT [ IDENT ]))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT <= IDENT) )))) ;)) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT <= (pointer_expression * IDENT)) )) ;) }))) (labeled_statement statement_identifier : (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;)) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (return_statement return IDENT ;) })))
(function_definition "int * FUN_0002a0d0(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  int *piVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  int *local_2c;\n  int *local_28;\n  int local_20;\n  \n  puVar1 = (uint *)FUN_00028420(param_2);\n  puVar2 = (uint *)FUN_00028420(param_1);\n  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);\n  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);\n  if (param_1[*param_1] == 0) {\n                    \n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (param_2[*param_2] == 0) {\n                    \n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }\n  FUN_00028470(puVar2);\n  FUN_00028470(puVar1);\n  FUN_00028470(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  piVar7 = (int *)FUN_00027b60();\n  if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }\nLAB_0002a338:\n  *piVar7 = iVar3;\n  FUN_00028470(local_2c);\n  return piVar7;\n}" (primitive_type "int") (pointer_declarator "* FUN_0002a0d0(int *param_1,int *param_2)" (* "*") (function_declarator "FUN_0002a0d0(int *param_1,int *param_2)" (identifier "FUN_0002a0d0") (parameter_list "(int *param_1,int *param_2)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int *param_2" (primitive_type "int") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) () ")")))) (compound_statement "{\n  uint *puVar1;\n  uint *puVar2;\n  int iVar3;\n  uint *puVar4;\n  uint *puVar5;\n  uint uVar6;\n  int *piVar7;\n  int iVar8;\n  uint uVar9;\n  int iVar10;\n  uint uVar11;\n  int *local_2c;\n  int *local_28;\n  int local_20;\n  \n  puVar1 = (uint *)FUN_00028420(param_2);\n  puVar2 = (uint *)FUN_00028420(param_1);\n  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);\n  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);\n  if (param_1[*param_1] == 0) {\n                    \n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }\n  if (param_2[*param_2] == 0) {\n                    \n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }\n  local_20 = 1;\n  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }\n  FUN_00028470(puVar2);\n  FUN_00028470(puVar1);\n  FUN_00028470(local_28);\n  if (local_20 != -1) {\n    return local_2c;\n  }\n  piVar7 = (int *)FUN_00027b60();\n  if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }\nLAB_0002a338:\n  *piVar7 = iVar3;\n  FUN_00028470(local_2c);\n  return piVar7;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "uint *puVar2;" (type_identifier "uint") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint *puVar4;" (type_identifier "uint") (pointer_declarator "*puVar4" (* "*") (identifier "puVar4")) (; ";")) (declaration "uint *puVar5;" (type_identifier "uint") (pointer_declarator "*puVar5" (* "*") (identifier "puVar5")) (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "int *piVar7;" (primitive_type "int") (pointer_declarator "*piVar7" (* "*") (identifier "piVar7")) (; ";")) (declaration "int iVar8;" (primitive_type "int") (identifier "iVar8") (; ";")) (declaration "uint uVar9;" (type_identifier "uint") (identifier "uVar9") (; ";")) (declaration "int iVar10;" (primitive_type "int") (identifier "iVar10") (; ";")) (declaration "uint uVar11;" (type_identifier "uint") (identifier "uVar11") (; ";")) (declaration "int *local_2c;" (primitive_type "int") (pointer_declarator "*local_2c" (* "*") (identifier "local_2c")) (; ";")) (declaration "int *local_28;" (primitive_type "int") (pointer_declarator "*local_28" (* "*") (identifier "local_28")) (; ";")) (declaration "int local_20;" (primitive_type "int") (identifier "local_20") (; ";")) (expression_statement "puVar1 = (uint *)FUN_00028420(param_2);" (assignment_expression "puVar1 = (uint *)FUN_00028420(param_2)" (identifier "puVar1") (= "=") (cast_expression "(uint *)FUN_00028420(param_2)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_00028420(param_2)" (identifier "FUN_00028420") (argument_list "(param_2)" (( "(") (identifier "param_2") () ")"))))) (; ";")) (expression_statement "puVar2 = (uint *)FUN_00028420(param_1);" (assignment_expression "puVar2 = (uint *)FUN_00028420(param_1)" (identifier "puVar2") (= "=") (cast_expression "(uint *)FUN_00028420(param_1)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_00028420(param_1)" (identifier "FUN_00028420") (argument_list "(param_1)" (( "(") (identifier "param_1") () ")"))))) (; ";")) (expression_statement "local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);" (assignment_expression "local_28 = (int *)FUN_00028420(PTR_DAT_0006f020)" (identifier "local_28") (= "=") (cast_expression "(int *)FUN_00028420(PTR_DAT_0006f020)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_00028420(PTR_DAT_0006f020)" (identifier "FUN_00028420") (argument_list "(PTR_DAT_0006f020)" (( "(") (identifier "PTR_DAT_0006f020") () ")"))))) (; ";")) (expression_statement "local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);" (assignment_expression "local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c)" (identifier "local_2c") (= "=") (cast_expression "(int *)FUN_00028420(PTR_DAT_0006f01c)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_00028420(PTR_DAT_0006f01c)" (identifier "FUN_00028420") (argument_list "(PTR_DAT_0006f01c)" (( "(") (identifier "PTR_DAT_0006f01c") () ")"))))) (; ";")) (if_statement "if (param_1[*param_1] == 0) {\n                    \n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }" (if "if") (parenthesized_expression "(param_1[*param_1] == 0)" (( "(") (binary_expression "param_1[*param_1] == 0" (subscript_expression "param_1[*param_1]" (identifier "param_1") ([ "[") (pointer_expression "*param_1" (* "*") (identifier "param_1")) (] "]")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n                    \n    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");\n  }" ({ "{") (expression_statement "__assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");" (call_expression "__assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv")" (identifier "__assert_fail") (argument_list "("number[number[0]] != 0","sshbn.c",0x7e3,"modinv")" (( "(") (string_literal ""number[number[0]] != 0"" (" """) (string_content "number[number[0]] != 0") (" """)) (, ",") (string_literal ""sshbn.c"" (" """) (string_content "sshbn.c") (" """)) (, ",") (number_literal "0x7e3") (, ",") (string_literal ""modinv"" (" """) (string_content "modinv") (" """)) () ")"))) (; ";")) (} "}"))) (if_statement "if (param_2[*param_2] == 0) {\n                    \n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }" (if "if") (parenthesized_expression "(param_2[*param_2] == 0)" (( "(") (binary_expression "param_2[*param_2] == 0" (subscript_expression "param_2[*param_2]" (identifier "param_2") ([ "[") (pointer_expression "*param_2" (* "*") (identifier "param_2")) (] "]")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n                    \n    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");\n  }" ({ "{") (expression_statement "__assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");" (call_expression "__assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv")" (identifier "__assert_fail") (argument_list "("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv")" (( "(") (string_literal ""modulus[modulus[0]] != 0"" (" """) (string_content "modulus[modulus[0]] != 0") (" """)) (, ",") (string_literal ""sshbn.c"" (" """) (string_content "sshbn.c") (" """)) (, ",") (number_literal "0x7e4") (, ",") (string_literal ""modinv"" (" """) (string_content "modinv") (" """)) () ")"))) (; ";")) (} "}"))) (expression_statement "local_20 = 1;" (assignment_expression "local_20 = 1" (identifier "local_20") (= "=") (number_literal "1")) (; ";")) (while_statement "while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }" (while "while") (parenthesized_expression "(iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0)" (( "(") (comma_expression "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0" (assignment_expression "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c)" (identifier "iVar3") (= "=") (call_expression "FUN_00028df0(puVar2,PTR_DAT_0006f01c)" (identifier "FUN_00028df0") (argument_list "(puVar2,PTR_DAT_0006f01c)" (( "(") (identifier "puVar2") (, ",") (identifier "PTR_DAT_0006f01c") () ")")))) (, ",") (binary_expression "iVar3 != 0" (identifier "iVar3") (!= "!=") (number_literal "0"))) () ")")) (compound_statement "{\n    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);\n    if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }\n    puVar4 = (uint *)FUN_00027b60();\n    puVar5 = (uint *)FUN_00027b60();\n    FUN_00027950(puVar5);\n    uVar6 = *puVar4;\n    if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }\n    uVar6 = *puVar5;\n    if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }\n    FUN_00028470(puVar1);\n    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);\n    local_20 = -local_20;\n    FUN_00028470(local_28);\n    FUN_00028470(puVar5);\n    local_28 = local_2c;\n    puVar1 = puVar2;\n    puVar2 = puVar4;\n    local_2c = piVar7;\n  }" ({ "{") (expression_statement "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);" (assignment_expression "iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020)" (identifier "iVar3") (= "=") (call_expression "FUN_00028df0(puVar2,PTR_DAT_0006f020)" (identifier "FUN_00028df0") (argument_list "(puVar2,PTR_DAT_0006f020)" (( "(") (identifier "puVar2") (, ",") (identifier "PTR_DAT_0006f020") () ")")))) (; ";")) (if_statement "if (iVar3 == 0) {\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }" (if "if") (parenthesized_expression "(iVar3 == 0)" (( "(") (binary_expression "iVar3 == 0" (identifier "iVar3") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      FUN_00028470(puVar2);\n      FUN_00028470(puVar1);\n      FUN_00028470(local_28);\n      FUN_00028470(local_2c);\n      return (int *)0x0;\n    }" ({ "{") (expression_statement "FUN_00028470(puVar2);" (call_expression "FUN_00028470(puVar2)" (identifier "FUN_00028470") (argument_list "(puVar2)" (( "(") (identifier "puVar2") () ")"))) (; ";")) (expression_statement "FUN_00028470(puVar1);" (call_expression "FUN_00028470(puVar1)" (identifier "FUN_00028470") (argument_list "(puVar1)" (( "(") (identifier "puVar1") () ")"))) (; ";")) (expression_statement "FUN_00028470(local_28);" (call_expression "FUN_00028470(local_28)" (identifier "FUN_00028470") (argument_list "(local_28)" (( "(") (identifier "local_28") () ")"))) (; ";")) (expression_statement "FUN_00028470(local_2c);" (call_expression "FUN_00028470(local_2c)" (identifier "FUN_00028470") (argument_list "(local_2c)" (( "(") (identifier "local_2c") () ")"))) (; ";")) (return_statement "return (int *)0x0;" (return "return") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0")) (; ";")) (} "}"))) (expression_statement "puVar4 = (uint *)FUN_00027b60();" (assignment_expression "puVar4 = (uint *)FUN_00027b60()" (identifier "puVar4") (= "=") (cast_expression "(uint *)FUN_00027b60()" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_00027b60()" (identifier "FUN_00027b60") (argument_list "()" (( "(") () ")"))))) (; ";")) (expression_statement "puVar5 = (uint *)FUN_00027b60();" (assignment_expression "puVar5 = (uint *)FUN_00027b60()" (identifier "puVar5") (= "=") (cast_expression "(uint *)FUN_00027b60()" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_00027b60()" (identifier "FUN_00027b60") (argument_list "()" (( "(") () ")"))))) (; ";")) (expression_statement "FUN_00027950(puVar5);" (call_expression "FUN_00027950(puVar5)" (identifier "FUN_00027950") (argument_list "(puVar5)" (( "(") (identifier "puVar5") () ")"))) (; ";")) (expression_statement "uVar6 = *puVar4;" (assignment_expression "uVar6 = *puVar4" (identifier "uVar6") (= "=") (pointer_expression "*puVar4" (* "*") (identifier "puVar4"))) (; ";")) (if_statement "if (1 < uVar6) {\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }" (if "if") (parenthesized_expression "(1 < uVar6)" (( "(") (binary_expression "1 < uVar6" (number_literal "1") (< "<") (identifier "uVar6")) () ")")) (compound_statement "{\n      uVar9 = puVar4[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }\n    }" ({ "{") (expression_statement "uVar9 = puVar4[uVar6];" (assignment_expression "uVar9 = puVar4[uVar6]" (identifier "uVar9") (= "=") (subscript_expression "puVar4[uVar6]" (identifier "puVar4") ([ "[") (identifier "uVar6") (] "]"))) (; ";")) (while_statement "while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }" (while "while") (parenthesized_expression "(uVar9 == 0)" (( "(") (binary_expression "uVar9 == 0" (identifier "uVar9") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n        uVar6 = uVar6 - 1;\n        *puVar4 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar4[uVar6];\n      }" ({ "{") (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" (identifier "uVar6") (= "=") (binary_expression "uVar6 - 1" (identifier "uVar6") (- "-") (number_literal "1"))) (; ";")) (expression_statement "*puVar4 = uVar6;" (assignment_expression "*puVar4 = uVar6" (pointer_expression "*puVar4" (* "*") (identifier "puVar4")) (= "=") (identifier "uVar6")) (; ";")) (if_statement "if (uVar6 == 1) break;" (if "if") (parenthesized_expression "(uVar6 == 1)" (( "(") (binary_expression "uVar6 == 1" (identifier "uVar6") (== "==") (number_literal "1")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar9 = puVar4[uVar6];" (assignment_expression "uVar9 = puVar4[uVar6]" (identifier "uVar9") (= "=") (subscript_expression "puVar4[uVar6]" (identifier "puVar4") ([ "[") (identifier "uVar6") (] "]"))) (; ";")) (} "}"))) (} "}"))) (expression_statement "uVar6 = *puVar5;" (assignment_expression "uVar6 = *puVar5" (identifier "uVar6") (= "=") (pointer_expression "*puVar5" (* "*") (identifier "puVar5"))) (; ";")) (if_statement "if (1 < uVar6) {\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }" (if "if") (parenthesized_expression "(1 < uVar6)" (( "(") (binary_expression "1 < uVar6" (number_literal "1") (< "<") (identifier "uVar6")) () ")")) (compound_statement "{\n      uVar9 = puVar5[uVar6];\n      while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }\n    }" ({ "{") (expression_statement "uVar9 = puVar5[uVar6];" (assignment_expression "uVar9 = puVar5[uVar6]" (identifier "uVar9") (= "=") (subscript_expression "puVar5[uVar6]" (identifier "puVar5") ([ "[") (identifier "uVar6") (] "]"))) (; ";")) (while_statement "while (uVar9 == 0) {\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }" (while "while") (parenthesized_expression "(uVar9 == 0)" (( "(") (binary_expression "uVar9 == 0" (identifier "uVar9") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n        uVar6 = uVar6 - 1;\n        *puVar5 = uVar6;\n        if (uVar6 == 1) break;\n        uVar9 = puVar5[uVar6];\n      }" ({ "{") (expression_statement "uVar6 = uVar6 - 1;" (assignment_expression "uVar6 = uVar6 - 1" (identifier "uVar6") (= "=") (binary_expression "uVar6 - 1" (identifier "uVar6") (- "-") (number_literal "1"))) (; ";")) (expression_statement "*puVar5 = uVar6;" (assignment_expression "*puVar5 = uVar6" (pointer_expression "*puVar5" (* "*") (identifier "puVar5")) (= "=") (identifier "uVar6")) (; ";")) (if_statement "if (uVar6 == 1) break;" (if "if") (parenthesized_expression "(uVar6 == 1)" (( "(") (binary_expression "uVar6 == 1" (identifier "uVar6") (== "==") (number_literal "1")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar9 = puVar5[uVar6];" (assignment_expression "uVar9 = puVar5[uVar6]" (identifier "uVar9") (= "=") (subscript_expression "puVar5[uVar6]" (identifier "puVar5") ([ "[") (identifier "uVar6") (] "]"))) (; ";")) (} "}"))) (} "}"))) (expression_statement "FUN_00028470(puVar1);" (call_expression "FUN_00028470(puVar1)" (identifier "FUN_00028470") (argument_list "(puVar1)" (( "(") (identifier "puVar1") () ")"))) (; ";")) (expression_statement "piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);" (assignment_expression "piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28)" (identifier "piVar7") (= "=") (cast_expression "(int *)FUN_000292c0(puVar5,local_2c,local_28)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_000292c0(puVar5,local_2c,local_28)" (identifier "FUN_000292c0") (argument_list "(puVar5,local_2c,local_28)" (( "(") (identifier "puVar5") (, ",") (identifier "local_2c") (, ",") (identifier "local_28") () ")"))))) (; ";")) (expression_statement "local_20 = -local_20;" (assignment_expression "local_20 = -local_20" (identifier "local_20") (= "=") (unary_expression "-local_20" (- "-") (identifier "local_20"))) (; ";")) (expression_statement "FUN_00028470(local_28);" (call_expression "FUN_00028470(local_28)" (identifier "FUN_00028470") (argument_list "(local_28)" (( "(") (identifier "local_28") () ")"))) (; ";")) (expression_statement "FUN_00028470(puVar5);" (call_expression "FUN_00028470(puVar5)" (identifier "FUN_00028470") (argument_list "(puVar5)" (( "(") (identifier "puVar5") () ")"))) (; ";")) (expression_statement "local_28 = local_2c;" (assignment_expression "local_28 = local_2c" (identifier "local_28") (= "=") (identifier "local_2c")) (; ";")) (expression_statement "puVar1 = puVar2;" (assignment_expression "puVar1 = puVar2" (identifier "puVar1") (= "=") (identifier "puVar2")) (; ";")) (expression_statement "puVar2 = puVar4;" (assignment_expression "puVar2 = puVar4" (identifier "puVar2") (= "=") (identifier "puVar4")) (; ";")) (expression_statement "local_2c = piVar7;" (assignment_expression "local_2c = piVar7" (identifier "local_2c") (= "=") (identifier "piVar7")) (; ";")) (} "}"))) (expression_statement "FUN_00028470(puVar2);" (call_expression "FUN_00028470(puVar2)" (identifier "FUN_00028470") (argument_list "(puVar2)" (( "(") (identifier "puVar2") () ")"))) (; ";")) (expression_statement "FUN_00028470(puVar1);" (call_expression "FUN_00028470(puVar1)" (identifier "FUN_00028470") (argument_list "(puVar1)" (( "(") (identifier "puVar1") () ")"))) (; ";")) (expression_statement "FUN_00028470(local_28);" (call_expression "FUN_00028470(local_28)" (identifier "FUN_00028470") (argument_list "(local_28)" (( "(") (identifier "local_28") () ")"))) (; ";")) (if_statement "if (local_20 != -1) {\n    return local_2c;\n  }" (if "if") (parenthesized_expression "(local_20 != -1)" (( "(") (binary_expression "local_20 != -1" (identifier "local_20") (!= "!=") (number_literal "-1")) () ")")) (compound_statement "{\n    return local_2c;\n  }" ({ "{") (return_statement "return local_2c;" (return "return") (identifier "local_2c") (; ";")) (} "}"))) (expression_statement "piVar7 = (int *)FUN_00027b60();" (assignment_expression "piVar7 = (int *)FUN_00027b60()" (identifier "piVar7") (= "=") (cast_expression "(int *)FUN_00027b60()" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_00027b60()" (identifier "FUN_00027b60") (argument_list "()" (( "(") () ")"))))) (; ";")) (if_statement "if (*piVar7 < 1) {\n    iVar3 = 1;\n  }\n  else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }" (if "if") (parenthesized_expression "(*piVar7 < 1)" (( "(") (binary_expression "*piVar7 < 1" (pointer_expression "*piVar7" (* "*") (identifier "piVar7")) (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    iVar3 = 1;\n  }" ({ "{") (expression_statement "iVar3 = 1;" (assignment_expression "iVar3 = 1" (identifier "iVar3") (= "=") (number_literal "1")) (; ";")) (} "}")) (else_clause "else {\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }" (else "else") (compound_statement "{\n    iVar10 = 1;\n    iVar3 = 1;\n    uVar6 = 0;\n    do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);\n  }" ({ "{") (expression_statement "iVar10 = 1;" (assignment_expression "iVar10 = 1" (identifier "iVar10") (= "=") (number_literal "1")) (; ";")) (expression_statement "iVar3 = 1;" (assignment_expression "iVar3 = 1" (identifier "iVar3") (= "=") (number_literal "1")) (; ";")) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" (identifier "uVar6") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    } while (iVar10 <= *piVar7);" (do "do") (compound_statement "{\n      while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }\n      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];\n      uVar11 = ~local_2c[iVar10];\n      piVar7[iVar10] = uVar9;\n      if (uVar6 == 0) goto LAB_0002a325;\nLAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);\n      if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }\n      iVar10 = iVar10 + 1;\n    }" ({ "{") (while_statement "while( true ) {\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n        iVar8 = 0;\n        if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }\n        if (iVar10 <= *local_2c) break;\n        uVar9 = iVar8 - uVar6;\n        uVar11 = 0xffffffff;\n        piVar7[iVar10] = uVar9;\n        if (uVar6 != 0) goto LAB_0002a2ec;\nLAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);\n        if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }\n        iVar10 = iVar10 + 1;\n        if (*piVar7 < iVar10) goto LAB_0002a338;\n      }" ({ "{") (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" (identifier "iVar8") (= "=") (number_literal "0")) (; ";")) (if_statement "if (iVar10 <= *param_2) {\n          iVar8 = param_2[iVar10];\n        }" (if "if") (parenthesized_expression "(iVar10 <= *param_2)" (( "(") (binary_expression "iVar10 <= *param_2" (identifier "iVar10") (<= "<=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) () ")")) (compound_statement "{\n          iVar8 = param_2[iVar10];\n        }" ({ "{") (expression_statement "iVar8 = param_2[iVar10];" (assignment_expression "iVar8 = param_2[iVar10]" (identifier "iVar8") (= "=") (subscript_expression "param_2[iVar10]" (identifier "param_2") ([ "[") (identifier "iVar10") (] "]"))) (; ";")) (} "}"))) (if_statement "if (iVar10 <= *local_2c) break;" (if "if") (parenthesized_expression "(iVar10 <= *local_2c)" (( "(") (binary_expression "iVar10 <= *local_2c" (identifier "iVar10") (<= "<=") (pointer_expression "*local_2c" (* "*") (identifier "local_2c"))) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar9 = iVar8 - uVar6;" (assignment_expression "uVar9 = iVar8 - uVar6" (identifier "uVar9") (= "=") (binary_expression "iVar8 - uVar6" (identifier "iVar8") (- "-") (identifier "uVar6"))) (; ";")) (expression_statement "uVar11 = 0xffffffff;" (assignment_expression "uVar11 = 0xffffffff" (identifier "uVar11") (= "=") (number_literal "0xffffffff")) (; ";")) (expression_statement "piVar7[iVar10] = uVar9;" (assignment_expression "piVar7[iVar10] = uVar9" (subscript_expression "piVar7[iVar10]" (identifier "piVar7") ([ "[") (identifier "iVar10") (] "]")) (= "=") (identifier "uVar9")) (; ";")) (if_statement "if (uVar6 != 0) goto LAB_0002a2ec;" (if "if") (parenthesized_expression "(uVar6 != 0)" (( "(") (binary_expression "uVar6 != 0" (identifier "uVar6") (!= "!=") (number_literal "0")) () ")")) (goto_statement "goto LAB_0002a2ec;" (goto "goto") (statement_identifier "LAB_0002a2ec") (; ";"))) (labeled_statement "LAB_0002a325:\n        uVar6 = (uint)(uVar11 < uVar9);" (statement_identifier "LAB_0002a325") (: ":") (expression_statement "uVar6 = (uint)(uVar11 < uVar9);" (assignment_expression "uVar6 = (uint)(uVar11 < uVar9)" (identifier "uVar6") (= "=") (call_expression "(uint)(uVar11 < uVar9)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar11 < uVar9)" (( "(") (binary_expression "uVar11 < uVar9" (identifier "uVar11") (< "<") (identifier "uVar9")) () ")")))) (; ";"))) (if_statement "if (uVar9 != 0) {\n          iVar3 = iVar10;\n        }" (if "if") (parenthesized_expression "(uVar9 != 0)" (( "(") (binary_expression "uVar9 != 0" (identifier "uVar9") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n          iVar3 = iVar10;\n        }" ({ "{") (expression_statement "iVar3 = iVar10;" (assignment_expression "iVar3 = iVar10" (identifier "iVar3") (= "=") (identifier "iVar10")) (; ";")) (} "}"))) (expression_statement "iVar10 = iVar10 + 1;" (assignment_expression "iVar10 = iVar10 + 1" (identifier "iVar10") (= "=") (binary_expression "iVar10 + 1" (identifier "iVar10") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (*piVar7 < iVar10) goto LAB_0002a338;" (if "if") (parenthesized_expression "(*piVar7 < iVar10)" (( "(") (binary_expression "*piVar7 < iVar10" (pointer_expression "*piVar7" (* "*") (identifier "piVar7")) (< "<") (identifier "iVar10")) () ")")) (goto_statement "goto LAB_0002a338;" (goto "goto") (statement_identifier "LAB_0002a338") (; ";"))) (} "}"))) (expression_statement "uVar9 = (iVar8 - uVar6) - local_2c[iVar10];" (assignment_expression "uVar9 = (iVar8 - uVar6) - local_2c[iVar10]" (identifier "uVar9") (= "=") (binary_expression "(iVar8 - uVar6) - local_2c[iVar10]" (parenthesized_expression "(iVar8 - uVar6)" (( "(") (binary_expression "iVar8 - uVar6" (identifier "iVar8") (- "-") (identifier "uVar6")) () ")")) (- "-") (subscript_expression "local_2c[iVar10]" (identifier "local_2c") ([ "[") (identifier "iVar10") (] "]")))) (; ";")) (expression_statement "uVar11 = ~local_2c[iVar10];" (assignment_expression "uVar11 = ~local_2c[iVar10]" (identifier "uVar11") (= "=") (unary_expression "~local_2c[iVar10]" (~ "~") (subscript_expression "local_2c[iVar10]" (identifier "local_2c") ([ "[") (identifier "iVar10") (] "]")))) (; ";")) (expression_statement "piVar7[iVar10] = uVar9;" (assignment_expression "piVar7[iVar10] = uVar9" (subscript_expression "piVar7[iVar10]" (identifier "piVar7") ([ "[") (identifier "iVar10") (] "]")) (= "=") (identifier "uVar9")) (; ";")) (if_statement "if (uVar6 == 0) goto LAB_0002a325;" (if "if") (parenthesized_expression "(uVar6 == 0)" (( "(") (binary_expression "uVar6 == 0" (identifier "uVar6") (== "==") (number_literal "0")) () ")")) (goto_statement "goto LAB_0002a325;" (goto "goto") (statement_identifier "LAB_0002a325") (; ";"))) (labeled_statement "LAB_0002a2ec:\n      uVar6 = (uint)(uVar11 <= uVar9);" (statement_identifier "LAB_0002a2ec") (: ":") (expression_statement "uVar6 = (uint)(uVar11 <= uVar9);" (assignment_expression "uVar6 = (uint)(uVar11 <= uVar9)" (identifier "uVar6") (= "=") (call_expression "(uint)(uVar11 <= uVar9)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar11 <= uVar9)" (( "(") (binary_expression "uVar11 <= uVar9" (identifier "uVar11") (<= "<=") (identifier "uVar9")) () ")")))) (; ";"))) (if_statement "if (uVar9 != 0) {\n        iVar3 = iVar10;\n      }" (if "if") (parenthesized_expression "(uVar9 != 0)" (( "(") (binary_expression "uVar9 != 0" (identifier "uVar9") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        iVar3 = iVar10;\n      }" ({ "{") (expression_statement "iVar3 = iVar10;" (assignment_expression "iVar3 = iVar10" (identifier "iVar3") (= "=") (identifier "iVar10")) (; ";")) (} "}"))) (expression_statement "iVar10 = iVar10 + 1;" (assignment_expression "iVar10 = iVar10 + 1" (identifier "iVar10") (= "=") (binary_expression "iVar10 + 1" (identifier "iVar10") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar10 <= *piVar7)" (( "(") (binary_expression "iVar10 <= *piVar7" (identifier "iVar10") (<= "<=") (pointer_expression "*piVar7" (* "*") (identifier "piVar7"))) () ")")) (; ";")) (} "}")))) (labeled_statement "LAB_0002a338:\n  *piVar7 = iVar3;" (statement_identifier "LAB_0002a338") (: ":") (expression_statement "*piVar7 = iVar3;" (assignment_expression "*piVar7 = iVar3" (pointer_expression "*piVar7" (* "*") (identifier "piVar7")) (= "=") (identifier "iVar3")) (; ";"))) (expression_statement "FUN_00028470(local_2c);" (call_expression "FUN_00028470(local_2c)" (identifier "FUN_00028470") (argument_list "(local_2c)" (( "(") (identifier "local_2c") () ")"))) (; ";")) (return_statement "return piVar7;" (return "return") (identifier "piVar7") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.si replaced with injection: get_pc_thunk_si */

type_1 function_1(type_1 number,type_1 modulus)

{
  type_1 pBVar1;
  type_1 a;
  int var_4;
  type_1 result;
  type_1 quotient;
  type_2 var_8;
  type_1 pBVar4;
  type_3 var_12;
  type_2 var_14;
  type_3 var_15;
  type_3 var_9;
  type_2 var_13;
  type_1 local_2c;
  type_1 local_28;
  int var_11;
  
  pBVar1 = var_1(modulus);
  a = var_1(number);
  local_28 = var_1(Zero);
  local_2c = var_1(One);
  if (number[*number] == 0) {
                    /* WARNING: Subroutine does not return */
    var_2("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");
  }
  if (modulus[*modulus] == 0) {
                    /* WARNING: Subroutine does not return */
    var_2("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");
  }
  var_11 = 1;
  while (var_4 = var_3(a,One), var_4 != 0) {
    var_4 = var_3(a,Zero);
    if (var_4 == 0) {
      var_5(a);
      var_5(pBVar1);
      var_5(local_28);
      var_5(local_2c);
      return (type_1)0x0;
    }
    result = var_6(*a);
    quotient = var_6(*pBVar1);
    var_7(pBVar1,a,result,quotient);
    var_8 = *result;
    if (1 < var_8) {
      var_9 = result[var_8];
      while (var_9 == 0) {
        var_8 = var_8 - 1;
        *result = var_8;
        if (var_8 == 1) break;
        var_9 = result[var_8];
      }
    }
    var_8 = *quotient;
    if (1 < var_8) {
      var_9 = quotient[var_8];
      while (var_9 == 0) {
        var_8 = var_8 - 1;
        *quotient = var_8;
        if (var_8 == 1) break;
        var_9 = quotient[var_8];
      }
    }
    var_5(pBVar1);
    pBVar4 = var_10(quotient,local_2c,local_28);
    var_11 = -var_11;
    var_5(local_28);
    var_5(quotient);
    local_28 = local_2c;
    pBVar1 = a;
    a = result;
    local_2c = pBVar4;
  }
  var_5(a);
  var_5(pBVar1);
  var_5(local_28);
  if (var_11 != -1) {
    return local_2c;
  }
  pBVar1 = var_6(*modulus);
  if ((int)*pBVar1 < 1) {
    var_9 = 1;
  }
  else {
    var_15 = 1;
    var_9 = 1;
    var_8 = 0;
    do {
      while( true ) {
        var_12 = 0;
        if ((int)var_15 <= (int)*modulus) {
          var_12 = modulus[var_15];
        }
        if ((int)var_15 <= (int)*local_2c) break;
        var_14 = var_12 - var_8;
        var_13 = 0xffffffff;
        pBVar1[var_15] = var_14;
        if (var_8 != 0) goto LAB_0002a2ec;
LAB_0002a325:
        var_8 = (type_2)(var_13 < var_14);
        if (var_14 != 0) {
          var_9 = var_15;
        }
        var_15 = var_15 + 1;
        if ((int)*pBVar1 < (int)var_15) goto LAB_0002a338;
      }
      var_14 = (var_12 - var_8) - local_2c[var_15];
      var_13 = ~local_2c[var_15];
      pBVar1[var_15] = var_14;
      if (var_8 == 0) goto LAB_0002a325;
LAB_0002a2ec:
      var_8 = (type_2)(var_13 <= var_14);
      if (var_14 != 0) {
        var_9 = var_15;
      }
      var_15 = var_15 + 1;
    } while ((int)var_15 <= (int)*pBVar1);
  }
LAB_0002a338:
  *pBVar1 = var_9;
  var_5(local_2c);
  return pBVar1;
}


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

/* WARNING: Function: __i686.get_pc_thunk.si replaced with injection: get_pc_thunk_si */

int * MASKED(int *param_1,int *param_2)

{
  uint *puVar1;
  uint *puVar2;
  int iVar3;
  uint *puVar4;
  uint *puVar5;
  uint uVar6;
  int *piVar7;
  int iVar8;
  uint uVar9;
  int iVar10;
  uint uVar11;
  int *local_2c;
  int *local_28;
  int local_20;
  
  puVar1 = (uint *)FUN_00028420(param_2);
  puVar2 = (uint *)FUN_00028420(param_1);
  local_28 = (int *)FUN_00028420(PTR_DAT_0006f020);
  local_2c = (int *)FUN_00028420(PTR_DAT_0006f01c);
  if (param_1[*param_1] == 0) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("number[number[0]] != 0","sshbn.c",0x7e3,"modinv");
  }
  if (param_2[*param_2] == 0) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("modulus[modulus[0]] != 0","sshbn.c",0x7e4,"modinv");
  }
  local_20 = 1;
  while (iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f01c), iVar3 != 0) {
    iVar3 = FUN_00028df0(puVar2,PTR_DAT_0006f020);
    if (iVar3 == 0) {
      FUN_00028470(puVar2);
      FUN_00028470(puVar1);
      FUN_00028470(local_28);
      FUN_00028470(local_2c);
      return (int *)0x0;
    }
    puVar4 = (uint *)FUN_00027b60();
    puVar5 = (uint *)FUN_00027b60();
    FUN_00027950(puVar5);
    uVar6 = *puVar4;
    if (1 < uVar6) {
      uVar9 = puVar4[uVar6];
      while (uVar9 == 0) {
        uVar6 = uVar6 - 1;
        *puVar4 = uVar6;
        if (uVar6 == 1) break;
        uVar9 = puVar4[uVar6];
      }
    }
    uVar6 = *puVar5;
    if (1 < uVar6) {
      uVar9 = puVar5[uVar6];
      while (uVar9 == 0) {
        uVar6 = uVar6 - 1;
        *puVar5 = uVar6;
        if (uVar6 == 1) break;
        uVar9 = puVar5[uVar6];
      }
    }
    FUN_00028470(puVar1);
    piVar7 = (int *)FUN_000292c0(puVar5,local_2c,local_28);
    local_20 = -local_20;
    FUN_00028470(local_28);
    FUN_00028470(puVar5);
    local_28 = local_2c;
    puVar1 = puVar2;
    puVar2 = puVar4;
    local_2c = piVar7;
  }
  FUN_00028470(puVar2);
  FUN_00028470(puVar1);
  FUN_00028470(local_28);
  if (local_20 != -1) {
    return local_2c;
  }
  piVar7 = (int *)FUN_00027b60();
  if (*piVar7 < 1) {
    iVar3 = 1;
  }
  else {
    iVar10 = 1;
    iVar3 = 1;
    uVar6 = 0;
    do {
      while( true ) {
        iVar8 = 0;
        if (iVar10 <= *param_2) {
          iVar8 = param_2[iVar10];
        }
        if (iVar10 <= *local_2c) break;
        uVar9 = iVar8 - uVar6;
        uVar11 = 0xffffffff;
        piVar7[iVar10] = uVar9;
        if (uVar6 != 0) goto LAB_0002a2ec;
LAB_0002a325:
        uVar6 = (uint)(uVar11 < uVar9);
        if (uVar9 != 0) {
          iVar3 = iVar10;
        }
        iVar10 = iVar10 + 1;
        if (*piVar7 < iVar10) goto LAB_0002a338;
      }
      uVar9 = (iVar8 - uVar6) - local_2c[iVar10];
      uVar11 = ~local_2c[iVar10];
      piVar7[iVar10] = uVar9;
      if (uVar6 == 0) goto LAB_0002a325;
LAB_0002a2ec:
      uVar6 = (uint)(uVar11 <= uVar9);
      if (uVar9 != 0) {
        iVar3 = iVar10;
      }
      iVar10 = iVar10 + 1;
    } while (iVar10 <= *piVar7);
  }
LAB_0002a338:
  *piVar7 = iVar3;
  FUN_00028470(local_2c);
  return piVar7;
}

