
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

void __gmpz_com(mpz_ptr dst,mpz_srcptr src)

{
  int iVar1;
  mp_limb_t *pmVar2;
  mp_limb_t *pmVar3;
  mp_limb_t *pmVar4;
  int iVar5;
  int iVar6;
  mp_limb_t mVar7;
  mp_limb_t *pmVar8;
  
  iVar1 = src->_mp_size;
  if (iVar1 < 0) {
    iVar5 = -iVar1;
    if (SBORROW4(dst->_mp_alloc,iVar5) == dst->_mp_alloc + iVar1 < 0) {
      pmVar3 = dst->_mp_d;
    }
    else {
      pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);
    }
    pmVar2 = src->_mp_d;
    mVar7 = *pmVar2;
    *pmVar3 = mVar7 - 1;
    if (mVar7 == 0) {
      if (iVar1 != -1) {
        mVar7 = pmVar2[1];
        pmVar3[1] = mVar7 - 1;
        if (mVar7 == 0) {
          if (-3 < iVar1) goto LAB_000267e8;
          mVar7 = pmVar2[2];
          iVar6 = 3;
          pmVar3[2] = mVar7 - 1;
          while (mVar7 == 0) {
            if (-iVar6 == iVar1) goto LAB_000267e8;
            mVar7 = pmVar2[iVar6];
            pmVar3[iVar6] = mVar7 - 1;
            iVar6 = iVar6 + 1;
          }
        }
        else {
          iVar6 = 2;
        }
        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {
          pmVar4 = pmVar2 + iVar6;
          pmVar8 = pmVar3 + iVar6;
          do {
            mVar7 = *pmVar4;
            pmVar4 = pmVar4 + 1;
            *pmVar8 = mVar7;
            pmVar8 = pmVar8 + 1;
          } while (pmVar2 + -iVar1 != pmVar4);
        }
      }
    }
    else if ((pmVar3 != pmVar2) && (iVar1 != -1)) {
      iVar6 = 1;
      do {
        pmVar3[iVar6] = pmVar2[iVar6];
        iVar6 = iVar6 + 1;
      } while (-iVar6 != iVar1 && iVar6 <= iVar5);
    }
LAB_000267e8:
    dst->_mp_size = iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0);
    return;
  }
  if (iVar1 == 0) {
    *dst->_mp_d = 1;
    dst->_mp_size = -1;
    return;
  }
  if (iVar1 < dst->_mp_alloc) {
    pmVar3 = dst->_mp_d;
  }
  else {
    pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1);
  }
  pmVar2 = src->_mp_d;
  mVar7 = *pmVar2;
  *pmVar3 = mVar7 + 1;
  if (mVar7 + 1 == 0) {
    if (iVar1 == 1) {
LAB_00026768:
      mVar7 = 1;
      goto LAB_00026839;
    }
    mVar7 = pmVar2[1];
    pmVar3[1] = mVar7 + 1;
    if (mVar7 + 1 == 0) {
      if (iVar1 == 2) goto LAB_00026768;
      mVar7 = pmVar2[2] + 1;
      pmVar3[2] = mVar7;
      iVar5 = 3;
      while (mVar7 == 0) {
        if (iVar1 == iVar5) goto LAB_00026768;
        mVar7 = pmVar2[iVar5] + 1;
        pmVar3[iVar5] = mVar7;
        iVar5 = iVar5 + 1;
      }
    }
    else {
      iVar5 = 2;
    }
    if ((pmVar3 != pmVar2) && (iVar5 < iVar1)) {
      pmVar4 = pmVar2 + iVar5;
      pmVar8 = pmVar3 + iVar5;
      do {
        mVar7 = *pmVar4;
        pmVar4 = pmVar4 + 1;
        *pmVar8 = mVar7;
        pmVar8 = pmVar8 + 1;
      } while (pmVar2 + iVar1 != pmVar4);
    }
  }
  else if ((pmVar3 != pmVar2) && (iVar1 != 1)) {
    pmVar4 = pmVar2 + 1;
    pmVar8 = pmVar3;
    do {
      pmVar8 = pmVar8 + 1;
      mVar7 = *pmVar4;
      pmVar4 = pmVar4 + 1;
      *pmVar8 = mVar7;
    } while (pmVar2 + iVar1 != pmVar4);
  }
  mVar7 = 0;
LAB_00026839:
  pmVar3[iVar1] = mVar7;
  dst->_mp_size = -(iVar1 + mVar7);
  return;
}



void __regparm2 __gmpz_com(undefined4 param_1,undefined4 param_2,int param_3)

{
  int iVar1;
  int *piVar2;
  int iVar3;
  int *piVar4;
  int *piVar5;
  int iVar6;
  int iVar7;
  int *piVar8;
  int *unaff_retaddr;
  
  entry(param_2,0x266d9);
  iVar1 = *(int *)(param_3 + 4);
  if (iVar1 < 0) {
    iVar6 = -iVar1;
    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {
      piVar4 = (int *)unaff_retaddr[2];
    }
    else {
      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);
    }
    piVar2 = *(int **)(param_3 + 8);
    iVar7 = *piVar2;
    *piVar4 = iVar7 + -1;
    if (iVar7 == 0) {
      if (iVar1 != -1) {
        iVar7 = piVar2[1];
        piVar4[1] = iVar7 + -1;
        if (iVar7 == 0) {
          if (-3 < iVar1) goto LAB_000267e8;
          iVar3 = piVar2[2];
          iVar7 = 3;
          piVar4[2] = iVar3 + -1;
          while (iVar3 == 0) {
            if (-iVar7 == iVar1) goto LAB_000267e8;
            iVar3 = piVar2[iVar7];
            piVar4[iVar7] = iVar3 + -1;
            iVar7 = iVar7 + 1;
          }
        }
        else {
          iVar7 = 2;
        }
        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {
          piVar5 = piVar2 + iVar7;
          piVar8 = piVar4 + iVar7;
          do {
            iVar7 = *piVar5;
            piVar5 = piVar5 + 1;
            *piVar8 = iVar7;
            piVar8 = piVar8 + 1;
          } while (piVar2 + -iVar1 != piVar5);
        }
      }
    }
    else if ((piVar4 != piVar2) && (iVar1 != -1)) {
      iVar7 = 1;
      do {
        piVar4[iVar7] = piVar2[iVar7];
        iVar7 = iVar7 + 1;
      } while (-iVar7 != iVar1 && iVar7 <= iVar6);
    }
LAB_000267e8:
    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);
    return;
  }
  if (iVar1 == 0) {
    *(undefined4 *)unaff_retaddr[2] = 1;
    unaff_retaddr[1] = -1;
    return;
  }
  if (iVar1 < *unaff_retaddr) {
    piVar4 = (int *)unaff_retaddr[2];
  }
  else {
    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);
  }
  piVar2 = *(int **)(param_3 + 8);
  iVar6 = *piVar2;
  *piVar4 = iVar6 + 1;
  if (iVar6 + 1 == 0) {
    if (iVar1 == 1) {
LAB_00026768:
      iVar6 = 1;
      goto LAB_00026839;
    }
    iVar6 = piVar2[1];
    piVar4[1] = iVar6 + 1;
    if (iVar6 + 1 == 0) {
      if (iVar1 == 2) goto LAB_00026768;
      iVar7 = piVar2[2] + 1;
      piVar4[2] = iVar7;
      iVar6 = 3;
      while (iVar7 == 0) {
        if (iVar1 == iVar6) goto LAB_00026768;
        iVar7 = piVar2[iVar6] + 1;
        piVar4[iVar6] = iVar7;
        iVar6 = iVar6 + 1;
      }
    }
    else {
      iVar6 = 2;
    }
    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {
      piVar5 = piVar2 + iVar6;
      piVar8 = piVar4 + iVar6;
      do {
        iVar6 = *piVar5;
        piVar5 = piVar5 + 1;
        *piVar8 = iVar6;
        piVar8 = piVar8 + 1;
      } while (piVar2 + iVar1 != piVar5);
    }
  }
  else if ((piVar4 != piVar2) && (iVar1 != 1)) {
    piVar5 = piVar2 + 1;
    piVar8 = piVar4;
    do {
      piVar8 = piVar8 + 1;
      iVar6 = *piVar5;
      piVar5 = piVar5 + 1;
      *piVar8 = iVar6;
    } while (piVar2 + iVar1 != piVar5);
  }
  iVar6 = 0;
LAB_00026839:
  piVar4[iVar1] = iVar6;
  unaff_retaddr[1] = -(iVar1 + iVar6);
  return;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
CALL 0x0001c340
ADD EBX,0x77927
SUB ESP,0xc
MOV EBP,dword ptr [ESP + 0x24]
MOV ESI,dword ptr [EBP + 0x4]
TEST ESI,ESI
JS 0x00026778
MOV EAX,dword ptr [ESP + 0x20]
JZ 0x00026908
CMP dword ptr [EAX],ESI
JLE 0x00026878
MOV EAX,dword ptr [EAX + 0x8]
MOV ECX,dword ptr [EBP + 0x8]
MOV EDI,dword ptr [ECX]
LEA EDX,[EDI + 0x1]
MOV dword ptr [EAX],EDX
TEST EDX,EDX
JNZ 0x00026810
CMP ESI,0x1
JZ 0x00026768
MOV EDI,dword ptr [ECX + 0x4]
LEA EDX,[EDI + 0x1]
MOV dword ptr [EAX + 0x4],EDX
TEST EDX,EDX
JNZ 0x00026890
CMP ESI,0x2
JZ 0x00026768
MOV EDI,dword ptr [ECX + 0x8]
LEA EDX,[EDI + 0x1]
TEST EDX,EDX
MOV dword ptr [EAX + 0x8],EDX
MOV EDX,0x3
JZ 0x00026764
JMP 0x00026898
MOV EDI,dword ptr [ECX + EDX*0x4]
LEA EBX,[EDI + 0x1]
MOV dword ptr [EAX + EDX*0x4],EBX
ADD EDX,0x1
TEST EBX,EBX
JNZ 0x00026898
CMP ESI,EDX
JNZ 0x00026750
MOV EDX,0x1
JMP 0x00026839
MOV EAX,dword ptr [ESP + 0x20]
MOV EDI,ESI
NEG EDI
CMP dword ptr [EAX],EDI
JL 0x00026928
MOV EAX,dword ptr [EAX + 0x8]
MOV EBX,dword ptr [EBP + 0x8]
MOV EDX,dword ptr [EBX]
LEA ECX,[EDX + -0x1]
MOV dword ptr [EAX],ECX
TEST EDX,EDX
JNZ 0x00026850
CMP ESI,-0x1
JZ 0x000267e8
MOV EDX,dword ptr [EBX + 0x4]
LEA ECX,[EDX + -0x1]
MOV dword ptr [EAX + 0x4],ECX
TEST EDX,EDX
JNZ 0x000268c4
CMP ESI,-0x2
JGE 0x000267e8
MOV EDX,dword ptr [EBX + 0x8]
LEA ECX,[EDX + -0x1]
TEST EDX,EDX
MOV EDX,0x3
MOV dword ptr [EAX + 0x8],ECX
JZ 0x000267e4
JMP 0x000268d0
MOV ECX,dword ptr [EBX + EDX*0x4]
LEA EBP,[ECX + -0x1]
MOV dword ptr [EAX + EDX*0x4],EBP
ADD EDX,0x1
TEST ECX,ECX
JNZ 0x000268d0
CMP EDI,EDX
JNZ 0x000267d0
MOV EDX,0x3fffffff
SUB EDX,ESI
MOV EAX,dword ptr [EAX + EDX*0x4]
TEST EAX,EAX
SETZ AL
MOVZX EAX,AL
SUB EDI,EAX
MOV EAX,dword ptr [ESP + 0x20]
MOV dword ptr [EAX + 0x4],EDI
ADD ESP,0xc
POP EBX
POP ESI
POP EDI
POP EBP
RET
CMP EAX,ECX
JZ 0x00026837
CMP ESI,0x1
JZ 0x00026837
LEA EDX,[ECX + 0x4]
LEA EBX,[EAX + 0x4]
LEA EDI,[ECX + ESI*0x4]
LEA ESI,[ESI]
MOV ECX,dword ptr [EDX]
ADD EDX,0x4
ADD EBX,0x4
MOV dword ptr [EBX + -0x4],ECX
CMP EDI,EDX
JNZ 0x00026828
XOR EDX,EDX
MOV dword ptr [EAX + ESI*0x4],EDX
MOV EAX,dword ptr [ESP + 0x20]
ADD ESI,EDX
NEG ESI
MOV dword ptr [EAX + 0x4],ESI
ADD ESP,0xc
POP EBX
POP ESI
POP EDI
POP EBP
RET
CMP EAX,EBX
JZ 0x000267e8
CMP ESI,-0x1
JZ 0x000267e8
MOV EDX,0x1
NOP
MOV ECX,dword ptr [EBX + EDX*0x4]
MOV dword ptr [EAX + EDX*0x4],ECX
ADD EDX,0x1
CMP EDI,EDX
JG 0x00026860
JMP 0x000267e8
SUB ESP,0x8
LEA EAX,[ESI + 0x1]
PUSH EAX
PUSH dword ptr [ESP + 0x2c]
CALL 0x0001b190
ADD ESP,0x10
JMP 0x00026706
MOV EDX,0x2
LEA ESI,[ESI]
CMP EAX,ECX
JZ 0x00026837
CMP ESI,EDX
JLE 0x00026837
SHL EDX,0x2
LEA EDI,[ECX + ESI*0x4]
LEA EBX,[ECX + EDX*0x1]
ADD EDX,EAX
LEA ESI,[ESI]
NOP
MOV ECX,dword ptr [EBX]
ADD EBX,0x4
ADD EDX,0x4
MOV dword ptr [EDX + -0x4],ECX
CMP EDI,EBX
JNZ 0x000268b0
JMP 0x00026837
MOV EDX,0x2
LEA ESI,[ESI]
CMP EAX,EBX
JZ 0x000267e8
CMP EDI,EDX
JLE 0x000267e8
MOV EBP,ESI
SHL EDX,0x2
NEG EBP
LEA ECX,[EBX + EDX*0x1]
ADD EDX,EAX
LEA EBX,[EBX + EBP*0x4]
NOP
MOV EBP,dword ptr [ECX]
ADD ECX,0x4
ADD EDX,0x4
MOV dword ptr [EDX + -0x4],EBP
CMP EBX,ECX
JNZ 0x000268f0
JMP 0x000267e8
MOV EAX,dword ptr [EAX + 0x8]
MOV dword ptr [EAX],0x1
MOV EAX,dword ptr [ESP + 0x20]
MOV dword ptr [EAX + 0x4],0xffffffff
JMP 0x00026803
SUB ESP,0x8
PUSH EDI
PUSH dword ptr [ESP + 0x2c]
CALL 0x0001b190
ADD ESP,0x10
JMP 0x0002678b
(translation_unit "void __regparm2 __gmpz_com(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  int iVar6;\n  int iVar7;\n  int *piVar8;\n  int *unaff_retaddr;\n  \n  entry(param_2,0x266d9);\n  iVar1 = *(int *)(param_3 + 4);\n  if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }\n  if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }\n  piVar2 = *(int **)(param_3 + 8);\n  iVar6 = *piVar2;\n  *piVar4 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }\n  iVar6 = 0;\nLAB_00026839:\n  piVar4[iVar1] = iVar6;\n  unaff_retaddr[1] = -(iVar1 + iVar6);\n  return;\n}\n\n" (function_definition "void __regparm2 __gmpz_com(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  int iVar6;\n  int iVar7;\n  int *piVar8;\n  int *unaff_retaddr;\n  \n  entry(param_2,0x266d9);\n  iVar1 = *(int *)(param_3 + 4);\n  if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }\n  if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }\n  piVar2 = *(int **)(param_3 + 8);\n  iVar6 = *piVar2;\n  *piVar4 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }\n  iVar6 = 0;\nLAB_00026839:\n  piVar4[iVar1] = iVar6;\n  unaff_retaddr[1] = -(iVar1 + iVar6);\n  return;\n}" primitive_type (ERROR "__regparm2" identifier) (function_declarator "__gmpz_com(undefined4 param_1,undefined4 param_2,int param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,int param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  int iVar6;\n  int iVar7;\n  int *piVar8;\n  int *unaff_retaddr;\n  \n  entry(param_2,0x266d9);\n  iVar1 = *(int *)(param_3 + 4);\n  if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }\n  if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }\n  piVar2 = *(int **)(param_3 + 8);\n  iVar6 = *piVar2;\n  *piVar4 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }\n  iVar6 = 0;\nLAB_00026839:\n  piVar4[iVar1] = iVar6;\n  unaff_retaddr[1] = -(iVar1 + iVar6);\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int *piVar4;" primitive_type (pointer_declarator "*piVar4" * identifier) ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "int *piVar8;" primitive_type (pointer_declarator "*piVar8" * identifier) ;) (declaration "int *unaff_retaddr;" primitive_type (pointer_declarator "*unaff_retaddr" * identifier) ;) (expression_statement "entry(param_2,0x266d9);" (call_expression "entry(param_2,0x266d9)" identifier (argument_list "(param_2,0x266d9)" ( identifier , number_literal ))) ;) (expression_statement "iVar1 = *(int *)(param_3 + 4);" (assignment_expression "iVar1 = *(int *)(param_3 + 4)" identifier = (pointer_expression "*(int *)(param_3 + 4)" * (cast_expression "(int *)(param_3 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + 4)" ( (binary_expression "param_3 + 4" identifier + number_literal) ))))) ;) (if_statement "if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }" { (expression_statement "iVar6 = -iVar1;" (assignment_expression "iVar6 = -iVar1" identifier = (unary_expression "-iVar1" - identifier)) ;) (if_statement "if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }" if (parenthesized_expression "(SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0)" ( (binary_expression "SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0" (call_expression "SBORROW4(*unaff_retaddr,iVar6)" identifier (argument_list "(*unaff_retaddr,iVar6)" ( (pointer_expression "*unaff_retaddr" * identifier) , identifier ))) == (binary_expression "*unaff_retaddr + iVar1 < 0" (binary_expression "*unaff_retaddr + iVar1" (pointer_expression "*unaff_retaddr" * identifier) + identifier) < number_literal)) )) (compound_statement "{\n      piVar4 = (int *)unaff_retaddr[2];\n    }" { (expression_statement "piVar4 = (int *)unaff_retaddr[2];" (assignment_expression "piVar4 = (int *)unaff_retaddr[2]" identifier = (cast_expression "(int *)unaff_retaddr[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "unaff_retaddr[2]" identifier [ number_literal ]))) ;) }) (else_clause "else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }" else (compound_statement "{\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }" { (expression_statement "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);" (assignment_expression "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6)" identifier = (cast_expression "(int *)__gmpz_realloc(unaff_retaddr,iVar6)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(unaff_retaddr,iVar6)" identifier (argument_list "(unaff_retaddr,iVar6)" ( identifier , identifier ))))) ;) }))) (expression_statement "piVar2 = *(int **)(param_3 + 8);" (assignment_expression "piVar2 = *(int **)(param_3 + 8)" identifier = (pointer_expression "*(int **)(param_3 + 8)" * (cast_expression "(int **)(param_3 + 8)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_3 + 8)" ( (binary_expression "param_3 + 8" identifier + number_literal) ))))) ;) (expression_statement "iVar7 = *piVar2;" (assignment_expression "iVar7 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (expression_statement "*piVar4 = iVar7 + -1;" (assignment_expression "*piVar4 = iVar7 + -1" (pointer_expression "*piVar4" * identifier) = (binary_expression "iVar7 + -1" identifier + number_literal)) ;) (if_statement "if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" if (parenthesized_expression "(iVar7 == 0)" ( (binary_expression "iVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }" { (if_statement "if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }" if (parenthesized_expression "(iVar1 != -1)" ( (binary_expression "iVar1 != -1" identifier != number_literal) )) (compound_statement "{\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }" { (expression_statement "iVar7 = piVar2[1];" (assignment_expression "iVar7 = piVar2[1]" identifier = (subscript_expression "piVar2[1]" identifier [ number_literal ])) ;) (expression_statement "piVar4[1] = iVar7 + -1;" (assignment_expression "piVar4[1] = iVar7 + -1" (subscript_expression "piVar4[1]" identifier [ number_literal ]) = (binary_expression "iVar7 + -1" identifier + number_literal)) ;) (if_statement "if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }" if (parenthesized_expression "(iVar7 == 0)" ( (binary_expression "iVar7 == 0" identifier == number_literal) )) (compound_statement "{\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }" { (if_statement "if (-3 < iVar1) goto LAB_000267e8;" if (parenthesized_expression "(-3 < iVar1)" ( (binary_expression "-3 < iVar1" number_literal < identifier) )) (goto_statement "goto LAB_000267e8;" goto statement_identifier ;)) (expression_statement "iVar3 = piVar2[2];" (assignment_expression "iVar3 = piVar2[2]" identifier = (subscript_expression "piVar2[2]" identifier [ number_literal ])) ;) (expression_statement "iVar7 = 3;" (assignment_expression "iVar7 = 3" identifier = number_literal) ;) (expression_statement "piVar4[2] = iVar3 + -1;" (assignment_expression "piVar4[2] = iVar3 + -1" (subscript_expression "piVar4[2]" identifier [ number_literal ]) = (binary_expression "iVar3 + -1" identifier + number_literal)) ;) (while_statement "while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }" while (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (compound_statement "{\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }" { (if_statement "if (-iVar7 == iVar1) goto LAB_000267e8;" if (parenthesized_expression "(-iVar7 == iVar1)" ( (binary_expression "-iVar7 == iVar1" (unary_expression "-iVar7" - identifier) == identifier) )) (goto_statement "goto LAB_000267e8;" goto statement_identifier ;)) (expression_statement "iVar3 = piVar2[iVar7];" (assignment_expression "iVar3 = piVar2[iVar7]" identifier = (subscript_expression "piVar2[iVar7]" identifier [ identifier ])) ;) (expression_statement "piVar4[iVar7] = iVar3 + -1;" (assignment_expression "piVar4[iVar7] = iVar3 + -1" (subscript_expression "piVar4[iVar7]" identifier [ identifier ]) = (binary_expression "iVar3 + -1" identifier + number_literal)) ;) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n          iVar7 = 2;\n        }" else (compound_statement "{\n          iVar7 = 2;\n        }" { (expression_statement "iVar7 = 2;" (assignment_expression "iVar7 = 2" identifier = number_literal) ;) }))) (if_statement "if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }" if (parenthesized_expression "((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6))" ( (binary_expression "(piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)" (parenthesized_expression "(piVar4 != piVar2)" ( (binary_expression "piVar4 != piVar2" identifier != identifier) )) && (parenthesized_expression "(-iVar7 != iVar1 && iVar7 <= iVar6)" ( (binary_expression "-iVar7 != iVar1 && iVar7 <= iVar6" (binary_expression "-iVar7 != iVar1" (unary_expression "-iVar7" - identifier) != identifier) && (binary_expression "iVar7 <= iVar6" identifier <= identifier)) ))) )) (compound_statement "{\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }" { (expression_statement "piVar5 = piVar2 + iVar7;" (assignment_expression "piVar5 = piVar2 + iVar7" identifier = (binary_expression "piVar2 + iVar7" identifier + identifier)) ;) (expression_statement "piVar8 = piVar4 + iVar7;" (assignment_expression "piVar8 = piVar4 + iVar7" identifier = (binary_expression "piVar4 + iVar7" identifier + identifier)) ;) (do_statement "do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);" do (compound_statement "{\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          }" { (expression_statement "iVar7 = *piVar5;" (assignment_expression "iVar7 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "piVar5 = piVar5 + 1;" (assignment_expression "piVar5 = piVar5 + 1" identifier = (binary_expression "piVar5 + 1" identifier + number_literal)) ;) (expression_statement "*piVar8 = iVar7;" (assignment_expression "*piVar8 = iVar7" (pointer_expression "*piVar8" * identifier) = identifier) ;) (expression_statement "piVar8 = piVar8 + 1;" (assignment_expression "piVar8 = piVar8 + 1" identifier = (binary_expression "piVar8 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(piVar2 + -iVar1 != piVar5)" ( (binary_expression "piVar2 + -iVar1 != piVar5" (binary_expression "piVar2 + -iVar1" identifier + (unary_expression "-iVar1" - identifier)) != identifier) )) ;) })) })) }) (else_clause "else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" else (if_statement "if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" if (parenthesized_expression "((piVar4 != piVar2) && (iVar1 != -1))" ( (binary_expression "(piVar4 != piVar2) && (iVar1 != -1)" (parenthesized_expression "(piVar4 != piVar2)" ( (binary_expression "piVar4 != piVar2" identifier != identifier) )) && (parenthesized_expression "(iVar1 != -1)" ( (binary_expression "iVar1 != -1" identifier != number_literal) ))) )) (compound_statement "{\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" { (expression_statement "iVar7 = 1;" (assignment_expression "iVar7 = 1" identifier = number_literal) ;) (do_statement "do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);" do (compound_statement "{\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      }" { (expression_statement "piVar4[iVar7] = piVar2[iVar7];" (assignment_expression "piVar4[iVar7] = piVar2[iVar7]" (subscript_expression "piVar4[iVar7]" identifier [ identifier ]) = (subscript_expression "piVar2[iVar7]" identifier [ identifier ])) ;) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(-iVar7 != iVar1 && iVar7 <= iVar6)" ( (binary_expression "-iVar7 != iVar1 && iVar7 <= iVar6" (binary_expression "-iVar7 != iVar1" (unary_expression "-iVar7" - identifier) != identifier) && (binary_expression "iVar7 <= iVar6" identifier <= identifier)) )) ;) })))) (labeled_statement "LAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);" statement_identifier : (expression_statement "unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);" (assignment_expression "unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0)" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = (binary_expression "iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0)" identifier - (call_expression "(uint)(piVar4[0x3fffffff - iVar1] == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(piVar4[0x3fffffff - iVar1] == 0)" ( (binary_expression "piVar4[0x3fffffff - iVar1] == 0" (subscript_expression "piVar4[0x3fffffff - iVar1]" identifier [ (binary_expression "0x3fffffff - iVar1" number_literal - identifier) ]) == number_literal) ))))) ;)) (return_statement "return;" return ;) })) (if_statement "if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }" if (parenthesized_expression "(iVar1 == 0)" ( (binary_expression "iVar1 == 0" identifier == number_literal) )) (compound_statement "{\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }" { (expression_statement "*(undefined4 *)unaff_retaddr[2] = 1;" (assignment_expression "*(undefined4 *)unaff_retaddr[2] = 1" (pointer_expression "*(undefined4 *)unaff_retaddr[2]" * (cast_expression "(undefined4 *)unaff_retaddr[2]" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "unaff_retaddr[2]" identifier [ number_literal ]))) = number_literal) ;) (expression_statement "unaff_retaddr[1] = -1;" (assignment_expression "unaff_retaddr[1] = -1" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return;" return ;) })) (if_statement "if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }" if (parenthesized_expression "(iVar1 < *unaff_retaddr)" ( (binary_expression "iVar1 < *unaff_retaddr" identifier < (pointer_expression "*unaff_retaddr" * identifier)) )) (compound_statement "{\n    piVar4 = (int *)unaff_retaddr[2];\n  }" { (expression_statement "piVar4 = (int *)unaff_retaddr[2];" (assignment_expression "piVar4 = (int *)unaff_retaddr[2]" identifier = (cast_expression "(int *)unaff_retaddr[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "unaff_retaddr[2]" identifier [ number_literal ]))) ;) }) (else_clause "else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }" else (compound_statement "{\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }" { (expression_statement "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);" (assignment_expression "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1)" identifier = (cast_expression "(int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(unaff_retaddr,iVar1 + 1)" identifier (argument_list "(unaff_retaddr,iVar1 + 1)" ( identifier , (binary_expression "iVar1 + 1" identifier + number_literal) ))))) ;) }))) (expression_statement "piVar2 = *(int **)(param_3 + 8);" (assignment_expression "piVar2 = *(int **)(param_3 + 8)" identifier = (pointer_expression "*(int **)(param_3 + 8)" * (cast_expression "(int **)(param_3 + 8)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_3 + 8)" ( (binary_expression "param_3 + 8" identifier + number_literal) ))))) ;) (expression_statement "iVar6 = *piVar2;" (assignment_expression "iVar6 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (expression_statement "*piVar4 = iVar6 + 1;" (assignment_expression "*piVar4 = iVar6 + 1" (pointer_expression "*piVar4" * identifier) = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" if (parenthesized_expression "(iVar6 + 1 == 0)" ( (binary_expression "iVar6 + 1 == 0" (binary_expression "iVar6 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }" { (if_statement "if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }" if (parenthesized_expression "(iVar1 == 1)" ( (binary_expression "iVar1 == 1" identifier == number_literal) )) (compound_statement "{\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }" { (labeled_statement "LAB_00026768:\n      iVar6 = 1;" statement_identifier : (expression_statement "iVar6 = 1;" (assignment_expression "iVar6 = 1" identifier = number_literal) ;)) (goto_statement "goto LAB_00026839;" goto statement_identifier ;) })) (expression_statement "iVar6 = piVar2[1];" (assignment_expression "iVar6 = piVar2[1]" identifier = (subscript_expression "piVar2[1]" identifier [ number_literal ])) ;) (expression_statement "piVar4[1] = iVar6 + 1;" (assignment_expression "piVar4[1] = iVar6 + 1" (subscript_expression "piVar4[1]" identifier [ number_literal ]) = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }" if (parenthesized_expression "(iVar6 + 1 == 0)" ( (binary_expression "iVar6 + 1 == 0" (binary_expression "iVar6 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }" { (if_statement "if (iVar1 == 2) goto LAB_00026768;" if (parenthesized_expression "(iVar1 == 2)" ( (binary_expression "iVar1 == 2" identifier == number_literal) )) (goto_statement "goto LAB_00026768;" goto statement_identifier ;)) (expression_statement "iVar7 = piVar2[2] + 1;" (assignment_expression "iVar7 = piVar2[2] + 1" identifier = (binary_expression "piVar2[2] + 1" (subscript_expression "piVar2[2]" identifier [ number_literal ]) + number_literal)) ;) (expression_statement "piVar4[2] = iVar7;" (assignment_expression "piVar4[2] = iVar7" (subscript_expression "piVar4[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "iVar6 = 3;" (assignment_expression "iVar6 = 3" identifier = number_literal) ;) (while_statement "while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }" while (parenthesized_expression "(iVar7 == 0)" ( (binary_expression "iVar7 == 0" identifier == number_literal) )) (compound_statement "{\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }" { (if_statement "if (iVar1 == iVar6) goto LAB_00026768;" if (parenthesized_expression "(iVar1 == iVar6)" ( (binary_expression "iVar1 == iVar6" identifier == identifier) )) (goto_statement "goto LAB_00026768;" goto statement_identifier ;)) (expression_statement "iVar7 = piVar2[iVar6] + 1;" (assignment_expression "iVar7 = piVar2[iVar6] + 1" identifier = (binary_expression "piVar2[iVar6] + 1" (subscript_expression "piVar2[iVar6]" identifier [ identifier ]) + number_literal)) ;) (expression_statement "piVar4[iVar6] = iVar7;" (assignment_expression "piVar4[iVar6] = iVar7" (subscript_expression "piVar4[iVar6]" identifier [ identifier ]) = identifier) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n      iVar6 = 2;\n    }" else (compound_statement "{\n      iVar6 = 2;\n    }" { (expression_statement "iVar6 = 2;" (assignment_expression "iVar6 = 2" identifier = number_literal) ;) }))) (if_statement "if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }" if (parenthesized_expression "((piVar4 != piVar2) && (iVar6 < iVar1))" ( (binary_expression "(piVar4 != piVar2) && (iVar6 < iVar1)" (parenthesized_expression "(piVar4 != piVar2)" ( (binary_expression "piVar4 != piVar2" identifier != identifier) )) && (parenthesized_expression "(iVar6 < iVar1)" ( (binary_expression "iVar6 < iVar1" identifier < identifier) ))) )) (compound_statement "{\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }" { (expression_statement "piVar5 = piVar2 + iVar6;" (assignment_expression "piVar5 = piVar2 + iVar6" identifier = (binary_expression "piVar2 + iVar6" identifier + identifier)) ;) (expression_statement "piVar8 = piVar4 + iVar6;" (assignment_expression "piVar8 = piVar4 + iVar6" identifier = (binary_expression "piVar4 + iVar6" identifier + identifier)) ;) (do_statement "do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);" do (compound_statement "{\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      }" { (expression_statement "iVar6 = *piVar5;" (assignment_expression "iVar6 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "piVar5 = piVar5 + 1;" (assignment_expression "piVar5 = piVar5 + 1" identifier = (binary_expression "piVar5 + 1" identifier + number_literal)) ;) (expression_statement "*piVar8 = iVar6;" (assignment_expression "*piVar8 = iVar6" (pointer_expression "*piVar8" * identifier) = identifier) ;) (expression_statement "piVar8 = piVar8 + 1;" (assignment_expression "piVar8 = piVar8 + 1" identifier = (binary_expression "piVar8 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(piVar2 + iVar1 != piVar5)" ( (binary_expression "piVar2 + iVar1 != piVar5" (binary_expression "piVar2 + iVar1" identifier + identifier) != identifier) )) ;) })) }) (else_clause "else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" else (if_statement "if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" if (parenthesized_expression "((piVar4 != piVar2) && (iVar1 != 1))" ( (binary_expression "(piVar4 != piVar2) && (iVar1 != 1)" (parenthesized_expression "(piVar4 != piVar2)" ( (binary_expression "piVar4 != piVar2" identifier != identifier) )) && (parenthesized_expression "(iVar1 != 1)" ( (binary_expression "iVar1 != 1" identifier != number_literal) ))) )) (compound_statement "{\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" { (expression_statement "piVar5 = piVar2 + 1;" (assignment_expression "piVar5 = piVar2 + 1" identifier = (binary_expression "piVar2 + 1" identifier + number_literal)) ;) (expression_statement "piVar8 = piVar4;" (assignment_expression "piVar8 = piVar4" identifier = identifier) ;) (do_statement "do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);" do (compound_statement "{\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    }" { (expression_statement "piVar8 = piVar8 + 1;" (assignment_expression "piVar8 = piVar8 + 1" identifier = (binary_expression "piVar8 + 1" identifier + number_literal)) ;) (expression_statement "iVar6 = *piVar5;" (assignment_expression "iVar6 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "piVar5 = piVar5 + 1;" (assignment_expression "piVar5 = piVar5 + 1" identifier = (binary_expression "piVar5 + 1" identifier + number_literal)) ;) (expression_statement "*piVar8 = iVar6;" (assignment_expression "*piVar8 = iVar6" (pointer_expression "*piVar8" * identifier) = identifier) ;) }) while (parenthesized_expression "(piVar2 + iVar1 != piVar5)" ( (binary_expression "piVar2 + iVar1 != piVar5" (binary_expression "piVar2 + iVar1" identifier + identifier) != identifier) )) ;) })))) (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" identifier = number_literal) ;) (labeled_statement "LAB_00026839:\n  piVar4[iVar1] = iVar6;" statement_identifier : (expression_statement "piVar4[iVar1] = iVar6;" (assignment_expression "piVar4[iVar1] = iVar6" (subscript_expression "piVar4[iVar1]" identifier [ identifier ]) = identifier) ;)) (expression_statement "unaff_retaddr[1] = -(iVar1 + iVar6);" (assignment_expression "unaff_retaddr[1] = -(iVar1 + iVar6)" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = (unary_expression "-(iVar1 + iVar6)" - (parenthesized_expression "(iVar1 + iVar6)" ( (binary_expression "iVar1 + iVar6" identifier + identifier) )))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\nvoid __gmpz_com(mpz_ptr dst,mpz_srcptr src)\n\n{\n  int iVar1;\n  mp_limb_t *pmVar2;\n  mp_limb_t *pmVar3;\n  mp_limb_t *pmVar4;\n  int iVar5;\n  int iVar6;\n  mp_limb_t mVar7;\n  mp_limb_t *pmVar8;\n  \n  iVar1 = src->_mp_size;\n  if (iVar1 < 0) {\n    iVar5 = -iVar1;\n    if (SBORROW4(dst->_mp_alloc,iVar5) == dst->_mp_alloc + iVar1 < 0) {\n      pmVar3 = dst->_mp_d;\n    }\n    else {\n      pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);\n    }\n    pmVar2 = src->_mp_d;\n    mVar7 = *pmVar2;\n    *pmVar3 = mVar7 - 1;\n    if (mVar7 == 0) {\n      if (iVar1 != -1) {\n        mVar7 = pmVar2[1];\n        pmVar3[1] = mVar7 - 1;\n        if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }\n        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }\n      }\n    }\n    else if ((pmVar3 != pmVar2) && (iVar1 != -1)) {\n      iVar6 = 1;\n      do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);\n    }\nLAB_000267e8:\n    dst->_mp_size = iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *dst->_mp_d = 1;\n    dst->_mp_size = -1;\n    return;\n  }\n  if (iVar1 < dst->_mp_alloc) {\n    pmVar3 = dst->_mp_d;\n  }\n  else {\n    pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1);\n  }\n  pmVar2 = src->_mp_d;\n  mVar7 = *pmVar2;\n  *pmVar3 = mVar7 + 1;\n  if (mVar7 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      mVar7 = 1;\n      goto LAB_00026839;\n    }\n    mVar7 = pmVar2[1];\n    pmVar3[1] = mVar7 + 1;\n    if (mVar7 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      mVar7 = pmVar2[2] + 1;\n      pmVar3[2] = mVar7;\n      iVar5 = 3;\n      while (mVar7 == 0) {\n        if (iVar1 == iVar5) goto LAB_00026768;\n        mVar7 = pmVar2[iVar5] + 1;\n        pmVar3[iVar5] = mVar7;\n        iVar5 = iVar5 + 1;\n      }\n    }\n    else {\n      iVar5 = 2;\n    }\n    if ((pmVar3 != pmVar2) && (iVar5 < iVar1)) {\n      pmVar4 = pmVar2 + iVar5;\n      pmVar8 = pmVar3 + iVar5;\n      do {\n        mVar7 = *pmVar4;\n        pmVar4 = pmVar4 + 1;\n        *pmVar8 = mVar7;\n        pmVar8 = pmVar8 + 1;\n      } while (pmVar2 + iVar1 != pmVar4);\n    }\n  }\n  else if ((pmVar3 != pmVar2) && (iVar1 != 1)) {\n    pmVar4 = pmVar2 + 1;\n    pmVar8 = pmVar3;\n    do {\n      pmVar8 = pmVar8 + 1;\n      mVar7 = *pmVar4;\n      pmVar4 = pmVar4 + 1;\n      *pmVar8 = mVar7;\n    } while (pmVar2 + iVar1 != pmVar4);\n  }\n  mVar7 = 0;\nLAB_00026839:\n  pmVar3[iVar1] = mVar7;\n  dst->_mp_size = -(iVar1 + mVar7);\n  return;\n}\n\n" comment comment (function_definition "void __gmpz_com(mpz_ptr dst,mpz_srcptr src)\n\n{\n  int iVar1;\n  mp_limb_t *pmVar2;\n  mp_limb_t *pmVar3;\n  mp_limb_t *pmVar4;\n  int iVar5;\n  int iVar6;\n  mp_limb_t mVar7;\n  mp_limb_t *pmVar8;\n  \n  iVar1 = src->_mp_size;\n  if (iVar1 < 0) {\n    iVar5 = -iVar1;\n    if (SBORROW4(dst->_mp_alloc,iVar5) == dst->_mp_alloc + iVar1 < 0) {\n      pmVar3 = dst->_mp_d;\n    }\n    else {\n      pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);\n    }\n    pmVar2 = src->_mp_d;\n    mVar7 = *pmVar2;\n    *pmVar3 = mVar7 - 1;\n    if (mVar7 == 0) {\n      if (iVar1 != -1) {\n        mVar7 = pmVar2[1];\n        pmVar3[1] = mVar7 - 1;\n        if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }\n        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }\n      }\n    }\n    else if ((pmVar3 != pmVar2) && (iVar1 != -1)) {\n      iVar6 = 1;\n      do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);\n    }\nLAB_000267e8:\n    dst->_mp_size = iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *dst->_mp_d = 1;\n    dst->_mp_size = -1;\n    return;\n  }\n  if (iVar1 < dst->_mp_alloc) {\n    pmVar3 = dst->_mp_d;\n  }\n  else {\n    pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1);\n  }\n  pmVar2 = src->_mp_d;\n  mVar7 = *pmVar2;\n  *pmVar3 = mVar7 + 1;\n  if (mVar7 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      mVar7 = 1;\n      goto LAB_00026839;\n    }\n    mVar7 = pmVar2[1];\n    pmVar3[1] = mVar7 + 1;\n    if (mVar7 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      mVar7 = pmVar2[2] + 1;\n      pmVar3[2] = mVar7;\n      iVar5 = 3;\n      while (mVar7 == 0) {\n        if (iVar1 == iVar5) goto LAB_00026768;\n        mVar7 = pmVar2[iVar5] + 1;\n        pmVar3[iVar5] = mVar7;\n        iVar5 = iVar5 + 1;\n      }\n    }\n    else {\n      iVar5 = 2;\n    }\n    if ((pmVar3 != pmVar2) && (iVar5 < iVar1)) {\n      pmVar4 = pmVar2 + iVar5;\n      pmVar8 = pmVar3 + iVar5;\n      do {\n        mVar7 = *pmVar4;\n        pmVar4 = pmVar4 + 1;\n        *pmVar8 = mVar7;\n        pmVar8 = pmVar8 + 1;\n      } while (pmVar2 + iVar1 != pmVar4);\n    }\n  }\n  else if ((pmVar3 != pmVar2) && (iVar1 != 1)) {\n    pmVar4 = pmVar2 + 1;\n    pmVar8 = pmVar3;\n    do {\n      pmVar8 = pmVar8 + 1;\n      mVar7 = *pmVar4;\n      pmVar4 = pmVar4 + 1;\n      *pmVar8 = mVar7;\n    } while (pmVar2 + iVar1 != pmVar4);\n  }\n  mVar7 = 0;\nLAB_00026839:\n  pmVar3[iVar1] = mVar7;\n  dst->_mp_size = -(iVar1 + mVar7);\n  return;\n}" primitive_type (function_declarator "__gmpz_com(mpz_ptr dst,mpz_srcptr src)" identifier (parameter_list "(mpz_ptr dst,mpz_srcptr src)" ( (parameter_declaration "mpz_ptr dst" type_identifier identifier) , (parameter_declaration "mpz_srcptr src" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  mp_limb_t *pmVar2;\n  mp_limb_t *pmVar3;\n  mp_limb_t *pmVar4;\n  int iVar5;\n  int iVar6;\n  mp_limb_t mVar7;\n  mp_limb_t *pmVar8;\n  \n  iVar1 = src->_mp_size;\n  if (iVar1 < 0) {\n    iVar5 = -iVar1;\n    if (SBORROW4(dst->_mp_alloc,iVar5) == dst->_mp_alloc + iVar1 < 0) {\n      pmVar3 = dst->_mp_d;\n    }\n    else {\n      pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);\n    }\n    pmVar2 = src->_mp_d;\n    mVar7 = *pmVar2;\n    *pmVar3 = mVar7 - 1;\n    if (mVar7 == 0) {\n      if (iVar1 != -1) {\n        mVar7 = pmVar2[1];\n        pmVar3[1] = mVar7 - 1;\n        if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }\n        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }\n      }\n    }\n    else if ((pmVar3 != pmVar2) && (iVar1 != -1)) {\n      iVar6 = 1;\n      do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);\n    }\nLAB_000267e8:\n    dst->_mp_size = iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *dst->_mp_d = 1;\n    dst->_mp_size = -1;\n    return;\n  }\n  if (iVar1 < dst->_mp_alloc) {\n    pmVar3 = dst->_mp_d;\n  }\n  else {\n    pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1);\n  }\n  pmVar2 = src->_mp_d;\n  mVar7 = *pmVar2;\n  *pmVar3 = mVar7 + 1;\n  if (mVar7 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      mVar7 = 1;\n      goto LAB_00026839;\n    }\n    mVar7 = pmVar2[1];\n    pmVar3[1] = mVar7 + 1;\n    if (mVar7 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      mVar7 = pmVar2[2] + 1;\n      pmVar3[2] = mVar7;\n      iVar5 = 3;\n      while (mVar7 == 0) {\n        if (iVar1 == iVar5) goto LAB_00026768;\n        mVar7 = pmVar2[iVar5] + 1;\n        pmVar3[iVar5] = mVar7;\n        iVar5 = iVar5 + 1;\n      }\n    }\n    else {\n      iVar5 = 2;\n    }\n    if ((pmVar3 != pmVar2) && (iVar5 < iVar1)) {\n      pmVar4 = pmVar2 + iVar5;\n      pmVar8 = pmVar3 + iVar5;\n      do {\n        mVar7 = *pmVar4;\n        pmVar4 = pmVar4 + 1;\n        *pmVar8 = mVar7;\n        pmVar8 = pmVar8 + 1;\n      } while (pmVar2 + iVar1 != pmVar4);\n    }\n  }\n  else if ((pmVar3 != pmVar2) && (iVar1 != 1)) {\n    pmVar4 = pmVar2 + 1;\n    pmVar8 = pmVar3;\n    do {\n      pmVar8 = pmVar8 + 1;\n      mVar7 = *pmVar4;\n      pmVar4 = pmVar4 + 1;\n      *pmVar8 = mVar7;\n    } while (pmVar2 + iVar1 != pmVar4);\n  }\n  mVar7 = 0;\nLAB_00026839:\n  pmVar3[iVar1] = mVar7;\n  dst->_mp_size = -(iVar1 + mVar7);\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "mp_limb_t *pmVar2;" type_identifier (pointer_declarator "*pmVar2" * identifier) ;) (declaration "mp_limb_t *pmVar3;" type_identifier (pointer_declarator "*pmVar3" * identifier) ;) (declaration "mp_limb_t *pmVar4;" type_identifier (pointer_declarator "*pmVar4" * identifier) ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "mp_limb_t mVar7;" type_identifier identifier ;) (declaration "mp_limb_t *pmVar8;" type_identifier (pointer_declarator "*pmVar8" * identifier) ;) (expression_statement "iVar1 = src->_mp_size;" (assignment_expression "iVar1 = src->_mp_size" identifier = (field_expression "src->_mp_size" identifier -> field_identifier)) ;) (if_statement "if (iVar1 < 0) {\n    iVar5 = -iVar1;\n    if (SBORROW4(dst->_mp_alloc,iVar5) == dst->_mp_alloc + iVar1 < 0) {\n      pmVar3 = dst->_mp_d;\n    }\n    else {\n      pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);\n    }\n    pmVar2 = src->_mp_d;\n    mVar7 = *pmVar2;\n    *pmVar3 = mVar7 - 1;\n    if (mVar7 == 0) {\n      if (iVar1 != -1) {\n        mVar7 = pmVar2[1];\n        pmVar3[1] = mVar7 - 1;\n        if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }\n        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }\n      }\n    }\n    else if ((pmVar3 != pmVar2) && (iVar1 != -1)) {\n      iVar6 = 1;\n      do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);\n    }\nLAB_000267e8:\n    dst->_mp_size = iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0);\n    return;\n  }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar5 = -iVar1;\n    if (SBORROW4(dst->_mp_alloc,iVar5) == dst->_mp_alloc + iVar1 < 0) {\n      pmVar3 = dst->_mp_d;\n    }\n    else {\n      pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);\n    }\n    pmVar2 = src->_mp_d;\n    mVar7 = *pmVar2;\n    *pmVar3 = mVar7 - 1;\n    if (mVar7 == 0) {\n      if (iVar1 != -1) {\n        mVar7 = pmVar2[1];\n        pmVar3[1] = mVar7 - 1;\n        if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }\n        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }\n      }\n    }\n    else if ((pmVar3 != pmVar2) && (iVar1 != -1)) {\n      iVar6 = 1;\n      do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);\n    }\nLAB_000267e8:\n    dst->_mp_size = iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0);\n    return;\n  }" { (expression_statement "iVar5 = -iVar1;" (assignment_expression "iVar5 = -iVar1" identifier = (unary_expression "-iVar1" - identifier)) ;) (if_statement "if (SBORROW4(dst->_mp_alloc,iVar5) == dst->_mp_alloc + iVar1 < 0) {\n      pmVar3 = dst->_mp_d;\n    }\n    else {\n      pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);\n    }" if (parenthesized_expression "(SBORROW4(dst->_mp_alloc,iVar5) == dst->_mp_alloc + iVar1 < 0)" ( (binary_expression "SBORROW4(dst->_mp_alloc,iVar5) == dst->_mp_alloc + iVar1 < 0" (call_expression "SBORROW4(dst->_mp_alloc,iVar5)" identifier (argument_list "(dst->_mp_alloc,iVar5)" ( (field_expression "dst->_mp_alloc" identifier -> field_identifier) , identifier ))) == (binary_expression "dst->_mp_alloc + iVar1 < 0" (binary_expression "dst->_mp_alloc + iVar1" (field_expression "dst->_mp_alloc" identifier -> field_identifier) + identifier) < number_literal)) )) (compound_statement "{\n      pmVar3 = dst->_mp_d;\n    }" { (expression_statement "pmVar3 = dst->_mp_d;" (assignment_expression "pmVar3 = dst->_mp_d" identifier = (field_expression "dst->_mp_d" identifier -> field_identifier)) ;) }) (else_clause "else {\n      pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);\n    }" else (compound_statement "{\n      pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);\n    }" { (expression_statement "pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5);" (assignment_expression "pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar5)" identifier = (cast_expression "(mp_limb_t *)__gmpz_realloc(dst,iVar5)" ( (type_descriptor "mp_limb_t *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(dst,iVar5)" identifier (argument_list "(dst,iVar5)" ( identifier , identifier ))))) ;) }))) (expression_statement "pmVar2 = src->_mp_d;" (assignment_expression "pmVar2 = src->_mp_d" identifier = (field_expression "src->_mp_d" identifier -> field_identifier)) ;) (expression_statement "mVar7 = *pmVar2;" (assignment_expression "mVar7 = *pmVar2" identifier = (pointer_expression "*pmVar2" * identifier)) ;) (expression_statement "*pmVar3 = mVar7 - 1;" (assignment_expression "*pmVar3 = mVar7 - 1" (pointer_expression "*pmVar3" * identifier) = (binary_expression "mVar7 - 1" identifier - number_literal)) ;) (if_statement "if (mVar7 == 0) {\n      if (iVar1 != -1) {\n        mVar7 = pmVar2[1];\n        pmVar3[1] = mVar7 - 1;\n        if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }\n        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }\n      }\n    }\n    else if ((pmVar3 != pmVar2) && (iVar1 != -1)) {\n      iVar6 = 1;\n      do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);\n    }" if (parenthesized_expression "(mVar7 == 0)" ( (binary_expression "mVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      if (iVar1 != -1) {\n        mVar7 = pmVar2[1];\n        pmVar3[1] = mVar7 - 1;\n        if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }\n        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }\n      }\n    }" { (if_statement "if (iVar1 != -1) {\n        mVar7 = pmVar2[1];\n        pmVar3[1] = mVar7 - 1;\n        if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }\n        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }\n      }" if (parenthesized_expression "(iVar1 != -1)" ( (binary_expression "iVar1 != -1" identifier != number_literal) )) (compound_statement "{\n        mVar7 = pmVar2[1];\n        pmVar3[1] = mVar7 - 1;\n        if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }\n        if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }\n      }" { (expression_statement "mVar7 = pmVar2[1];" (assignment_expression "mVar7 = pmVar2[1]" identifier = (subscript_expression "pmVar2[1]" identifier [ number_literal ])) ;) (expression_statement "pmVar3[1] = mVar7 - 1;" (assignment_expression "pmVar3[1] = mVar7 - 1" (subscript_expression "pmVar3[1]" identifier [ number_literal ]) = (binary_expression "mVar7 - 1" identifier - number_literal)) ;) (if_statement "if (mVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }\n        else {\n          iVar6 = 2;\n        }" if (parenthesized_expression "(mVar7 == 0)" ( (binary_expression "mVar7 == 0" identifier == number_literal) )) (compound_statement "{\n          if (-3 < iVar1) goto LAB_000267e8;\n          mVar7 = pmVar2[2];\n          iVar6 = 3;\n          pmVar3[2] = mVar7 - 1;\n          while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }\n        }" { (if_statement "if (-3 < iVar1) goto LAB_000267e8;" if (parenthesized_expression "(-3 < iVar1)" ( (binary_expression "-3 < iVar1" number_literal < identifier) )) (goto_statement "goto LAB_000267e8;" goto statement_identifier ;)) (expression_statement "mVar7 = pmVar2[2];" (assignment_expression "mVar7 = pmVar2[2]" identifier = (subscript_expression "pmVar2[2]" identifier [ number_literal ])) ;) (expression_statement "iVar6 = 3;" (assignment_expression "iVar6 = 3" identifier = number_literal) ;) (expression_statement "pmVar3[2] = mVar7 - 1;" (assignment_expression "pmVar3[2] = mVar7 - 1" (subscript_expression "pmVar3[2]" identifier [ number_literal ]) = (binary_expression "mVar7 - 1" identifier - number_literal)) ;) (while_statement "while (mVar7 == 0) {\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }" while (parenthesized_expression "(mVar7 == 0)" ( (binary_expression "mVar7 == 0" identifier == number_literal) )) (compound_statement "{\n            if (-iVar6 == iVar1) goto LAB_000267e8;\n            mVar7 = pmVar2[iVar6];\n            pmVar3[iVar6] = mVar7 - 1;\n            iVar6 = iVar6 + 1;\n          }" { (if_statement "if (-iVar6 == iVar1) goto LAB_000267e8;" if (parenthesized_expression "(-iVar6 == iVar1)" ( (binary_expression "-iVar6 == iVar1" (unary_expression "-iVar6" - identifier) == identifier) )) (goto_statement "goto LAB_000267e8;" goto statement_identifier ;)) (expression_statement "mVar7 = pmVar2[iVar6];" (assignment_expression "mVar7 = pmVar2[iVar6]" identifier = (subscript_expression "pmVar2[iVar6]" identifier [ identifier ])) ;) (expression_statement "pmVar3[iVar6] = mVar7 - 1;" (assignment_expression "pmVar3[iVar6] = mVar7 - 1" (subscript_expression "pmVar3[iVar6]" identifier [ identifier ]) = (binary_expression "mVar7 - 1" identifier - number_literal)) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n          iVar6 = 2;\n        }" else (compound_statement "{\n          iVar6 = 2;\n        }" { (expression_statement "iVar6 = 2;" (assignment_expression "iVar6 = 2" identifier = number_literal) ;) }))) (if_statement "if ((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)) {\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }" if (parenthesized_expression "((pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5))" ( (binary_expression "(pmVar3 != pmVar2) && (-iVar6 != iVar1 && iVar6 <= iVar5)" (parenthesized_expression "(pmVar3 != pmVar2)" ( (binary_expression "pmVar3 != pmVar2" identifier != identifier) )) && (parenthesized_expression "(-iVar6 != iVar1 && iVar6 <= iVar5)" ( (binary_expression "-iVar6 != iVar1 && iVar6 <= iVar5" (binary_expression "-iVar6 != iVar1" (unary_expression "-iVar6" - identifier) != identifier) && (binary_expression "iVar6 <= iVar5" identifier <= identifier)) ))) )) (compound_statement "{\n          pmVar4 = pmVar2 + iVar6;\n          pmVar8 = pmVar3 + iVar6;\n          do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);\n        }" { (expression_statement "pmVar4 = pmVar2 + iVar6;" (assignment_expression "pmVar4 = pmVar2 + iVar6" identifier = (binary_expression "pmVar2 + iVar6" identifier + identifier)) ;) (expression_statement "pmVar8 = pmVar3 + iVar6;" (assignment_expression "pmVar8 = pmVar3 + iVar6" identifier = (binary_expression "pmVar3 + iVar6" identifier + identifier)) ;) (do_statement "do {\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          } while (pmVar2 + -iVar1 != pmVar4);" do (compound_statement "{\n            mVar7 = *pmVar4;\n            pmVar4 = pmVar4 + 1;\n            *pmVar8 = mVar7;\n            pmVar8 = pmVar8 + 1;\n          }" { (expression_statement "mVar7 = *pmVar4;" (assignment_expression "mVar7 = *pmVar4" identifier = (pointer_expression "*pmVar4" * identifier)) ;) (expression_statement "pmVar4 = pmVar4 + 1;" (assignment_expression "pmVar4 = pmVar4 + 1" identifier = (binary_expression "pmVar4 + 1" identifier + number_literal)) ;) (expression_statement "*pmVar8 = mVar7;" (assignment_expression "*pmVar8 = mVar7" (pointer_expression "*pmVar8" * identifier) = identifier) ;) (expression_statement "pmVar8 = pmVar8 + 1;" (assignment_expression "pmVar8 = pmVar8 + 1" identifier = (binary_expression "pmVar8 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(pmVar2 + -iVar1 != pmVar4)" ( (binary_expression "pmVar2 + -iVar1 != pmVar4" (binary_expression "pmVar2 + -iVar1" identifier + (unary_expression "-iVar1" - identifier)) != identifier) )) ;) })) })) }) (else_clause "else if ((pmVar3 != pmVar2) && (iVar1 != -1)) {\n      iVar6 = 1;\n      do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);\n    }" else (if_statement "if ((pmVar3 != pmVar2) && (iVar1 != -1)) {\n      iVar6 = 1;\n      do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);\n    }" if (parenthesized_expression "((pmVar3 != pmVar2) && (iVar1 != -1))" ( (binary_expression "(pmVar3 != pmVar2) && (iVar1 != -1)" (parenthesized_expression "(pmVar3 != pmVar2)" ( (binary_expression "pmVar3 != pmVar2" identifier != identifier) )) && (parenthesized_expression "(iVar1 != -1)" ( (binary_expression "iVar1 != -1" identifier != number_literal) ))) )) (compound_statement "{\n      iVar6 = 1;\n      do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);\n    }" { (expression_statement "iVar6 = 1;" (assignment_expression "iVar6 = 1" identifier = number_literal) ;) (do_statement "do {\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      } while (-iVar6 != iVar1 && iVar6 <= iVar5);" do (compound_statement "{\n        pmVar3[iVar6] = pmVar2[iVar6];\n        iVar6 = iVar6 + 1;\n      }" { (expression_statement "pmVar3[iVar6] = pmVar2[iVar6];" (assignment_expression "pmVar3[iVar6] = pmVar2[iVar6]" (subscript_expression "pmVar3[iVar6]" identifier [ identifier ]) = (subscript_expression "pmVar2[iVar6]" identifier [ identifier ])) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(-iVar6 != iVar1 && iVar6 <= iVar5)" ( (binary_expression "-iVar6 != iVar1 && iVar6 <= iVar5" (binary_expression "-iVar6 != iVar1" (unary_expression "-iVar6" - identifier) != identifier) && (binary_expression "iVar6 <= iVar5" identifier <= identifier)) )) ;) })))) (labeled_statement "LAB_000267e8:\n    dst->_mp_size = iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0);" statement_identifier : (expression_statement "dst->_mp_size = iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0);" (assignment_expression "dst->_mp_size = iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0)" (field_expression "dst->_mp_size" identifier -> field_identifier) = (binary_expression "iVar5 - (uint)(pmVar3[0x3fffffff - iVar1] == 0)" identifier - (call_expression "(uint)(pmVar3[0x3fffffff - iVar1] == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(pmVar3[0x3fffffff - iVar1] == 0)" ( (binary_expression "pmVar3[0x3fffffff - iVar1] == 0" (subscript_expression "pmVar3[0x3fffffff - iVar1]" identifier [ (binary_expression "0x3fffffff - iVar1" number_literal - identifier) ]) == number_literal) ))))) ;)) (return_statement "return;" return ;) })) (if_statement "if (iVar1 == 0) {\n    *dst->_mp_d = 1;\n    dst->_mp_size = -1;\n    return;\n  }" if (parenthesized_expression "(iVar1 == 0)" ( (binary_expression "iVar1 == 0" identifier == number_literal) )) (compound_statement "{\n    *dst->_mp_d = 1;\n    dst->_mp_size = -1;\n    return;\n  }" { (expression_statement "*dst->_mp_d = 1;" (assignment_expression "*dst->_mp_d = 1" (pointer_expression "*dst->_mp_d" * (field_expression "dst->_mp_d" identifier -> field_identifier)) = number_literal) ;) (expression_statement "dst->_mp_size = -1;" (assignment_expression "dst->_mp_size = -1" (field_expression "dst->_mp_size" identifier -> field_identifier) = number_literal) ;) (return_statement "return;" return ;) })) (if_statement "if (iVar1 < dst->_mp_alloc) {\n    pmVar3 = dst->_mp_d;\n  }\n  else {\n    pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1);\n  }" if (parenthesized_expression "(iVar1 < dst->_mp_alloc)" ( (binary_expression "iVar1 < dst->_mp_alloc" identifier < (field_expression "dst->_mp_alloc" identifier -> field_identifier)) )) (compound_statement "{\n    pmVar3 = dst->_mp_d;\n  }" { (expression_statement "pmVar3 = dst->_mp_d;" (assignment_expression "pmVar3 = dst->_mp_d" identifier = (field_expression "dst->_mp_d" identifier -> field_identifier)) ;) }) (else_clause "else {\n    pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1);\n  }" else (compound_statement "{\n    pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1);\n  }" { (expression_statement "pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1);" (assignment_expression "pmVar3 = (mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1)" identifier = (cast_expression "(mp_limb_t *)__gmpz_realloc(dst,iVar1 + 1)" ( (type_descriptor "mp_limb_t *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(dst,iVar1 + 1)" identifier (argument_list "(dst,iVar1 + 1)" ( identifier , (binary_expression "iVar1 + 1" identifier + number_literal) ))))) ;) }))) (expression_statement "pmVar2 = src->_mp_d;" (assignment_expression "pmVar2 = src->_mp_d" identifier = (field_expression "src->_mp_d" identifier -> field_identifier)) ;) (expression_statement "mVar7 = *pmVar2;" (assignment_expression "mVar7 = *pmVar2" identifier = (pointer_expression "*pmVar2" * identifier)) ;) (expression_statement "*pmVar3 = mVar7 + 1;" (assignment_expression "*pmVar3 = mVar7 + 1" (pointer_expression "*pmVar3" * identifier) = (binary_expression "mVar7 + 1" identifier + number_literal)) ;) (if_statement "if (mVar7 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      mVar7 = 1;\n      goto LAB_00026839;\n    }\n    mVar7 = pmVar2[1];\n    pmVar3[1] = mVar7 + 1;\n    if (mVar7 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      mVar7 = pmVar2[2] + 1;\n      pmVar3[2] = mVar7;\n      iVar5 = 3;\n      while (mVar7 == 0) {\n        if (iVar1 == iVar5) goto LAB_00026768;\n        mVar7 = pmVar2[iVar5] + 1;\n        pmVar3[iVar5] = mVar7;\n        iVar5 = iVar5 + 1;\n      }\n    }\n    else {\n      iVar5 = 2;\n    }\n    if ((pmVar3 != pmVar2) && (iVar5 < iVar1)) {\n      pmVar4 = pmVar2 + iVar5;\n      pmVar8 = pmVar3 + iVar5;\n      do {\n        mVar7 = *pmVar4;\n        pmVar4 = pmVar4 + 1;\n        *pmVar8 = mVar7;\n        pmVar8 = pmVar8 + 1;\n      } while (pmVar2 + iVar1 != pmVar4);\n    }\n  }\n  else if ((pmVar3 != pmVar2) && (iVar1 != 1)) {\n    pmVar4 = pmVar2 + 1;\n    pmVar8 = pmVar3;\n    do {\n      pmVar8 = pmVar8 + 1;\n      mVar7 = *pmVar4;\n      pmVar4 = pmVar4 + 1;\n      *pmVar8 = mVar7;\n    } while (pmVar2 + iVar1 != pmVar4);\n  }" if (parenthesized_expression "(mVar7 + 1 == 0)" ( (binary_expression "mVar7 + 1 == 0" (binary_expression "mVar7 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n    if (iVar1 == 1) {\nLAB_00026768:\n      mVar7 = 1;\n      goto LAB_00026839;\n    }\n    mVar7 = pmVar2[1];\n    pmVar3[1] = mVar7 + 1;\n    if (mVar7 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      mVar7 = pmVar2[2] + 1;\n      pmVar3[2] = mVar7;\n      iVar5 = 3;\n      while (mVar7 == 0) {\n        if (iVar1 == iVar5) goto LAB_00026768;\n        mVar7 = pmVar2[iVar5] + 1;\n        pmVar3[iVar5] = mVar7;\n        iVar5 = iVar5 + 1;\n      }\n    }\n    else {\n      iVar5 = 2;\n    }\n    if ((pmVar3 != pmVar2) && (iVar5 < iVar1)) {\n      pmVar4 = pmVar2 + iVar5;\n      pmVar8 = pmVar3 + iVar5;\n      do {\n        mVar7 = *pmVar4;\n        pmVar4 = pmVar4 + 1;\n        *pmVar8 = mVar7;\n        pmVar8 = pmVar8 + 1;\n      } while (pmVar2 + iVar1 != pmVar4);\n    }\n  }" { (if_statement "if (iVar1 == 1) {\nLAB_00026768:\n      mVar7 = 1;\n      goto LAB_00026839;\n    }" if (parenthesized_expression "(iVar1 == 1)" ( (binary_expression "iVar1 == 1" identifier == number_literal) )) (compound_statement "{\nLAB_00026768:\n      mVar7 = 1;\n      goto LAB_00026839;\n    }" { (labeled_statement "LAB_00026768:\n      mVar7 = 1;" statement_identifier : (expression_statement "mVar7 = 1;" (assignment_expression "mVar7 = 1" identifier = number_literal) ;)) (goto_statement "goto LAB_00026839;" goto statement_identifier ;) })) (expression_statement "mVar7 = pmVar2[1];" (assignment_expression "mVar7 = pmVar2[1]" identifier = (subscript_expression "pmVar2[1]" identifier [ number_literal ])) ;) (expression_statement "pmVar3[1] = mVar7 + 1;" (assignment_expression "pmVar3[1] = mVar7 + 1" (subscript_expression "pmVar3[1]" identifier [ number_literal ]) = (binary_expression "mVar7 + 1" identifier + number_literal)) ;) (if_statement "if (mVar7 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      mVar7 = pmVar2[2] + 1;\n      pmVar3[2] = mVar7;\n      iVar5 = 3;\n      while (mVar7 == 0) {\n        if (iVar1 == iVar5) goto LAB_00026768;\n        mVar7 = pmVar2[iVar5] + 1;\n        pmVar3[iVar5] = mVar7;\n        iVar5 = iVar5 + 1;\n      }\n    }\n    else {\n      iVar5 = 2;\n    }" if (parenthesized_expression "(mVar7 + 1 == 0)" ( (binary_expression "mVar7 + 1 == 0" (binary_expression "mVar7 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      if (iVar1 == 2) goto LAB_00026768;\n      mVar7 = pmVar2[2] + 1;\n      pmVar3[2] = mVar7;\n      iVar5 = 3;\n      while (mVar7 == 0) {\n        if (iVar1 == iVar5) goto LAB_00026768;\n        mVar7 = pmVar2[iVar5] + 1;\n        pmVar3[iVar5] = mVar7;\n        iVar5 = iVar5 + 1;\n      }\n    }" { (if_statement "if (iVar1 == 2) goto LAB_00026768;" if (parenthesized_expression "(iVar1 == 2)" ( (binary_expression "iVar1 == 2" identifier == number_literal) )) (goto_statement "goto LAB_00026768;" goto statement_identifier ;)) (expression_statement "mVar7 = pmVar2[2] + 1;" (assignment_expression "mVar7 = pmVar2[2] + 1" identifier = (binary_expression "pmVar2[2] + 1" (subscript_expression "pmVar2[2]" identifier [ number_literal ]) + number_literal)) ;) (expression_statement "pmVar3[2] = mVar7;" (assignment_expression "pmVar3[2] = mVar7" (subscript_expression "pmVar3[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "iVar5 = 3;" (assignment_expression "iVar5 = 3" identifier = number_literal) ;) (while_statement "while (mVar7 == 0) {\n        if (iVar1 == iVar5) goto LAB_00026768;\n        mVar7 = pmVar2[iVar5] + 1;\n        pmVar3[iVar5] = mVar7;\n        iVar5 = iVar5 + 1;\n      }" while (parenthesized_expression "(mVar7 == 0)" ( (binary_expression "mVar7 == 0" identifier == number_literal) )) (compound_statement "{\n        if (iVar1 == iVar5) goto LAB_00026768;\n        mVar7 = pmVar2[iVar5] + 1;\n        pmVar3[iVar5] = mVar7;\n        iVar5 = iVar5 + 1;\n      }" { (if_statement "if (iVar1 == iVar5) goto LAB_00026768;" if (parenthesized_expression "(iVar1 == iVar5)" ( (binary_expression "iVar1 == iVar5" identifier == identifier) )) (goto_statement "goto LAB_00026768;" goto statement_identifier ;)) (expression_statement "mVar7 = pmVar2[iVar5] + 1;" (assignment_expression "mVar7 = pmVar2[iVar5] + 1" identifier = (binary_expression "pmVar2[iVar5] + 1" (subscript_expression "pmVar2[iVar5]" identifier [ identifier ]) + number_literal)) ;) (expression_statement "pmVar3[iVar5] = mVar7;" (assignment_expression "pmVar3[iVar5] = mVar7" (subscript_expression "pmVar3[iVar5]" identifier [ identifier ]) = identifier) ;) (expression_statement "iVar5 = iVar5 + 1;" (assignment_expression "iVar5 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n      iVar5 = 2;\n    }" else (compound_statement "{\n      iVar5 = 2;\n    }" { (expression_statement "iVar5 = 2;" (assignment_expression "iVar5 = 2" identifier = number_literal) ;) }))) (if_statement "if ((pmVar3 != pmVar2) && (iVar5 < iVar1)) {\n      pmVar4 = pmVar2 + iVar5;\n      pmVar8 = pmVar3 + iVar5;\n      do {\n        mVar7 = *pmVar4;\n        pmVar4 = pmVar4 + 1;\n        *pmVar8 = mVar7;\n        pmVar8 = pmVar8 + 1;\n      } while (pmVar2 + iVar1 != pmVar4);\n    }" if (parenthesized_expression "((pmVar3 != pmVar2) && (iVar5 < iVar1))" ( (binary_expression "(pmVar3 != pmVar2) && (iVar5 < iVar1)" (parenthesized_expression "(pmVar3 != pmVar2)" ( (binary_expression "pmVar3 != pmVar2" identifier != identifier) )) && (parenthesized_expression "(iVar5 < iVar1)" ( (binary_expression "iVar5 < iVar1" identifier < identifier) ))) )) (compound_statement "{\n      pmVar4 = pmVar2 + iVar5;\n      pmVar8 = pmVar3 + iVar5;\n      do {\n        mVar7 = *pmVar4;\n        pmVar4 = pmVar4 + 1;\n        *pmVar8 = mVar7;\n        pmVar8 = pmVar8 + 1;\n      } while (pmVar2 + iVar1 != pmVar4);\n    }" { (expression_statement "pmVar4 = pmVar2 + iVar5;" (assignment_expression "pmVar4 = pmVar2 + iVar5" identifier = (binary_expression "pmVar2 + iVar5" identifier + identifier)) ;) (expression_statement "pmVar8 = pmVar3 + iVar5;" (assignment_expression "pmVar8 = pmVar3 + iVar5" identifier = (binary_expression "pmVar3 + iVar5" identifier + identifier)) ;) (do_statement "do {\n        mVar7 = *pmVar4;\n        pmVar4 = pmVar4 + 1;\n        *pmVar8 = mVar7;\n        pmVar8 = pmVar8 + 1;\n      } while (pmVar2 + iVar1 != pmVar4);" do (compound_statement "{\n        mVar7 = *pmVar4;\n        pmVar4 = pmVar4 + 1;\n        *pmVar8 = mVar7;\n        pmVar8 = pmVar8 + 1;\n      }" { (expression_statement "mVar7 = *pmVar4;" (assignment_expression "mVar7 = *pmVar4" identifier = (pointer_expression "*pmVar4" * identifier)) ;) (expression_statement "pmVar4 = pmVar4 + 1;" (assignment_expression "pmVar4 = pmVar4 + 1" identifier = (binary_expression "pmVar4 + 1" identifier + number_literal)) ;) (expression_statement "*pmVar8 = mVar7;" (assignment_expression "*pmVar8 = mVar7" (pointer_expression "*pmVar8" * identifier) = identifier) ;) (expression_statement "pmVar8 = pmVar8 + 1;" (assignment_expression "pmVar8 = pmVar8 + 1" identifier = (binary_expression "pmVar8 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(pmVar2 + iVar1 != pmVar4)" ( (binary_expression "pmVar2 + iVar1 != pmVar4" (binary_expression "pmVar2 + iVar1" identifier + identifier) != identifier) )) ;) })) }) (else_clause "else if ((pmVar3 != pmVar2) && (iVar1 != 1)) {\n    pmVar4 = pmVar2 + 1;\n    pmVar8 = pmVar3;\n    do {\n      pmVar8 = pmVar8 + 1;\n      mVar7 = *pmVar4;\n      pmVar4 = pmVar4 + 1;\n      *pmVar8 = mVar7;\n    } while (pmVar2 + iVar1 != pmVar4);\n  }" else (if_statement "if ((pmVar3 != pmVar2) && (iVar1 != 1)) {\n    pmVar4 = pmVar2 + 1;\n    pmVar8 = pmVar3;\n    do {\n      pmVar8 = pmVar8 + 1;\n      mVar7 = *pmVar4;\n      pmVar4 = pmVar4 + 1;\n      *pmVar8 = mVar7;\n    } while (pmVar2 + iVar1 != pmVar4);\n  }" if (parenthesized_expression "((pmVar3 != pmVar2) && (iVar1 != 1))" ( (binary_expression "(pmVar3 != pmVar2) && (iVar1 != 1)" (parenthesized_expression "(pmVar3 != pmVar2)" ( (binary_expression "pmVar3 != pmVar2" identifier != identifier) )) && (parenthesized_expression "(iVar1 != 1)" ( (binary_expression "iVar1 != 1" identifier != number_literal) ))) )) (compound_statement "{\n    pmVar4 = pmVar2 + 1;\n    pmVar8 = pmVar3;\n    do {\n      pmVar8 = pmVar8 + 1;\n      mVar7 = *pmVar4;\n      pmVar4 = pmVar4 + 1;\n      *pmVar8 = mVar7;\n    } while (pmVar2 + iVar1 != pmVar4);\n  }" { (expression_statement "pmVar4 = pmVar2 + 1;" (assignment_expression "pmVar4 = pmVar2 + 1" identifier = (binary_expression "pmVar2 + 1" identifier + number_literal)) ;) (expression_statement "pmVar8 = pmVar3;" (assignment_expression "pmVar8 = pmVar3" identifier = identifier) ;) (do_statement "do {\n      pmVar8 = pmVar8 + 1;\n      mVar7 = *pmVar4;\n      pmVar4 = pmVar4 + 1;\n      *pmVar8 = mVar7;\n    } while (pmVar2 + iVar1 != pmVar4);" do (compound_statement "{\n      pmVar8 = pmVar8 + 1;\n      mVar7 = *pmVar4;\n      pmVar4 = pmVar4 + 1;\n      *pmVar8 = mVar7;\n    }" { (expression_statement "pmVar8 = pmVar8 + 1;" (assignment_expression "pmVar8 = pmVar8 + 1" identifier = (binary_expression "pmVar8 + 1" identifier + number_literal)) ;) (expression_statement "mVar7 = *pmVar4;" (assignment_expression "mVar7 = *pmVar4" identifier = (pointer_expression "*pmVar4" * identifier)) ;) (expression_statement "pmVar4 = pmVar4 + 1;" (assignment_expression "pmVar4 = pmVar4 + 1" identifier = (binary_expression "pmVar4 + 1" identifier + number_literal)) ;) (expression_statement "*pmVar8 = mVar7;" (assignment_expression "*pmVar8 = mVar7" (pointer_expression "*pmVar8" * identifier) = identifier) ;) }) while (parenthesized_expression "(pmVar2 + iVar1 != pmVar4)" ( (binary_expression "pmVar2 + iVar1 != pmVar4" (binary_expression "pmVar2 + iVar1" identifier + identifier) != identifier) )) ;) })))) (expression_statement "mVar7 = 0;" (assignment_expression "mVar7 = 0" identifier = number_literal) ;) (labeled_statement "LAB_00026839:\n  pmVar3[iVar1] = mVar7;" statement_identifier : (expression_statement "pmVar3[iVar1] = mVar7;" (assignment_expression "pmVar3[iVar1] = mVar7" (subscript_expression "pmVar3[iVar1]" identifier [ identifier ]) = identifier) ;)) (expression_statement "dst->_mp_size = -(iVar1 + mVar7);" (assignment_expression "dst->_mp_size = -(iVar1 + mVar7)" (field_expression "dst->_mp_size" identifier -> field_identifier) = (unary_expression "-(iVar1 + mVar7)" - (parenthesized_expression "(iVar1 + mVar7)" ( (binary_expression "iVar1 + mVar7" identifier + identifier) )))) ;) (return_statement "return;" return ;) })))
(translation_unit "void __regparm2 __gmpz_com(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  int iVar6;\n  int iVar7;\n  int *piVar8;\n  int *unaff_retaddr;\n  \n  entry(param_2,0x266d9);\n  iVar1 = *(int *)(param_3 + 4);\n  if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }\n  if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }\n  piVar2 = *(int **)(param_3 + 8);\n  iVar6 = *piVar2;\n  *piVar4 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }\n  iVar6 = 0;\nLAB_00026839:\n  piVar4[iVar1] = iVar6;\n  unaff_retaddr[1] = -(iVar1 + iVar6);\n  return;\n}\n\n" (function_definition "void __regparm2 __gmpz_com(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  int iVar6;\n  int iVar7;\n  int *piVar8;\n  int *unaff_retaddr;\n  \n  entry(param_2,0x266d9);\n  iVar1 = *(int *)(param_3 + 4);\n  if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }\n  if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }\n  piVar2 = *(int **)(param_3 + 8);\n  iVar6 = *piVar2;\n  *piVar4 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }\n  iVar6 = 0;\nLAB_00026839:\n  piVar4[iVar1] = iVar6;\n  unaff_retaddr[1] = -(iVar1 + iVar6);\n  return;\n}" primitive_type (ERROR "__regparm2" identifier) (function_declarator "__gmpz_com(undefined4 param_1,undefined4 param_2,int param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,int param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  int iVar6;\n  int iVar7;\n  int *piVar8;\n  int *unaff_retaddr;\n  \n  entry(param_2,0x266d9);\n  iVar1 = *(int *)(param_3 + 4);\n  if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }\n  if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }\n  piVar2 = *(int **)(param_3 + 8);\n  iVar6 = *piVar2;\n  *piVar4 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }\n  iVar6 = 0;\nLAB_00026839:\n  piVar4[iVar1] = iVar6;\n  unaff_retaddr[1] = -(iVar1 + iVar6);\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int *piVar4;" primitive_type (pointer_declarator "*piVar4" * identifier) ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "int *piVar8;" primitive_type (pointer_declarator "*piVar8" * identifier) ;) (declaration "int *unaff_retaddr;" primitive_type (pointer_declarator "*unaff_retaddr" * identifier) ;) (expression_statement "entry(param_2,0x266d9);" (call_expression "entry(param_2,0x266d9)" identifier (argument_list "(param_2,0x266d9)" ( identifier , number_literal ))) ;) (expression_statement "iVar1 = *(int *)(param_3 + 4);" (assignment_expression "iVar1 = *(int *)(param_3 + 4)" identifier = (pointer_expression "*(int *)(param_3 + 4)" * (cast_expression "(int *)(param_3 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + 4)" ( (binary_expression "param_3 + 4" identifier + number_literal) ))))) ;) (if_statement "if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }" if (parenthesized_expression "(iVar1 < 0)" ( (binary_expression "iVar1 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }" { (expression_statement "iVar6 = -iVar1;" (assignment_expression "iVar6 = -iVar1" identifier = (unary_expression "-iVar1" - identifier)) ;) (if_statement "if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }" if (parenthesized_expression "(SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0)" ( (binary_expression "SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0" (call_expression "SBORROW4(*unaff_retaddr,iVar6)" identifier (argument_list "(*unaff_retaddr,iVar6)" ( (pointer_expression "*unaff_retaddr" * identifier) , identifier ))) == (binary_expression "*unaff_retaddr + iVar1 < 0" (binary_expression "*unaff_retaddr + iVar1" (pointer_expression "*unaff_retaddr" * identifier) + identifier) < number_literal)) )) (compound_statement "{\n      piVar4 = (int *)unaff_retaddr[2];\n    }" { (expression_statement "piVar4 = (int *)unaff_retaddr[2];" (assignment_expression "piVar4 = (int *)unaff_retaddr[2]" identifier = (cast_expression "(int *)unaff_retaddr[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "unaff_retaddr[2]" identifier [ number_literal ]))) ;) }) (else_clause "else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }" else (compound_statement "{\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }" { (expression_statement "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);" (assignment_expression "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6)" identifier = (cast_expression "(int *)__gmpz_realloc(unaff_retaddr,iVar6)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(unaff_retaddr,iVar6)" identifier (argument_list "(unaff_retaddr,iVar6)" ( identifier , identifier ))))) ;) }))) (expression_statement "piVar2 = *(int **)(param_3 + 8);" (assignment_expression "piVar2 = *(int **)(param_3 + 8)" identifier = (pointer_expression "*(int **)(param_3 + 8)" * (cast_expression "(int **)(param_3 + 8)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_3 + 8)" ( (binary_expression "param_3 + 8" identifier + number_literal) ))))) ;) (expression_statement "iVar7 = *piVar2;" (assignment_expression "iVar7 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (expression_statement "*piVar4 = iVar7 + -1;" (assignment_expression "*piVar4 = iVar7 + -1" (pointer_expression "*piVar4" * identifier) = (binary_expression "iVar7 + -1" identifier + number_literal)) ;) (if_statement "if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" if (parenthesized_expression "(iVar7 == 0)" ( (binary_expression "iVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }" { (if_statement "if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }" if (parenthesized_expression "(iVar1 != -1)" ( (binary_expression "iVar1 != -1" identifier != number_literal) )) (compound_statement "{\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }" { (expression_statement "iVar7 = piVar2[1];" (assignment_expression "iVar7 = piVar2[1]" identifier = (subscript_expression "piVar2[1]" identifier [ number_literal ])) ;) (expression_statement "piVar4[1] = iVar7 + -1;" (assignment_expression "piVar4[1] = iVar7 + -1" (subscript_expression "piVar4[1]" identifier [ number_literal ]) = (binary_expression "iVar7 + -1" identifier + number_literal)) ;) (if_statement "if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }" if (parenthesized_expression "(iVar7 == 0)" ( (binary_expression "iVar7 == 0" identifier == number_literal) )) (compound_statement "{\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }" { (if_statement "if (-3 < iVar1) goto LAB_000267e8;" if (parenthesized_expression "(-3 < iVar1)" ( (binary_expression "-3 < iVar1" number_literal < identifier) )) (goto_statement "goto LAB_000267e8;" goto statement_identifier ;)) (expression_statement "iVar3 = piVar2[2];" (assignment_expression "iVar3 = piVar2[2]" identifier = (subscript_expression "piVar2[2]" identifier [ number_literal ])) ;) (expression_statement "iVar7 = 3;" (assignment_expression "iVar7 = 3" identifier = number_literal) ;) (expression_statement "piVar4[2] = iVar3 + -1;" (assignment_expression "piVar4[2] = iVar3 + -1" (subscript_expression "piVar4[2]" identifier [ number_literal ]) = (binary_expression "iVar3 + -1" identifier + number_literal)) ;) (while_statement "while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }" while (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (compound_statement "{\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }" { (if_statement "if (-iVar7 == iVar1) goto LAB_000267e8;" if (parenthesized_expression "(-iVar7 == iVar1)" ( (binary_expression "-iVar7 == iVar1" (unary_expression "-iVar7" - identifier) == identifier) )) (goto_statement "goto LAB_000267e8;" goto statement_identifier ;)) (expression_statement "iVar3 = piVar2[iVar7];" (assignment_expression "iVar3 = piVar2[iVar7]" identifier = (subscript_expression "piVar2[iVar7]" identifier [ identifier ])) ;) (expression_statement "piVar4[iVar7] = iVar3 + -1;" (assignment_expression "piVar4[iVar7] = iVar3 + -1" (subscript_expression "piVar4[iVar7]" identifier [ identifier ]) = (binary_expression "iVar3 + -1" identifier + number_literal)) ;) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n          iVar7 = 2;\n        }" else (compound_statement "{\n          iVar7 = 2;\n        }" { (expression_statement "iVar7 = 2;" (assignment_expression "iVar7 = 2" identifier = number_literal) ;) }))) (if_statement "if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }" if (parenthesized_expression "((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6))" ( (binary_expression "(piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)" (parenthesized_expression "(piVar4 != piVar2)" ( (binary_expression "piVar4 != piVar2" identifier != identifier) )) && (parenthesized_expression "(-iVar7 != iVar1 && iVar7 <= iVar6)" ( (binary_expression "-iVar7 != iVar1 && iVar7 <= iVar6" (binary_expression "-iVar7 != iVar1" (unary_expression "-iVar7" - identifier) != identifier) && (binary_expression "iVar7 <= iVar6" identifier <= identifier)) ))) )) (compound_statement "{\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }" { (expression_statement "piVar5 = piVar2 + iVar7;" (assignment_expression "piVar5 = piVar2 + iVar7" identifier = (binary_expression "piVar2 + iVar7" identifier + identifier)) ;) (expression_statement "piVar8 = piVar4 + iVar7;" (assignment_expression "piVar8 = piVar4 + iVar7" identifier = (binary_expression "piVar4 + iVar7" identifier + identifier)) ;) (do_statement "do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);" do (compound_statement "{\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          }" { (expression_statement "iVar7 = *piVar5;" (assignment_expression "iVar7 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "piVar5 = piVar5 + 1;" (assignment_expression "piVar5 = piVar5 + 1" identifier = (binary_expression "piVar5 + 1" identifier + number_literal)) ;) (expression_statement "*piVar8 = iVar7;" (assignment_expression "*piVar8 = iVar7" (pointer_expression "*piVar8" * identifier) = identifier) ;) (expression_statement "piVar8 = piVar8 + 1;" (assignment_expression "piVar8 = piVar8 + 1" identifier = (binary_expression "piVar8 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(piVar2 + -iVar1 != piVar5)" ( (binary_expression "piVar2 + -iVar1 != piVar5" (binary_expression "piVar2 + -iVar1" identifier + (unary_expression "-iVar1" - identifier)) != identifier) )) ;) })) })) }) (else_clause "else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" else (if_statement "if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" if (parenthesized_expression "((piVar4 != piVar2) && (iVar1 != -1))" ( (binary_expression "(piVar4 != piVar2) && (iVar1 != -1)" (parenthesized_expression "(piVar4 != piVar2)" ( (binary_expression "piVar4 != piVar2" identifier != identifier) )) && (parenthesized_expression "(iVar1 != -1)" ( (binary_expression "iVar1 != -1" identifier != number_literal) ))) )) (compound_statement "{\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" { (expression_statement "iVar7 = 1;" (assignment_expression "iVar7 = 1" identifier = number_literal) ;) (do_statement "do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);" do (compound_statement "{\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      }" { (expression_statement "piVar4[iVar7] = piVar2[iVar7];" (assignment_expression "piVar4[iVar7] = piVar2[iVar7]" (subscript_expression "piVar4[iVar7]" identifier [ identifier ]) = (subscript_expression "piVar2[iVar7]" identifier [ identifier ])) ;) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(-iVar7 != iVar1 && iVar7 <= iVar6)" ( (binary_expression "-iVar7 != iVar1 && iVar7 <= iVar6" (binary_expression "-iVar7 != iVar1" (unary_expression "-iVar7" - identifier) != identifier) && (binary_expression "iVar7 <= iVar6" identifier <= identifier)) )) ;) })))) (labeled_statement "LAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);" statement_identifier : (expression_statement "unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);" (assignment_expression "unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0)" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = (binary_expression "iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0)" identifier - (call_expression "(uint)(piVar4[0x3fffffff - iVar1] == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(piVar4[0x3fffffff - iVar1] == 0)" ( (binary_expression "piVar4[0x3fffffff - iVar1] == 0" (subscript_expression "piVar4[0x3fffffff - iVar1]" identifier [ (binary_expression "0x3fffffff - iVar1" number_literal - identifier) ]) == number_literal) ))))) ;)) (return_statement "return;" return ;) })) (if_statement "if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }" if (parenthesized_expression "(iVar1 == 0)" ( (binary_expression "iVar1 == 0" identifier == number_literal) )) (compound_statement "{\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }" { (expression_statement "*(undefined4 *)unaff_retaddr[2] = 1;" (assignment_expression "*(undefined4 *)unaff_retaddr[2] = 1" (pointer_expression "*(undefined4 *)unaff_retaddr[2]" * (cast_expression "(undefined4 *)unaff_retaddr[2]" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "unaff_retaddr[2]" identifier [ number_literal ]))) = number_literal) ;) (expression_statement "unaff_retaddr[1] = -1;" (assignment_expression "unaff_retaddr[1] = -1" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return;" return ;) })) (if_statement "if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }" if (parenthesized_expression "(iVar1 < *unaff_retaddr)" ( (binary_expression "iVar1 < *unaff_retaddr" identifier < (pointer_expression "*unaff_retaddr" * identifier)) )) (compound_statement "{\n    piVar4 = (int *)unaff_retaddr[2];\n  }" { (expression_statement "piVar4 = (int *)unaff_retaddr[2];" (assignment_expression "piVar4 = (int *)unaff_retaddr[2]" identifier = (cast_expression "(int *)unaff_retaddr[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "unaff_retaddr[2]" identifier [ number_literal ]))) ;) }) (else_clause "else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }" else (compound_statement "{\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }" { (expression_statement "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);" (assignment_expression "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1)" identifier = (cast_expression "(int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(unaff_retaddr,iVar1 + 1)" identifier (argument_list "(unaff_retaddr,iVar1 + 1)" ( identifier , (binary_expression "iVar1 + 1" identifier + number_literal) ))))) ;) }))) (expression_statement "piVar2 = *(int **)(param_3 + 8);" (assignment_expression "piVar2 = *(int **)(param_3 + 8)" identifier = (pointer_expression "*(int **)(param_3 + 8)" * (cast_expression "(int **)(param_3 + 8)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_3 + 8)" ( (binary_expression "param_3 + 8" identifier + number_literal) ))))) ;) (expression_statement "iVar6 = *piVar2;" (assignment_expression "iVar6 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (expression_statement "*piVar4 = iVar6 + 1;" (assignment_expression "*piVar4 = iVar6 + 1" (pointer_expression "*piVar4" * identifier) = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" if (parenthesized_expression "(iVar6 + 1 == 0)" ( (binary_expression "iVar6 + 1 == 0" (binary_expression "iVar6 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }" { (if_statement "if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }" if (parenthesized_expression "(iVar1 == 1)" ( (binary_expression "iVar1 == 1" identifier == number_literal) )) (compound_statement "{\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }" { (labeled_statement "LAB_00026768:\n      iVar6 = 1;" statement_identifier : (expression_statement "iVar6 = 1;" (assignment_expression "iVar6 = 1" identifier = number_literal) ;)) (goto_statement "goto LAB_00026839;" goto statement_identifier ;) })) (expression_statement "iVar6 = piVar2[1];" (assignment_expression "iVar6 = piVar2[1]" identifier = (subscript_expression "piVar2[1]" identifier [ number_literal ])) ;) (expression_statement "piVar4[1] = iVar6 + 1;" (assignment_expression "piVar4[1] = iVar6 + 1" (subscript_expression "piVar4[1]" identifier [ number_literal ]) = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }" if (parenthesized_expression "(iVar6 + 1 == 0)" ( (binary_expression "iVar6 + 1 == 0" (binary_expression "iVar6 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }" { (if_statement "if (iVar1 == 2) goto LAB_00026768;" if (parenthesized_expression "(iVar1 == 2)" ( (binary_expression "iVar1 == 2" identifier == number_literal) )) (goto_statement "goto LAB_00026768;" goto statement_identifier ;)) (expression_statement "iVar7 = piVar2[2] + 1;" (assignment_expression "iVar7 = piVar2[2] + 1" identifier = (binary_expression "piVar2[2] + 1" (subscript_expression "piVar2[2]" identifier [ number_literal ]) + number_literal)) ;) (expression_statement "piVar4[2] = iVar7;" (assignment_expression "piVar4[2] = iVar7" (subscript_expression "piVar4[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "iVar6 = 3;" (assignment_expression "iVar6 = 3" identifier = number_literal) ;) (while_statement "while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }" while (parenthesized_expression "(iVar7 == 0)" ( (binary_expression "iVar7 == 0" identifier == number_literal) )) (compound_statement "{\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }" { (if_statement "if (iVar1 == iVar6) goto LAB_00026768;" if (parenthesized_expression "(iVar1 == iVar6)" ( (binary_expression "iVar1 == iVar6" identifier == identifier) )) (goto_statement "goto LAB_00026768;" goto statement_identifier ;)) (expression_statement "iVar7 = piVar2[iVar6] + 1;" (assignment_expression "iVar7 = piVar2[iVar6] + 1" identifier = (binary_expression "piVar2[iVar6] + 1" (subscript_expression "piVar2[iVar6]" identifier [ identifier ]) + number_literal)) ;) (expression_statement "piVar4[iVar6] = iVar7;" (assignment_expression "piVar4[iVar6] = iVar7" (subscript_expression "piVar4[iVar6]" identifier [ identifier ]) = identifier) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n      iVar6 = 2;\n    }" else (compound_statement "{\n      iVar6 = 2;\n    }" { (expression_statement "iVar6 = 2;" (assignment_expression "iVar6 = 2" identifier = number_literal) ;) }))) (if_statement "if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }" if (parenthesized_expression "((piVar4 != piVar2) && (iVar6 < iVar1))" ( (binary_expression "(piVar4 != piVar2) && (iVar6 < iVar1)" (parenthesized_expression "(piVar4 != piVar2)" ( (binary_expression "piVar4 != piVar2" identifier != identifier) )) && (parenthesized_expression "(iVar6 < iVar1)" ( (binary_expression "iVar6 < iVar1" identifier < identifier) ))) )) (compound_statement "{\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }" { (expression_statement "piVar5 = piVar2 + iVar6;" (assignment_expression "piVar5 = piVar2 + iVar6" identifier = (binary_expression "piVar2 + iVar6" identifier + identifier)) ;) (expression_statement "piVar8 = piVar4 + iVar6;" (assignment_expression "piVar8 = piVar4 + iVar6" identifier = (binary_expression "piVar4 + iVar6" identifier + identifier)) ;) (do_statement "do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);" do (compound_statement "{\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      }" { (expression_statement "iVar6 = *piVar5;" (assignment_expression "iVar6 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "piVar5 = piVar5 + 1;" (assignment_expression "piVar5 = piVar5 + 1" identifier = (binary_expression "piVar5 + 1" identifier + number_literal)) ;) (expression_statement "*piVar8 = iVar6;" (assignment_expression "*piVar8 = iVar6" (pointer_expression "*piVar8" * identifier) = identifier) ;) (expression_statement "piVar8 = piVar8 + 1;" (assignment_expression "piVar8 = piVar8 + 1" identifier = (binary_expression "piVar8 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(piVar2 + iVar1 != piVar5)" ( (binary_expression "piVar2 + iVar1 != piVar5" (binary_expression "piVar2 + iVar1" identifier + identifier) != identifier) )) ;) })) }) (else_clause "else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" else (if_statement "if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" if (parenthesized_expression "((piVar4 != piVar2) && (iVar1 != 1))" ( (binary_expression "(piVar4 != piVar2) && (iVar1 != 1)" (parenthesized_expression "(piVar4 != piVar2)" ( (binary_expression "piVar4 != piVar2" identifier != identifier) )) && (parenthesized_expression "(iVar1 != 1)" ( (binary_expression "iVar1 != 1" identifier != number_literal) ))) )) (compound_statement "{\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" { (expression_statement "piVar5 = piVar2 + 1;" (assignment_expression "piVar5 = piVar2 + 1" identifier = (binary_expression "piVar2 + 1" identifier + number_literal)) ;) (expression_statement "piVar8 = piVar4;" (assignment_expression "piVar8 = piVar4" identifier = identifier) ;) (do_statement "do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);" do (compound_statement "{\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    }" { (expression_statement "piVar8 = piVar8 + 1;" (assignment_expression "piVar8 = piVar8 + 1" identifier = (binary_expression "piVar8 + 1" identifier + number_literal)) ;) (expression_statement "iVar6 = *piVar5;" (assignment_expression "iVar6 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "piVar5 = piVar5 + 1;" (assignment_expression "piVar5 = piVar5 + 1" identifier = (binary_expression "piVar5 + 1" identifier + number_literal)) ;) (expression_statement "*piVar8 = iVar6;" (assignment_expression "*piVar8 = iVar6" (pointer_expression "*piVar8" * identifier) = identifier) ;) }) while (parenthesized_expression "(piVar2 + iVar1 != piVar5)" ( (binary_expression "piVar2 + iVar1 != piVar5" (binary_expression "piVar2 + iVar1" identifier + identifier) != identifier) )) ;) })))) (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" identifier = number_literal) ;) (labeled_statement "LAB_00026839:\n  piVar4[iVar1] = iVar6;" statement_identifier : (expression_statement "piVar4[iVar1] = iVar6;" (assignment_expression "piVar4[iVar1] = iVar6" (subscript_expression "piVar4[iVar1]" identifier [ identifier ]) = identifier) ;)) (expression_statement "unaff_retaddr[1] = -(iVar1 + iVar6);" (assignment_expression "unaff_retaddr[1] = -(iVar1 + iVar6)" (subscript_expression "unaff_retaddr[1]" identifier [ number_literal ]) = (unary_expression "-(iVar1 + iVar6)" - (parenthesized_expression "(iVar1 + iVar6)" ( (binary_expression "iVar1 + iVar6" identifier + identifier) )))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (ERROR IDENT) (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT ))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (call_expression IDENT (argument_list ( (pointer_expression * IDENT) , IDENT ))) == (binary_expression (binary_expression (pointer_expression * IDENT) + IDENT) < LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT , IDENT ))))) ;) }))) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (unary_expression - IDENT) == IDENT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != IDENT) )) && (parenthesized_expression ( (binary_expression (binary_expression (unary_expression - IDENT) != IDENT) && (binary_expression IDENT <= IDENT)) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression IDENT + (unary_expression - IDENT)) != IDENT) )) ;) })) })) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != IDENT) )) && (parenthesized_expression ( (binary_expression IDENT != LIT) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = (subscript_expression IDENT [ IDENT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression (unary_expression - IDENT) != IDENT) && (binary_expression IDENT <= IDENT)) )) ;) })))) (labeled_statement statement_identifier : (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (subscript_expression IDENT [ (binary_expression LIT - IDENT) ]) == LIT) ))))) ;)) (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT , (binary_expression IDENT + LIT) ))))) ;) }))) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = LIT) ;)) (goto_statement goto statement_identifier ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) + LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ IDENT ]) + LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != IDENT) )) && (parenthesized_expression ( (binary_expression IDENT < IDENT) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression IDENT + IDENT) != IDENT) )) ;) })) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != IDENT) )) && (parenthesized_expression ( (binary_expression IDENT != LIT) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression IDENT + IDENT) != IDENT) )) ;) })))) (expression_statement (assignment_expression IDENT = LIT) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = IDENT) ;)) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (unary_expression - (parenthesized_expression ( (binary_expression IDENT + IDENT) )))) ;) (return_statement return ;) })))
(function_definition "void __regparm2 __gmpz_com(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  int iVar6;\n  int iVar7;\n  int *piVar8;\n  int *unaff_retaddr;\n  \n  entry(param_2,0x266d9);\n  iVar1 = *(int *)(param_3 + 4);\n  if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }\n  if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }\n  piVar2 = *(int **)(param_3 + 8);\n  iVar6 = *piVar2;\n  *piVar4 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }\n  iVar6 = 0;\nLAB_00026839:\n  piVar4[iVar1] = iVar6;\n  unaff_retaddr[1] = -(iVar1 + iVar6);\n  return;\n}" (primitive_type "void") (ERROR "__regparm2" (identifier "__regparm2")) (function_declarator "__gmpz_com(undefined4 param_1,undefined4 param_2,int param_3)" (identifier "__gmpz_com") (parameter_list "(undefined4 param_1,undefined4 param_2,int param_3)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) (, ",") (parameter_declaration "int param_3" (primitive_type "int") (identifier "param_3")) () ")"))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int *piVar4;\n  int *piVar5;\n  int iVar6;\n  int iVar7;\n  int *piVar8;\n  int *unaff_retaddr;\n  \n  entry(param_2,0x266d9);\n  iVar1 = *(int *)(param_3 + 4);\n  if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }\n  if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }\n  if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }\n  piVar2 = *(int **)(param_3 + 8);\n  iVar6 = *piVar2;\n  *piVar4 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }\n  iVar6 = 0;\nLAB_00026839:\n  piVar4[iVar1] = iVar6;\n  unaff_retaddr[1] = -(iVar1 + iVar6);\n  return;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int *piVar2;" (primitive_type "int") (pointer_declarator "*piVar2" (* "*") (identifier "piVar2")) (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "int *piVar4;" (primitive_type "int") (pointer_declarator "*piVar4" (* "*") (identifier "piVar4")) (; ";")) (declaration "int *piVar5;" (primitive_type "int") (pointer_declarator "*piVar5" (* "*") (identifier "piVar5")) (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "int iVar7;" (primitive_type "int") (identifier "iVar7") (; ";")) (declaration "int *piVar8;" (primitive_type "int") (pointer_declarator "*piVar8" (* "*") (identifier "piVar8")) (; ";")) (declaration "int *unaff_retaddr;" (primitive_type "int") (pointer_declarator "*unaff_retaddr" (* "*") (identifier "unaff_retaddr")) (; ";")) (expression_statement "entry(param_2,0x266d9);" (call_expression "entry(param_2,0x266d9)" (identifier "entry") (argument_list "(param_2,0x266d9)" (( "(") (identifier "param_2") (, ",") (number_literal "0x266d9") () ")"))) (; ";")) (expression_statement "iVar1 = *(int *)(param_3 + 4);" (assignment_expression "iVar1 = *(int *)(param_3 + 4)" (identifier "iVar1") (= "=") (pointer_expression "*(int *)(param_3 + 4)" (* "*") (cast_expression "(int *)(param_3 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_3 + 4)" (( "(") (binary_expression "param_3 + 4" (identifier "param_3") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (if_statement "if (iVar1 < 0) {\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }" (if "if") (parenthesized_expression "(iVar1 < 0)" (( "(") (binary_expression "iVar1 < 0" (identifier "iVar1") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    iVar6 = -iVar1;\n    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }\n    piVar2 = *(int **)(param_3 + 8);\n    iVar7 = *piVar2;\n    *piVar4 = iVar7 + -1;\n    if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }\nLAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);\n    return;\n  }" ({ "{") (expression_statement "iVar6 = -iVar1;" (assignment_expression "iVar6 = -iVar1" (identifier "iVar6") (= "=") (unary_expression "-iVar1" (- "-") (identifier "iVar1"))) (; ";")) (if_statement "if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {\n      piVar4 = (int *)unaff_retaddr[2];\n    }\n    else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }" (if "if") (parenthesized_expression "(SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0)" (( "(") (binary_expression "SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0" (call_expression "SBORROW4(*unaff_retaddr,iVar6)" (identifier "SBORROW4") (argument_list "(*unaff_retaddr,iVar6)" (( "(") (pointer_expression "*unaff_retaddr" (* "*") (identifier "unaff_retaddr")) (, ",") (identifier "iVar6") () ")"))) (== "==") (binary_expression "*unaff_retaddr + iVar1 < 0" (binary_expression "*unaff_retaddr + iVar1" (pointer_expression "*unaff_retaddr" (* "*") (identifier "unaff_retaddr")) (+ "+") (identifier "iVar1")) (< "<") (number_literal "0"))) () ")")) (compound_statement "{\n      piVar4 = (int *)unaff_retaddr[2];\n    }" ({ "{") (expression_statement "piVar4 = (int *)unaff_retaddr[2];" (assignment_expression "piVar4 = (int *)unaff_retaddr[2]" (identifier "piVar4") (= "=") (cast_expression "(int *)unaff_retaddr[2]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "unaff_retaddr[2]" (identifier "unaff_retaddr") ([ "[") (number_literal "2") (] "]")))) (; ";")) (} "}")) (else_clause "else {\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }" (else "else") (compound_statement "{\n      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);\n    }" ({ "{") (expression_statement "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);" (assignment_expression "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6)" (identifier "piVar4") (= "=") (cast_expression "(int *)__gmpz_realloc(unaff_retaddr,iVar6)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "__gmpz_realloc(unaff_retaddr,iVar6)" (identifier "__gmpz_realloc") (argument_list "(unaff_retaddr,iVar6)" (( "(") (identifier "unaff_retaddr") (, ",") (identifier "iVar6") () ")"))))) (; ";")) (} "}")))) (expression_statement "piVar2 = *(int **)(param_3 + 8);" (assignment_expression "piVar2 = *(int **)(param_3 + 8)" (identifier "piVar2") (= "=") (pointer_expression "*(int **)(param_3 + 8)" (* "*") (cast_expression "(int **)(param_3 + 8)" (( "(") (type_descriptor "int **" (primitive_type "int") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(param_3 + 8)" (( "(") (binary_expression "param_3 + 8" (identifier "param_3") (+ "+") (number_literal "8")) () ")"))))) (; ";")) (expression_statement "iVar7 = *piVar2;" (assignment_expression "iVar7 = *piVar2" (identifier "iVar7") (= "=") (pointer_expression "*piVar2" (* "*") (identifier "piVar2"))) (; ";")) (expression_statement "*piVar4 = iVar7 + -1;" (assignment_expression "*piVar4 = iVar7 + -1" (pointer_expression "*piVar4" (* "*") (identifier "piVar4")) (= "=") (binary_expression "iVar7 + -1" (identifier "iVar7") (+ "+") (number_literal "-1"))) (; ";")) (if_statement "if (iVar7 == 0) {\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }\n    else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" (if "if") (parenthesized_expression "(iVar7 == 0)" (( "(") (binary_expression "iVar7 == 0" (identifier "iVar7") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }\n    }" ({ "{") (if_statement "if (iVar1 != -1) {\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }" (if "if") (parenthesized_expression "(iVar1 != -1)" (( "(") (binary_expression "iVar1 != -1" (identifier "iVar1") (!= "!=") (number_literal "-1")) () ")")) (compound_statement "{\n        iVar7 = piVar2[1];\n        piVar4[1] = iVar7 + -1;\n        if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }\n        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }\n      }" ({ "{") (expression_statement "iVar7 = piVar2[1];" (assignment_expression "iVar7 = piVar2[1]" (identifier "iVar7") (= "=") (subscript_expression "piVar2[1]" (identifier "piVar2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "piVar4[1] = iVar7 + -1;" (assignment_expression "piVar4[1] = iVar7 + -1" (subscript_expression "piVar4[1]" (identifier "piVar4") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "iVar7 + -1" (identifier "iVar7") (+ "+") (number_literal "-1"))) (; ";")) (if_statement "if (iVar7 == 0) {\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }\n        else {\n          iVar7 = 2;\n        }" (if "if") (parenthesized_expression "(iVar7 == 0)" (( "(") (binary_expression "iVar7 == 0" (identifier "iVar7") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n          if (-3 < iVar1) goto LAB_000267e8;\n          iVar3 = piVar2[2];\n          iVar7 = 3;\n          piVar4[2] = iVar3 + -1;\n          while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }\n        }" ({ "{") (if_statement "if (-3 < iVar1) goto LAB_000267e8;" (if "if") (parenthesized_expression "(-3 < iVar1)" (( "(") (binary_expression "-3 < iVar1" (number_literal "-3") (< "<") (identifier "iVar1")) () ")")) (goto_statement "goto LAB_000267e8;" (goto "goto") (statement_identifier "LAB_000267e8") (; ";"))) (expression_statement "iVar3 = piVar2[2];" (assignment_expression "iVar3 = piVar2[2]" (identifier "iVar3") (= "=") (subscript_expression "piVar2[2]" (identifier "piVar2") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "iVar7 = 3;" (assignment_expression "iVar7 = 3" (identifier "iVar7") (= "=") (number_literal "3")) (; ";")) (expression_statement "piVar4[2] = iVar3 + -1;" (assignment_expression "piVar4[2] = iVar3 + -1" (subscript_expression "piVar4[2]" (identifier "piVar4") ([ "[") (number_literal "2") (] "]")) (= "=") (binary_expression "iVar3 + -1" (identifier "iVar3") (+ "+") (number_literal "-1"))) (; ";")) (while_statement "while (iVar3 == 0) {\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }" (while "while") (parenthesized_expression "(iVar3 == 0)" (( "(") (binary_expression "iVar3 == 0" (identifier "iVar3") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n            if (-iVar7 == iVar1) goto LAB_000267e8;\n            iVar3 = piVar2[iVar7];\n            piVar4[iVar7] = iVar3 + -1;\n            iVar7 = iVar7 + 1;\n          }" ({ "{") (if_statement "if (-iVar7 == iVar1) goto LAB_000267e8;" (if "if") (parenthesized_expression "(-iVar7 == iVar1)" (( "(") (binary_expression "-iVar7 == iVar1" (unary_expression "-iVar7" (- "-") (identifier "iVar7")) (== "==") (identifier "iVar1")) () ")")) (goto_statement "goto LAB_000267e8;" (goto "goto") (statement_identifier "LAB_000267e8") (; ";"))) (expression_statement "iVar3 = piVar2[iVar7];" (assignment_expression "iVar3 = piVar2[iVar7]" (identifier "iVar3") (= "=") (subscript_expression "piVar2[iVar7]" (identifier "piVar2") ([ "[") (identifier "iVar7") (] "]"))) (; ";")) (expression_statement "piVar4[iVar7] = iVar3 + -1;" (assignment_expression "piVar4[iVar7] = iVar3 + -1" (subscript_expression "piVar4[iVar7]" (identifier "piVar4") ([ "[") (identifier "iVar7") (] "]")) (= "=") (binary_expression "iVar3 + -1" (identifier "iVar3") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" (identifier "iVar7") (= "=") (binary_expression "iVar7 + 1" (identifier "iVar7") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (} "}")) (else_clause "else {\n          iVar7 = 2;\n        }" (else "else") (compound_statement "{\n          iVar7 = 2;\n        }" ({ "{") (expression_statement "iVar7 = 2;" (assignment_expression "iVar7 = 2" (identifier "iVar7") (= "=") (number_literal "2")) (; ";")) (} "}")))) (if_statement "if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }" (if "if") (parenthesized_expression "((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6))" (( "(") (binary_expression "(piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)" (parenthesized_expression "(piVar4 != piVar2)" (( "(") (binary_expression "piVar4 != piVar2" (identifier "piVar4") (!= "!=") (identifier "piVar2")) () ")")) (&& "&&") (parenthesized_expression "(-iVar7 != iVar1 && iVar7 <= iVar6)" (( "(") (binary_expression "-iVar7 != iVar1 && iVar7 <= iVar6" (binary_expression "-iVar7 != iVar1" (unary_expression "-iVar7" (- "-") (identifier "iVar7")) (!= "!=") (identifier "iVar1")) (&& "&&") (binary_expression "iVar7 <= iVar6" (identifier "iVar7") (<= "<=") (identifier "iVar6"))) () ")"))) () ")")) (compound_statement "{\n          piVar5 = piVar2 + iVar7;\n          piVar8 = piVar4 + iVar7;\n          do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);\n        }" ({ "{") (expression_statement "piVar5 = piVar2 + iVar7;" (assignment_expression "piVar5 = piVar2 + iVar7" (identifier "piVar5") (= "=") (binary_expression "piVar2 + iVar7" (identifier "piVar2") (+ "+") (identifier "iVar7"))) (; ";")) (expression_statement "piVar8 = piVar4 + iVar7;" (assignment_expression "piVar8 = piVar4 + iVar7" (identifier "piVar8") (= "=") (binary_expression "piVar4 + iVar7" (identifier "piVar4") (+ "+") (identifier "iVar7"))) (; ";")) (do_statement "do {\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          } while (piVar2 + -iVar1 != piVar5);" (do "do") (compound_statement "{\n            iVar7 = *piVar5;\n            piVar5 = piVar5 + 1;\n            *piVar8 = iVar7;\n            piVar8 = piVar8 + 1;\n          }" ({ "{") (expression_statement "iVar7 = *piVar5;" (assignment_expression "iVar7 = *piVar5" (identifier "iVar7") (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (expression_statement "piVar5 = piVar5 + 1;" (assignment_expression "piVar5 = piVar5 + 1" (identifier "piVar5") (= "=") (binary_expression "piVar5 + 1" (identifier "piVar5") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*piVar8 = iVar7;" (assignment_expression "*piVar8 = iVar7" (pointer_expression "*piVar8" (* "*") (identifier "piVar8")) (= "=") (identifier "iVar7")) (; ";")) (expression_statement "piVar8 = piVar8 + 1;" (assignment_expression "piVar8 = piVar8 + 1" (identifier "piVar8") (= "=") (binary_expression "piVar8 + 1" (identifier "piVar8") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(piVar2 + -iVar1 != piVar5)" (( "(") (binary_expression "piVar2 + -iVar1 != piVar5" (binary_expression "piVar2 + -iVar1" (identifier "piVar2") (+ "+") (unary_expression "-iVar1" (- "-") (identifier "iVar1"))) (!= "!=") (identifier "piVar5")) () ")")) (; ";")) (} "}"))) (} "}"))) (} "}")) (else_clause "else if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" (else "else") (if_statement "if ((piVar4 != piVar2) && (iVar1 != -1)) {\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" (if "if") (parenthesized_expression "((piVar4 != piVar2) && (iVar1 != -1))" (( "(") (binary_expression "(piVar4 != piVar2) && (iVar1 != -1)" (parenthesized_expression "(piVar4 != piVar2)" (( "(") (binary_expression "piVar4 != piVar2" (identifier "piVar4") (!= "!=") (identifier "piVar2")) () ")")) (&& "&&") (parenthesized_expression "(iVar1 != -1)" (( "(") (binary_expression "iVar1 != -1" (identifier "iVar1") (!= "!=") (number_literal "-1")) () ")"))) () ")")) (compound_statement "{\n      iVar7 = 1;\n      do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);\n    }" ({ "{") (expression_statement "iVar7 = 1;" (assignment_expression "iVar7 = 1" (identifier "iVar7") (= "=") (number_literal "1")) (; ";")) (do_statement "do {\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      } while (-iVar7 != iVar1 && iVar7 <= iVar6);" (do "do") (compound_statement "{\n        piVar4[iVar7] = piVar2[iVar7];\n        iVar7 = iVar7 + 1;\n      }" ({ "{") (expression_statement "piVar4[iVar7] = piVar2[iVar7];" (assignment_expression "piVar4[iVar7] = piVar2[iVar7]" (subscript_expression "piVar4[iVar7]" (identifier "piVar4") ([ "[") (identifier "iVar7") (] "]")) (= "=") (subscript_expression "piVar2[iVar7]" (identifier "piVar2") ([ "[") (identifier "iVar7") (] "]"))) (; ";")) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" (identifier "iVar7") (= "=") (binary_expression "iVar7 + 1" (identifier "iVar7") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(-iVar7 != iVar1 && iVar7 <= iVar6)" (( "(") (binary_expression "-iVar7 != iVar1 && iVar7 <= iVar6" (binary_expression "-iVar7 != iVar1" (unary_expression "-iVar7" (- "-") (identifier "iVar7")) (!= "!=") (identifier "iVar1")) (&& "&&") (binary_expression "iVar7 <= iVar6" (identifier "iVar7") (<= "<=") (identifier "iVar6"))) () ")")) (; ";")) (} "}"))))) (labeled_statement "LAB_000267e8:\n    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);" (statement_identifier "LAB_000267e8") (: ":") (expression_statement "unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);" (assignment_expression "unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0)" (subscript_expression "unaff_retaddr[1]" (identifier "unaff_retaddr") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0)" (identifier "iVar6") (- "-") (call_expression "(uint)(piVar4[0x3fffffff - iVar1] == 0)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(piVar4[0x3fffffff - iVar1] == 0)" (( "(") (binary_expression "piVar4[0x3fffffff - iVar1] == 0" (subscript_expression "piVar4[0x3fffffff - iVar1]" (identifier "piVar4") ([ "[") (binary_expression "0x3fffffff - iVar1" (number_literal "0x3fffffff") (- "-") (identifier "iVar1")) (] "]")) (== "==") (number_literal "0")) () ")"))))) (; ";"))) (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (iVar1 == 0) {\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }" (if "if") (parenthesized_expression "(iVar1 == 0)" (( "(") (binary_expression "iVar1 == 0" (identifier "iVar1") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    *(undefined4 *)unaff_retaddr[2] = 1;\n    unaff_retaddr[1] = -1;\n    return;\n  }" ({ "{") (expression_statement "*(undefined4 *)unaff_retaddr[2] = 1;" (assignment_expression "*(undefined4 *)unaff_retaddr[2] = 1" (pointer_expression "*(undefined4 *)unaff_retaddr[2]" (* "*") (cast_expression "(undefined4 *)unaff_retaddr[2]" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "unaff_retaddr[2]" (identifier "unaff_retaddr") ([ "[") (number_literal "2") (] "]")))) (= "=") (number_literal "1")) (; ";")) (expression_statement "unaff_retaddr[1] = -1;" (assignment_expression "unaff_retaddr[1] = -1" (subscript_expression "unaff_retaddr[1]" (identifier "unaff_retaddr") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "-1")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (iVar1 < *unaff_retaddr) {\n    piVar4 = (int *)unaff_retaddr[2];\n  }\n  else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }" (if "if") (parenthesized_expression "(iVar1 < *unaff_retaddr)" (( "(") (binary_expression "iVar1 < *unaff_retaddr" (identifier "iVar1") (< "<") (pointer_expression "*unaff_retaddr" (* "*") (identifier "unaff_retaddr"))) () ")")) (compound_statement "{\n    piVar4 = (int *)unaff_retaddr[2];\n  }" ({ "{") (expression_statement "piVar4 = (int *)unaff_retaddr[2];" (assignment_expression "piVar4 = (int *)unaff_retaddr[2]" (identifier "piVar4") (= "=") (cast_expression "(int *)unaff_retaddr[2]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "unaff_retaddr[2]" (identifier "unaff_retaddr") ([ "[") (number_literal "2") (] "]")))) (; ";")) (} "}")) (else_clause "else {\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }" (else "else") (compound_statement "{\n    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);\n  }" ({ "{") (expression_statement "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);" (assignment_expression "piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1)" (identifier "piVar4") (= "=") (cast_expression "(int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "__gmpz_realloc(unaff_retaddr,iVar1 + 1)" (identifier "__gmpz_realloc") (argument_list "(unaff_retaddr,iVar1 + 1)" (( "(") (identifier "unaff_retaddr") (, ",") (binary_expression "iVar1 + 1" (identifier "iVar1") (+ "+") (number_literal "1")) () ")"))))) (; ";")) (} "}")))) (expression_statement "piVar2 = *(int **)(param_3 + 8);" (assignment_expression "piVar2 = *(int **)(param_3 + 8)" (identifier "piVar2") (= "=") (pointer_expression "*(int **)(param_3 + 8)" (* "*") (cast_expression "(int **)(param_3 + 8)" (( "(") (type_descriptor "int **" (primitive_type "int") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(param_3 + 8)" (( "(") (binary_expression "param_3 + 8" (identifier "param_3") (+ "+") (number_literal "8")) () ")"))))) (; ";")) (expression_statement "iVar6 = *piVar2;" (assignment_expression "iVar6 = *piVar2" (identifier "iVar6") (= "=") (pointer_expression "*piVar2" (* "*") (identifier "piVar2"))) (; ";")) (expression_statement "*piVar4 = iVar6 + 1;" (assignment_expression "*piVar4 = iVar6 + 1" (pointer_expression "*piVar4" (* "*") (identifier "piVar4")) (= "=") (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar6 + 1 == 0) {\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }\n  else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" (if "if") (parenthesized_expression "(iVar6 + 1 == 0)" (( "(") (binary_expression "iVar6 + 1 == 0" (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }\n    iVar6 = piVar2[1];\n    piVar4[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }\n  }" ({ "{") (if_statement "if (iVar1 == 1) {\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }" (if "if") (parenthesized_expression "(iVar1 == 1)" (( "(") (binary_expression "iVar1 == 1" (identifier "iVar1") (== "==") (number_literal "1")) () ")")) (compound_statement "{\nLAB_00026768:\n      iVar6 = 1;\n      goto LAB_00026839;\n    }" ({ "{") (labeled_statement "LAB_00026768:\n      iVar6 = 1;" (statement_identifier "LAB_00026768") (: ":") (expression_statement "iVar6 = 1;" (assignment_expression "iVar6 = 1" (identifier "iVar6") (= "=") (number_literal "1")) (; ";"))) (goto_statement "goto LAB_00026839;" (goto "goto") (statement_identifier "LAB_00026839") (; ";")) (} "}"))) (expression_statement "iVar6 = piVar2[1];" (assignment_expression "iVar6 = piVar2[1]" (identifier "iVar6") (= "=") (subscript_expression "piVar2[1]" (identifier "piVar2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "piVar4[1] = iVar6 + 1;" (assignment_expression "piVar4[1] = iVar6 + 1" (subscript_expression "piVar4[1]" (identifier "piVar4") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }" (if "if") (parenthesized_expression "(iVar6 + 1 == 0)" (( "(") (binary_expression "iVar6 + 1 == 0" (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      if (iVar1 == 2) goto LAB_00026768;\n      iVar7 = piVar2[2] + 1;\n      piVar4[2] = iVar7;\n      iVar6 = 3;\n      while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }\n    }" ({ "{") (if_statement "if (iVar1 == 2) goto LAB_00026768;" (if "if") (parenthesized_expression "(iVar1 == 2)" (( "(") (binary_expression "iVar1 == 2" (identifier "iVar1") (== "==") (number_literal "2")) () ")")) (goto_statement "goto LAB_00026768;" (goto "goto") (statement_identifier "LAB_00026768") (; ";"))) (expression_statement "iVar7 = piVar2[2] + 1;" (assignment_expression "iVar7 = piVar2[2] + 1" (identifier "iVar7") (= "=") (binary_expression "piVar2[2] + 1" (subscript_expression "piVar2[2]" (identifier "piVar2") ([ "[") (number_literal "2") (] "]")) (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar4[2] = iVar7;" (assignment_expression "piVar4[2] = iVar7" (subscript_expression "piVar4[2]" (identifier "piVar4") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "iVar7")) (; ";")) (expression_statement "iVar6 = 3;" (assignment_expression "iVar6 = 3" (identifier "iVar6") (= "=") (number_literal "3")) (; ";")) (while_statement "while (iVar7 == 0) {\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }" (while "while") (parenthesized_expression "(iVar7 == 0)" (( "(") (binary_expression "iVar7 == 0" (identifier "iVar7") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n        if (iVar1 == iVar6) goto LAB_00026768;\n        iVar7 = piVar2[iVar6] + 1;\n        piVar4[iVar6] = iVar7;\n        iVar6 = iVar6 + 1;\n      }" ({ "{") (if_statement "if (iVar1 == iVar6) goto LAB_00026768;" (if "if") (parenthesized_expression "(iVar1 == iVar6)" (( "(") (binary_expression "iVar1 == iVar6" (identifier "iVar1") (== "==") (identifier "iVar6")) () ")")) (goto_statement "goto LAB_00026768;" (goto "goto") (statement_identifier "LAB_00026768") (; ";"))) (expression_statement "iVar7 = piVar2[iVar6] + 1;" (assignment_expression "iVar7 = piVar2[iVar6] + 1" (identifier "iVar7") (= "=") (binary_expression "piVar2[iVar6] + 1" (subscript_expression "piVar2[iVar6]" (identifier "piVar2") ([ "[") (identifier "iVar6") (] "]")) (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar4[iVar6] = iVar7;" (assignment_expression "piVar4[iVar6] = iVar7" (subscript_expression "piVar4[iVar6]" (identifier "piVar4") ([ "[") (identifier "iVar6") (] "]")) (= "=") (identifier "iVar7")) (; ";")) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" (identifier "iVar6") (= "=") (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (} "}")) (else_clause "else {\n      iVar6 = 2;\n    }" (else "else") (compound_statement "{\n      iVar6 = 2;\n    }" ({ "{") (expression_statement "iVar6 = 2;" (assignment_expression "iVar6 = 2" (identifier "iVar6") (= "=") (number_literal "2")) (; ";")) (} "}")))) (if_statement "if ((piVar4 != piVar2) && (iVar6 < iVar1)) {\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }" (if "if") (parenthesized_expression "((piVar4 != piVar2) && (iVar6 < iVar1))" (( "(") (binary_expression "(piVar4 != piVar2) && (iVar6 < iVar1)" (parenthesized_expression "(piVar4 != piVar2)" (( "(") (binary_expression "piVar4 != piVar2" (identifier "piVar4") (!= "!=") (identifier "piVar2")) () ")")) (&& "&&") (parenthesized_expression "(iVar6 < iVar1)" (( "(") (binary_expression "iVar6 < iVar1" (identifier "iVar6") (< "<") (identifier "iVar1")) () ")"))) () ")")) (compound_statement "{\n      piVar5 = piVar2 + iVar6;\n      piVar8 = piVar4 + iVar6;\n      do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);\n    }" ({ "{") (expression_statement "piVar5 = piVar2 + iVar6;" (assignment_expression "piVar5 = piVar2 + iVar6" (identifier "piVar5") (= "=") (binary_expression "piVar2 + iVar6" (identifier "piVar2") (+ "+") (identifier "iVar6"))) (; ";")) (expression_statement "piVar8 = piVar4 + iVar6;" (assignment_expression "piVar8 = piVar4 + iVar6" (identifier "piVar8") (= "=") (binary_expression "piVar4 + iVar6" (identifier "piVar4") (+ "+") (identifier "iVar6"))) (; ";")) (do_statement "do {\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar5);" (do "do") (compound_statement "{\n        iVar6 = *piVar5;\n        piVar5 = piVar5 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      }" ({ "{") (expression_statement "iVar6 = *piVar5;" (assignment_expression "iVar6 = *piVar5" (identifier "iVar6") (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (expression_statement "piVar5 = piVar5 + 1;" (assignment_expression "piVar5 = piVar5 + 1" (identifier "piVar5") (= "=") (binary_expression "piVar5 + 1" (identifier "piVar5") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*piVar8 = iVar6;" (assignment_expression "*piVar8 = iVar6" (pointer_expression "*piVar8" (* "*") (identifier "piVar8")) (= "=") (identifier "iVar6")) (; ";")) (expression_statement "piVar8 = piVar8 + 1;" (assignment_expression "piVar8 = piVar8 + 1" (identifier "piVar8") (= "=") (binary_expression "piVar8 + 1" (identifier "piVar8") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(piVar2 + iVar1 != piVar5)" (( "(") (binary_expression "piVar2 + iVar1 != piVar5" (binary_expression "piVar2 + iVar1" (identifier "piVar2") (+ "+") (identifier "iVar1")) (!= "!=") (identifier "piVar5")) () ")")) (; ";")) (} "}"))) (} "}")) (else_clause "else if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" (else "else") (if_statement "if ((piVar4 != piVar2) && (iVar1 != 1)) {\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" (if "if") (parenthesized_expression "((piVar4 != piVar2) && (iVar1 != 1))" (( "(") (binary_expression "(piVar4 != piVar2) && (iVar1 != 1)" (parenthesized_expression "(piVar4 != piVar2)" (( "(") (binary_expression "piVar4 != piVar2" (identifier "piVar4") (!= "!=") (identifier "piVar2")) () ")")) (&& "&&") (parenthesized_expression "(iVar1 != 1)" (( "(") (binary_expression "iVar1 != 1" (identifier "iVar1") (!= "!=") (number_literal "1")) () ")"))) () ")")) (compound_statement "{\n    piVar5 = piVar2 + 1;\n    piVar8 = piVar4;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);\n  }" ({ "{") (expression_statement "piVar5 = piVar2 + 1;" (assignment_expression "piVar5 = piVar2 + 1" (identifier "piVar5") (= "=") (binary_expression "piVar2 + 1" (identifier "piVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar8 = piVar4;" (assignment_expression "piVar8 = piVar4" (identifier "piVar8") (= "=") (identifier "piVar4")) (; ";")) (do_statement "do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    } while (piVar2 + iVar1 != piVar5);" (do "do") (compound_statement "{\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar5;\n      piVar5 = piVar5 + 1;\n      *piVar8 = iVar6;\n    }" ({ "{") (expression_statement "piVar8 = piVar8 + 1;" (assignment_expression "piVar8 = piVar8 + 1" (identifier "piVar8") (= "=") (binary_expression "piVar8 + 1" (identifier "piVar8") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "iVar6 = *piVar5;" (assignment_expression "iVar6 = *piVar5" (identifier "iVar6") (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (expression_statement "piVar5 = piVar5 + 1;" (assignment_expression "piVar5 = piVar5 + 1" (identifier "piVar5") (= "=") (binary_expression "piVar5 + 1" (identifier "piVar5") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*piVar8 = iVar6;" (assignment_expression "*piVar8 = iVar6" (pointer_expression "*piVar8" (* "*") (identifier "piVar8")) (= "=") (identifier "iVar6")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(piVar2 + iVar1 != piVar5)" (( "(") (binary_expression "piVar2 + iVar1 != piVar5" (binary_expression "piVar2 + iVar1" (identifier "piVar2") (+ "+") (identifier "iVar1")) (!= "!=") (identifier "piVar5")) () ")")) (; ";")) (} "}"))))) (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" (identifier "iVar6") (= "=") (number_literal "0")) (; ";")) (labeled_statement "LAB_00026839:\n  piVar4[iVar1] = iVar6;" (statement_identifier "LAB_00026839") (: ":") (expression_statement "piVar4[iVar1] = iVar6;" (assignment_expression "piVar4[iVar1] = iVar6" (subscript_expression "piVar4[iVar1]" (identifier "piVar4") ([ "[") (identifier "iVar1") (] "]")) (= "=") (identifier "iVar6")) (; ";"))) (expression_statement "unaff_retaddr[1] = -(iVar1 + iVar6);" (assignment_expression "unaff_retaddr[1] = -(iVar1 + iVar6)" (subscript_expression "unaff_retaddr[1]" (identifier "unaff_retaddr") ([ "[") (number_literal "1") (] "]")) (= "=") (unary_expression "-(iVar1 + iVar6)" (- "-") (parenthesized_expression "(iVar1 + iVar6)" (( "(") (binary_expression "iVar1 + iVar6" (identifier "iVar1") (+ "+") (identifier "iVar6")) () ")")))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

void function_1(type_1 dst,type_2 src)

{
  int var_1;
  type_3 *var_7;
  type_3 *var_6;
  type_3 *var_9;
  int var_8;
  int var_5;
  type_3 var_4;
  type_3 *var_10;
  
  var_1 = src->_mp_size;
  if (var_1 < 0) {
    var_8 = -var_1;
    if (var_2(dst->_mp_alloc,var_8) == dst->_mp_alloc + var_1 < 0) {
      var_6 = dst->_mp_d;
    }
    else {
      var_6 = (type_3 *)var_3(dst,var_8);
    }
    var_7 = src->_mp_d;
    var_4 = *var_7;
    *var_6 = var_4 - 1;
    if (var_4 == 0) {
      if (var_1 != -1) {
        var_4 = var_7[1];
        var_6[1] = var_4 - 1;
        if (var_4 == 0) {
          if (-3 < var_1) goto LAB_000267e8;
          var_4 = var_7[2];
          var_5 = 3;
          var_6[2] = var_4 - 1;
          while (var_4 == 0) {
            if (-var_5 == var_1) goto LAB_000267e8;
            var_4 = var_7[var_5];
            var_6[var_5] = var_4 - 1;
            var_5 = var_5 + 1;
          }
        }
        else {
          var_5 = 2;
        }
        if ((var_6 != var_7) && (-var_5 != var_1 && var_5 <= var_8)) {
          var_9 = var_7 + var_5;
          var_10 = var_6 + var_5;
          do {
            var_4 = *var_9;
            var_9 = var_9 + 1;
            *var_10 = var_4;
            var_10 = var_10 + 1;
          } while (var_7 + -var_1 != var_9);
        }
      }
    }
    else if ((var_6 != var_7) && (var_1 != -1)) {
      var_5 = 1;
      do {
        var_6[var_5] = var_7[var_5];
        var_5 = var_5 + 1;
      } while (-var_5 != var_1 && var_5 <= var_8);
    }
LAB_000267e8:
    dst->_mp_size = var_8 - (uint)(var_6[0x3fffffff - var_1] == 0);
    return;
  }
  if (var_1 == 0) {
    *dst->_mp_d = 1;
    dst->_mp_size = -1;
    return;
  }
  if (var_1 < dst->_mp_alloc) {
    var_6 = dst->_mp_d;
  }
  else {
    var_6 = (type_3 *)var_3(dst,var_1 + 1);
  }
  var_7 = src->_mp_d;
  var_4 = *var_7;
  *var_6 = var_4 + 1;
  if (var_4 + 1 == 0) {
    if (var_1 == 1) {
LAB_00026768:
      var_4 = 1;
      goto LAB_00026839;
    }
    var_4 = var_7[1];
    var_6[1] = var_4 + 1;
    if (var_4 + 1 == 0) {
      if (var_1 == 2) goto LAB_00026768;
      var_4 = var_7[2] + 1;
      var_6[2] = var_4;
      var_8 = 3;
      while (var_4 == 0) {
        if (var_1 == var_8) goto LAB_00026768;
        var_4 = var_7[var_8] + 1;
        var_6[var_8] = var_4;
        var_8 = var_8 + 1;
      }
    }
    else {
      var_8 = 2;
    }
    if ((var_6 != var_7) && (var_8 < var_1)) {
      var_9 = var_7 + var_8;
      var_10 = var_6 + var_8;
      do {
        var_4 = *var_9;
        var_9 = var_9 + 1;
        *var_10 = var_4;
        var_10 = var_10 + 1;
      } while (var_7 + var_1 != var_9);
    }
  }
  else if ((var_6 != var_7) && (var_1 != 1)) {
    var_9 = var_7 + 1;
    var_10 = var_6;
    do {
      var_10 = var_10 + 1;
      var_4 = *var_9;
      var_9 = var_9 + 1;
      *var_10 = var_4;
    } while (var_7 + var_1 != var_9);
  }
  var_4 = 0;
LAB_00026839:
  var_6[var_1] = var_4;
  dst->_mp_size = -(var_1 + var_4);
  return;
}


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

void __regparm2 MASKED(undefined4 param_1,undefined4 param_2,int param_3)

{
  int iVar1;
  int *piVar2;
  int iVar3;
  int *piVar4;
  int *piVar5;
  int iVar6;
  int iVar7;
  int *piVar8;
  int *unaff_retaddr;
  
  entry(param_2,0x266d9);
  iVar1 = *(int *)(param_3 + 4);
  if (iVar1 < 0) {
    iVar6 = -iVar1;
    if (SBORROW4(*unaff_retaddr,iVar6) == *unaff_retaddr + iVar1 < 0) {
      piVar4 = (int *)unaff_retaddr[2];
    }
    else {
      piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar6);
    }
    piVar2 = *(int **)(param_3 + 8);
    iVar7 = *piVar2;
    *piVar4 = iVar7 + -1;
    if (iVar7 == 0) {
      if (iVar1 != -1) {
        iVar7 = piVar2[1];
        piVar4[1] = iVar7 + -1;
        if (iVar7 == 0) {
          if (-3 < iVar1) goto LAB_000267e8;
          iVar3 = piVar2[2];
          iVar7 = 3;
          piVar4[2] = iVar3 + -1;
          while (iVar3 == 0) {
            if (-iVar7 == iVar1) goto LAB_000267e8;
            iVar3 = piVar2[iVar7];
            piVar4[iVar7] = iVar3 + -1;
            iVar7 = iVar7 + 1;
          }
        }
        else {
          iVar7 = 2;
        }
        if ((piVar4 != piVar2) && (-iVar7 != iVar1 && iVar7 <= iVar6)) {
          piVar5 = piVar2 + iVar7;
          piVar8 = piVar4 + iVar7;
          do {
            iVar7 = *piVar5;
            piVar5 = piVar5 + 1;
            *piVar8 = iVar7;
            piVar8 = piVar8 + 1;
          } while (piVar2 + -iVar1 != piVar5);
        }
      }
    }
    else if ((piVar4 != piVar2) && (iVar1 != -1)) {
      iVar7 = 1;
      do {
        piVar4[iVar7] = piVar2[iVar7];
        iVar7 = iVar7 + 1;
      } while (-iVar7 != iVar1 && iVar7 <= iVar6);
    }
LAB_000267e8:
    unaff_retaddr[1] = iVar6 - (uint)(piVar4[0x3fffffff - iVar1] == 0);
    return;
  }
  if (iVar1 == 0) {
    *(undefined4 *)unaff_retaddr[2] = 1;
    unaff_retaddr[1] = -1;
    return;
  }
  if (iVar1 < *unaff_retaddr) {
    piVar4 = (int *)unaff_retaddr[2];
  }
  else {
    piVar4 = (int *)__gmpz_realloc(unaff_retaddr,iVar1 + 1);
  }
  piVar2 = *(int **)(param_3 + 8);
  iVar6 = *piVar2;
  *piVar4 = iVar6 + 1;
  if (iVar6 + 1 == 0) {
    if (iVar1 == 1) {
LAB_00026768:
      iVar6 = 1;
      goto LAB_00026839;
    }
    iVar6 = piVar2[1];
    piVar4[1] = iVar6 + 1;
    if (iVar6 + 1 == 0) {
      if (iVar1 == 2) goto LAB_00026768;
      iVar7 = piVar2[2] + 1;
      piVar4[2] = iVar7;
      iVar6 = 3;
      while (iVar7 == 0) {
        if (iVar1 == iVar6) goto LAB_00026768;
        iVar7 = piVar2[iVar6] + 1;
        piVar4[iVar6] = iVar7;
        iVar6 = iVar6 + 1;
      }
    }
    else {
      iVar6 = 2;
    }
    if ((piVar4 != piVar2) && (iVar6 < iVar1)) {
      piVar5 = piVar2 + iVar6;
      piVar8 = piVar4 + iVar6;
      do {
        iVar6 = *piVar5;
        piVar5 = piVar5 + 1;
        *piVar8 = iVar6;
        piVar8 = piVar8 + 1;
      } while (piVar2 + iVar1 != piVar5);
    }
  }
  else if ((piVar4 != piVar2) && (iVar1 != 1)) {
    piVar5 = piVar2 + 1;
    piVar8 = piVar4;
    do {
      piVar8 = piVar8 + 1;
      iVar6 = *piVar5;
      piVar5 = piVar5 + 1;
      *piVar8 = iVar6;
    } while (piVar2 + iVar1 != piVar5);
  }
  iVar6 = 0;
LAB_00026839:
  piVar4[iVar1] = iVar6;
  unaff_retaddr[1] = -(iVar1 + iVar6);
  return;
}

