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

mp_limb_t __gmpn_mu_divappr_q(mp_ptr qp,mp_srcptr np,mp_size_t nn,mp_srcptr dp,mp_size_t dn,
                             mp_ptr scratch)

{
  int iVar1;
  mp_srcptr pmVar2;
  undefined *puVar3;
  int iVar4;
  mp_size_t in;
  mp_limb_t mVar5;
  mp_srcptr pmVar6;
  mp_limb_t *pmVar7;
  int iVar8;
  mp_srcptr dp_00;
  
  iVar4 = nn - dn;
  iVar1 = iVar4 + 1;
  if (iVar1 < dn) {
    iVar8 = dn - iVar1;
    nn = nn - iVar8;
    np = np + iVar8;
    dp = dp + iVar8;
    dn = iVar1;
  }
  in = __gmpn_mu_divappr_q_choose_in(iVar4,dn,0);
  puVar3 = PTR___gmpn_cpuvec_0009dd94;
  iVar1 = in + 1;
  dp_00 = scratch + iVar1;
  if (dn == in) {
    (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(dp_00 + 1,dp,dn);
    *dp_00 = 1;
    __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);
    (**(code **)(puVar3 + 0x28))(scratch,scratch + 1,dn);
    goto LAB_0007349b;
  }
  pmVar2 = dp + (dn - in) + -1;
  mVar5 = *pmVar2;
  *dp_00 = mVar5 + 1;
  if (mVar5 + 1 == 0) {
    if (iVar1 < 2) {
LAB_00073418:
      if (in != 0) {
        memset(scratch,0,iVar1 * 4 - 4);
      }
      goto LAB_0007349b;
    }
    mVar5 = pmVar2[1];
    dp_00[1] = mVar5 + 1;
    if (mVar5 + 1 == 0) {
      if (iVar1 == 2) goto LAB_00073418;
      mVar5 = pmVar2[2] + 1;
      dp_00[2] = mVar5;
      iVar4 = 3;
      while (mVar5 == 0) {
        if (iVar1 == iVar4) goto LAB_00073418;
        mVar5 = pmVar2[iVar4] + 1;
        dp_00[iVar4] = mVar5;
        iVar4 = iVar4 + 1;
      }
    }
    else {
      iVar4 = 2;
    }
    if ((pmVar2 != dp_00) && (iVar4 < iVar1)) {
      pmVar6 = pmVar2 + iVar4;
      pmVar7 = dp_00 + iVar4;
      do {
        mVar5 = *pmVar6;
        pmVar6 = pmVar6 + 1;
        *pmVar7 = mVar5;
        pmVar7 = pmVar7 + 1;
      } while (pmVar2 + iVar1 != pmVar6);
    }
  }
  else if ((pmVar2 != dp_00) && (1 < iVar1)) {
    pmVar6 = pmVar2 + 1;
    pmVar7 = dp_00;
    do {
      pmVar7 = pmVar7 + 1;
      mVar5 = *pmVar6;
      pmVar6 = pmVar6 + 1;
      *pmVar7 = mVar5;
    } while (pmVar6 != pmVar2 + iVar1);
  }
  __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);
  (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(scratch,scratch + 1,in);
LAB_0007349b:
  mVar5 = __gmpn_preinv_mu_divappr_q(qp,np,nn,dp,dn,scratch,in,scratch + in);
  return mVar5;
}



void __regparm2
__gmpn_mu_divappr_q(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,
                   int param_6,void *param_7)

{
  int iVar1;
  int *piVar2;
  int iVar3;
  int iVar4;
  int iVar5;
  int iVar6;
  int *piVar7;
  int *piVar8;
  int unaff_EBX;
  int *piVar9;
  undefined4 unaff_retaddr;
  
  entry(param_2,0x73359);
  iVar3 = param_4 - param_6;
  iVar1 = iVar3 + 1;
  if (iVar1 < param_6) {
    param_4 = param_4 - (param_6 - iVar1);
    iVar4 = (param_6 - iVar1) * 4;
    param_3 = param_3 + iVar4;
    param_5 = param_5 + iVar4;
    param_6 = iVar1;
  }
  iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);
  iVar1 = iVar4 + 1;
  iVar3 = iVar1 * 4;
  piVar9 = (int *)(iVar3 + (int)param_7);
  if (param_6 == iVar4) {
    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);
    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);
    *piVar9 = 1;
    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);
    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);
    goto LAB_0007349b;
  }
  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);
  iVar6 = *piVar2;
  *piVar9 = iVar6 + 1;
  if (iVar6 + 1 == 0) {
    if (iVar1 < 2) {
LAB_00073418:
      if (iVar4 != 0) {
        memset(param_7,0,iVar3 - 4);
      }
      goto LAB_0007349b;
    }
    iVar6 = piVar2[1];
    piVar9[1] = iVar6 + 1;
    if (iVar6 + 1 == 0) {
      if (iVar1 == 2) goto LAB_00073418;
      iVar5 = piVar2[2] + 1;
      piVar9[2] = iVar5;
      iVar6 = 3;
      while (iVar5 == 0) {
        if (iVar1 == iVar6) goto LAB_00073418;
        iVar5 = piVar2[iVar6] + 1;
        piVar9[iVar6] = iVar5;
        iVar6 = iVar6 + 1;
      }
    }
    else {
      iVar6 = 2;
    }
    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {
      piVar7 = piVar2 + iVar6;
      piVar8 = piVar9 + iVar6;
      do {
        iVar6 = *piVar7;
        piVar7 = piVar7 + 1;
        *piVar8 = iVar6;
        piVar8 = piVar8 + 1;
      } while (piVar2 + iVar1 != piVar7);
    }
  }
  else if ((piVar2 != piVar9) && (1 < iVar1)) {
    piVar7 = piVar2 + 1;
    piVar8 = piVar9;
    do {
      piVar8 = piVar8 + 1;
      iVar6 = *piVar7;
      piVar7 = piVar7 + 1;
      *piVar8 = iVar6;
    } while (piVar7 != piVar2 + iVar1);
  }
  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);
  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);
LAB_0007349b:
  __gmpn_preinv_mu_divappr_q
            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);
  return;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
CALL 0x0001c340
ADD EBX,0x2aca7
SUB ESP,0x1c
MOV ESI,dword ptr [ESP + 0x40]
MOV EAX,dword ptr [ESP + 0x38]
SUB EAX,ESI
LEA EDX,[EAX + 0x1]
CMP EDX,ESI
JGE 0x0007338a
SUB ESI,EDX
SUB dword ptr [ESP + 0x38],ESI
LEA ECX,[ESI*0x4 + 0x0]
ADD dword ptr [ESP + 0x34],ECX
MOV ESI,EDX
ADD dword ptr [ESP + 0x3c],ECX
SUB ESP,0x4
PUSH 0x0
PUSH ESI
PUSH EAX
CALL 0x0001b5e0
LEA EBP,[EAX + 0x1]
MOV dword ptr [ESP + 0x14],EAX
LEA EDI,[EBP*0x4 + 0x0]
MOV dword ptr [ESP + 0x18],EDI
ADD EDI,dword ptr [ESP + 0x54]
ADD ESP,0x10
CMP ESI,EAX
JZ 0x000734d0
MOV EDX,dword ptr [ESP + 0x3c]
MOV EAX,ESI
SUB EAX,dword ptr [ESP + 0x4]
LEA EDX,[EDX + EAX*0x4 + -0x4]
MOV EAX,dword ptr [EDX]
ADD EAX,0x1
MOV dword ptr [EDI],EAX
JNZ 0x00073430
CMP EBP,0x1
JLE 0x00073418
MOV EAX,dword ptr [EDX + 0x4]
ADD EAX,0x1
MOV dword ptr [EDI + 0x4],EAX
JNZ 0x00073527
CMP EBP,0x2
JZ 0x00073418
MOV EAX,dword ptr [EDX + 0x8]
ADD EAX,0x1
MOV dword ptr [EDI + 0x8],EAX
MOV EAX,0x3
JZ 0x00073414
JMP 0x00073530
MOV ECX,dword ptr [EDX + EAX*0x4]
ADD ECX,0x1
MOV dword ptr [EDI + EAX*0x4],ECX
ADD EAX,0x1
TEST ECX,ECX
JNZ 0x00073530
CMP EBP,EAX
JNZ 0x00073400
MOV EAX,dword ptr [ESP + 0x4]
TEST EAX,EAX
JNZ 0x00073568
MOV EAX,dword ptr [ESP + 0x8]
LEA EDI,[EAX + -0x4]
JMP 0x0007349b
CMP EDX,EDI
JZ 0x00073463
CMP EBP,0x1
JLE 0x00073463
MOV dword ptr [ESP + 0x40],ESI
LEA EAX,[EDX + 0x4]
LEA ECX,[EDI + 0x4]
ADD EDX,dword ptr [ESP + 0x8]
LEA ESI,[ESI]
NOP
MOV ESI,dword ptr [EAX]
ADD EAX,0x4
ADD ECX,0x4
MOV dword ptr [ECX + -0x4],ESI
CMP EAX,EDX
JNZ 0x00073450
MOV ESI,dword ptr [ESP + 0x40]
MOV EAX,dword ptr [ESP + 0x8]
ADD EAX,EDI
PUSH EAX
PUSH EBP
PUSH EDI
PUSH dword ptr [ESP + 0x50]
CALL 0x0001bf30
ADD ESP,0xc
PUSH dword ptr [ESP + 0x8]
MOV EDX,dword ptr [ESP + 0x4c]
LEA EAX,[EDX + 0x4]
PUSH EAX
MOV EAX,dword ptr [EBX + 0xfffffd94]
PUSH dword ptr [ESP + 0x50]
CALL dword ptr [EAX + 0x28]
MOV EAX,dword ptr [ESP + 0x18]
ADD ESP,0x10
LEA EDI,[EAX + -0x4]
ADD EDI,dword ptr [ESP + 0x44]
PUSH EDI
PUSH dword ptr [ESP + 0x8]
PUSH dword ptr [ESP + 0x4c]
PUSH ESI
PUSH dword ptr [ESP + 0x4c]
PUSH dword ptr [ESP + 0x4c]
PUSH dword ptr [ESP + 0x4c]
PUSH dword ptr [ESP + 0x4c]
CALL 0x0001bb90
ADD ESP,0x3c
POP EBX
POP ESI
POP EDI
POP EBP
RET
SUB ESP,0x4
LEA EAX,[EDI + 0x4]
MOV EDX,dword ptr [EBX + 0xfffffd94]
PUSH ESI
PUSH dword ptr [ESP + 0x44]
PUSH EAX
MOV dword ptr [ESP + 0x1c],EDX
CALL dword ptr [EDX + 0x28]
MOV EAX,dword ptr [ESP + 0x18]
MOV dword ptr [EDI],0x1
ADD EAX,EDI
PUSH EAX
PUSH EBP
PUSH EDI
PUSH dword ptr [ESP + 0x60]
CALL 0x0001bf30
ADD ESP,0x1c
PUSH ESI
MOV EDX,dword ptr [ESP + 0x4c]
LEA EAX,[EDX + 0x4]
PUSH EAX
PUSH dword ptr [ESP + 0x50]
MOV EDX,dword ptr [ESP + 0x1c]
CALL dword ptr [EDX + 0x28]
MOV EAX,dword ptr [ESP + 0x18]
ADD ESP,0x10
LEA EDI,[EAX + -0x4]
JMP 0x0007349b
MOV EAX,0x2
LEA ESI,[ESI]
CMP EDX,EDI
JZ 0x00073463
CMP EBP,EAX
JLE 0x00073463
MOV dword ptr [ESP + 0x40],ESI
SHL EAX,0x2
LEA ECX,[EDX + EAX*0x1]
ADD EAX,EDI
ADD EDX,dword ptr [ESP + 0x8]
MOV ESI,dword ptr [ECX]
ADD ECX,0x4
ADD EAX,0x4
MOV dword ptr [EAX + -0x4],ESI
CMP EDX,ECX
JNZ 0x00073550
JMP 0x0007345f
MOV EDI,dword ptr [ESP + 0x8]
SUB ESP,0x4
SUB EDI,0x4
PUSH EDI
PUSH 0x0
PUSH dword ptr [ESP + 0x50]
CALL 0x0001bb20
ADD ESP,0x10
JMP 0x0007349b
(translation_unit "void __regparm2\n__gmpn_mu_divappr_q(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  int *piVar7;\n  int *piVar8;\n  int unaff_EBX;\n  int *piVar9;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x73359);\n  iVar3 = param_4 - param_6;\n  iVar1 = iVar3 + 1;\n  if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }\n  iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);\n  iVar1 = iVar4 + 1;\n  iVar3 = iVar1 * 4;\n  piVar9 = (int *)(iVar3 + (int)param_7);\n  if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }\n  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);\n  iVar6 = *piVar2;\n  *piVar9 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }\n  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);\nLAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);\n  return;\n}\n\n" (function_definition "void __regparm2\n__gmpn_mu_divappr_q(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  int *piVar7;\n  int *piVar8;\n  int unaff_EBX;\n  int *piVar9;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x73359);\n  iVar3 = param_4 - param_6;\n  iVar1 = iVar3 + 1;\n  if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }\n  iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);\n  iVar1 = iVar4 + 1;\n  iVar3 = iVar1 * 4;\n  piVar9 = (int *)(iVar3 + (int)param_7);\n  if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }\n  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);\n  iVar6 = *piVar2;\n  *piVar9 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }\n  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);\nLAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);\n  return;\n}" primitive_type (ERROR "__regparm2" identifier) (function_declarator "__gmpn_mu_divappr_q(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "int param_3" primitive_type identifier) , (parameter_declaration "int param_4" primitive_type identifier) , (parameter_declaration "int param_5" primitive_type identifier) , (parameter_declaration "int param_6" primitive_type identifier) , (parameter_declaration "void *param_7" primitive_type (pointer_declarator "*param_7" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  int *piVar7;\n  int *piVar8;\n  int unaff_EBX;\n  int *piVar9;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x73359);\n  iVar3 = param_4 - param_6;\n  iVar1 = iVar3 + 1;\n  if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }\n  iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);\n  iVar1 = iVar4 + 1;\n  iVar3 = iVar1 * 4;\n  piVar9 = (int *)(iVar3 + (int)param_7);\n  if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }\n  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);\n  iVar6 = *piVar2;\n  *piVar9 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }\n  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);\nLAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);\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 iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int *piVar7;" primitive_type (pointer_declarator "*piVar7" * identifier) ;) (declaration "int *piVar8;" primitive_type (pointer_declarator "*piVar8" * identifier) ;) (declaration "int unaff_EBX;" primitive_type identifier ;) (declaration "int *piVar9;" primitive_type (pointer_declarator "*piVar9" * identifier) ;) (declaration "undefined4 unaff_retaddr;" type_identifier identifier ;) (expression_statement "entry(param_2,0x73359);" (call_expression "entry(param_2,0x73359)" identifier (argument_list "(param_2,0x73359)" ( identifier , number_literal ))) ;) (expression_statement "iVar3 = param_4 - param_6;" (assignment_expression "iVar3 = param_4 - param_6" identifier = (binary_expression "param_4 - param_6" identifier - identifier)) ;) (expression_statement "iVar1 = iVar3 + 1;" (assignment_expression "iVar1 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (if_statement "if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }" if (parenthesized_expression "(iVar1 < param_6)" ( (binary_expression "iVar1 < param_6" identifier < identifier) )) (compound_statement "{\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }" { (expression_statement "param_4 = param_4 - (param_6 - iVar1);" (assignment_expression "param_4 = param_4 - (param_6 - iVar1)" identifier = (binary_expression "param_4 - (param_6 - iVar1)" identifier - (parenthesized_expression "(param_6 - iVar1)" ( (binary_expression "param_6 - iVar1" identifier - identifier) )))) ;) (expression_statement "iVar4 = (param_6 - iVar1) * 4;" (assignment_expression "iVar4 = (param_6 - iVar1) * 4" identifier = (binary_expression "(param_6 - iVar1) * 4" (parenthesized_expression "(param_6 - iVar1)" ( (binary_expression "param_6 - iVar1" identifier - identifier) )) * number_literal)) ;) (expression_statement "param_3 = param_3 + iVar4;" (assignment_expression "param_3 = param_3 + iVar4" identifier = (binary_expression "param_3 + iVar4" identifier + identifier)) ;) (expression_statement "param_5 = param_5 + iVar4;" (assignment_expression "param_5 = param_5 + iVar4" identifier = (binary_expression "param_5 + iVar4" identifier + identifier)) ;) (expression_statement "param_6 = iVar1;" (assignment_expression "param_6 = iVar1" identifier = identifier) ;) })) (expression_statement "iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);" (assignment_expression "iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0)" identifier = (call_expression "__gmpn_mu_divappr_q_choose_in(iVar3,param_6,0)" identifier (argument_list "(iVar3,param_6,0)" ( identifier , identifier , number_literal )))) ;) (expression_statement "iVar1 = iVar4 + 1;" (assignment_expression "iVar1 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "iVar3 = iVar1 * 4;" (assignment_expression "iVar3 = iVar1 * 4" identifier = (binary_expression "iVar1 * 4" identifier * number_literal)) ;) (expression_statement "piVar9 = (int *)(iVar3 + (int)param_7);" (assignment_expression "piVar9 = (int *)(iVar3 + (int)param_7)" identifier = (cast_expression "(int *)(iVar3 + (int)param_7)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar3 + (int)param_7)" ( (binary_expression "iVar3 + (int)param_7" identifier + (cast_expression "(int)param_7" ( (type_descriptor "int" primitive_type) ) identifier)) )))) ;) (if_statement "if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }" if (parenthesized_expression "(param_6 == iVar4)" ( (binary_expression "param_6 == iVar4" identifier == identifier) )) (compound_statement "{\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }" { (expression_statement "iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);" (assignment_expression "iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX)" identifier = (pointer_expression "*(int *)(&DAT_0002aa3b + unaff_EBX)" * (cast_expression "(int *)(&DAT_0002aa3b + unaff_EBX)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_0002aa3b + unaff_EBX)" ( (binary_expression "&DAT_0002aa3b + unaff_EBX" (pointer_expression "&DAT_0002aa3b" & identifier) + identifier) ))))) ;) (expression_statement "(**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);" (call_expression "(**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6)" (parenthesized_expression "(**(code **)(iVar6 + 0x28))" ( (pointer_expression "**(code **)(iVar6 + 0x28)" * (pointer_expression "*(code **)(iVar6 + 0x28)" * (cast_expression "(code **)(iVar6 + 0x28)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(iVar6 + 0x28)" ( (binary_expression "iVar6 + 0x28" identifier + number_literal) ))))) )) (argument_list "(piVar9 + 1,param_5,param_6)" ( (binary_expression "piVar9 + 1" identifier + number_literal) , identifier , identifier ))) ;) (expression_statement "*piVar9 = 1;" (assignment_expression "*piVar9 = 1" (pointer_expression "*piVar9" * identifier) = number_literal) ;) (expression_statement "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);" (call_expression "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1)" identifier (argument_list "(param_7,piVar9,iVar1,piVar9 + iVar1)" ( identifier , identifier , identifier , (binary_expression "piVar9 + iVar1" identifier + identifier) ))) ;) (expression_statement "(**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);" (call_expression "(**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6)" (parenthesized_expression "(**(code **)(iVar6 + 0x28))" ( (pointer_expression "**(code **)(iVar6 + 0x28)" * (pointer_expression "*(code **)(iVar6 + 0x28)" * (cast_expression "(code **)(iVar6 + 0x28)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(iVar6 + 0x28)" ( (binary_expression "iVar6 + 0x28" identifier + number_literal) ))))) )) (argument_list "(param_7,(int)param_7 + 4,param_6)" ( identifier , (binary_expression "(int)param_7 + 4" (cast_expression "(int)param_7" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) , identifier ))) ;) (goto_statement "goto LAB_0007349b;" goto statement_identifier ;) })) (expression_statement "piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);" (assignment_expression "piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4)" identifier = (cast_expression "(int *)(param_5 + -4 + (param_6 - iVar4) * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_5 + -4 + (param_6 - iVar4) * 4)" ( (binary_expression "param_5 + -4 + (param_6 - iVar4) * 4" (binary_expression "param_5 + -4" identifier + number_literal) + (binary_expression "(param_6 - iVar4) * 4" (parenthesized_expression "(param_6 - iVar4)" ( (binary_expression "param_6 - iVar4" identifier - identifier) )) * number_literal)) )))) ;) (expression_statement "iVar6 = *piVar2;" (assignment_expression "iVar6 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (expression_statement "*piVar9 = iVar6 + 1;" (assignment_expression "*piVar9 = iVar6 + 1" (pointer_expression "*piVar9" * identifier) = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\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) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }" { (if_statement "if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }" if (parenthesized_expression "(iVar1 < 2)" ( (binary_expression "iVar1 < 2" identifier < number_literal) )) (compound_statement "{\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }" { (labeled_statement "LAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }" statement_identifier : (if_statement "if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }" if (parenthesized_expression "(iVar4 != 0)" ( (binary_expression "iVar4 != 0" identifier != number_literal) )) (compound_statement "{\n        memset(param_7,0,iVar3 - 4);\n      }" { (expression_statement "memset(param_7,0,iVar3 - 4);" (call_expression "memset(param_7,0,iVar3 - 4)" identifier (argument_list "(param_7,0,iVar3 - 4)" ( identifier , number_literal , (binary_expression "iVar3 - 4" identifier - number_literal) ))) ;) }))) (goto_statement "goto LAB_0007349b;" goto statement_identifier ;) })) (expression_statement "iVar6 = piVar2[1];" (assignment_expression "iVar6 = piVar2[1]" identifier = (subscript_expression "piVar2[1]" identifier [ number_literal ])) ;) (expression_statement "piVar9[1] = iVar6 + 1;" (assignment_expression "piVar9[1] = iVar6 + 1" (subscript_expression "piVar9[1]" identifier [ number_literal ]) = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\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_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }" { (if_statement "if (iVar1 == 2) goto LAB_00073418;" if (parenthesized_expression "(iVar1 == 2)" ( (binary_expression "iVar1 == 2" identifier == number_literal) )) (goto_statement "goto LAB_00073418;" goto statement_identifier ;)) (expression_statement "iVar5 = piVar2[2] + 1;" (assignment_expression "iVar5 = piVar2[2] + 1" identifier = (binary_expression "piVar2[2] + 1" (subscript_expression "piVar2[2]" identifier [ number_literal ]) + number_literal)) ;) (expression_statement "piVar9[2] = iVar5;" (assignment_expression "piVar9[2] = iVar5" (subscript_expression "piVar9[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "iVar6 = 3;" (assignment_expression "iVar6 = 3" identifier = number_literal) ;) (while_statement "while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }" while (parenthesized_expression "(iVar5 == 0)" ( (binary_expression "iVar5 == 0" identifier == number_literal) )) (compound_statement "{\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }" { (if_statement "if (iVar1 == iVar6) goto LAB_00073418;" if (parenthesized_expression "(iVar1 == iVar6)" ( (binary_expression "iVar1 == iVar6" identifier == identifier) )) (goto_statement "goto LAB_00073418;" goto statement_identifier ;)) (expression_statement "iVar5 = piVar2[iVar6] + 1;" (assignment_expression "iVar5 = piVar2[iVar6] + 1" identifier = (binary_expression "piVar2[iVar6] + 1" (subscript_expression "piVar2[iVar6]" identifier [ identifier ]) + number_literal)) ;) (expression_statement "piVar9[iVar6] = iVar5;" (assignment_expression "piVar9[iVar6] = iVar5" (subscript_expression "piVar9[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 ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }" if (parenthesized_expression "((piVar2 != piVar9) && (iVar6 < iVar1))" ( (binary_expression "(piVar2 != piVar9) && (iVar6 < iVar1)" (parenthesized_expression "(piVar2 != piVar9)" ( (binary_expression "piVar2 != piVar9" identifier != identifier) )) && (parenthesized_expression "(iVar6 < iVar1)" ( (binary_expression "iVar6 < iVar1" identifier < identifier) ))) )) (compound_statement "{\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }" { (expression_statement "piVar7 = piVar2 + iVar6;" (assignment_expression "piVar7 = piVar2 + iVar6" identifier = (binary_expression "piVar2 + iVar6" identifier + identifier)) ;) (expression_statement "piVar8 = piVar9 + iVar6;" (assignment_expression "piVar8 = piVar9 + iVar6" identifier = (binary_expression "piVar9 + iVar6" identifier + identifier)) ;) (do_statement "do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);" do (compound_statement "{\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      }" { (expression_statement "iVar6 = *piVar7;" (assignment_expression "iVar6 = *piVar7" identifier = (pointer_expression "*piVar7" * identifier)) ;) (expression_statement "piVar7 = piVar7 + 1;" (assignment_expression "piVar7 = piVar7 + 1" identifier = (binary_expression "piVar7 + 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 != piVar7)" ( (binary_expression "piVar2 + iVar1 != piVar7" (binary_expression "piVar2 + iVar1" identifier + identifier) != identifier) )) ;) })) }) (else_clause "else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }" else (if_statement "if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }" if (parenthesized_expression "((piVar2 != piVar9) && (1 < iVar1))" ( (binary_expression "(piVar2 != piVar9) && (1 < iVar1)" (parenthesized_expression "(piVar2 != piVar9)" ( (binary_expression "piVar2 != piVar9" identifier != identifier) )) && (parenthesized_expression "(1 < iVar1)" ( (binary_expression "1 < iVar1" number_literal < identifier) ))) )) (compound_statement "{\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }" { (expression_statement "piVar7 = piVar2 + 1;" (assignment_expression "piVar7 = piVar2 + 1" identifier = (binary_expression "piVar2 + 1" identifier + number_literal)) ;) (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" identifier = identifier) ;) (do_statement "do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);" do (compound_statement "{\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 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 = *piVar7;" (assignment_expression "iVar6 = *piVar7" identifier = (pointer_expression "*piVar7" * identifier)) ;) (expression_statement "piVar7 = piVar7 + 1;" (assignment_expression "piVar7 = piVar7 + 1" identifier = (binary_expression "piVar7 + 1" identifier + number_literal)) ;) (expression_statement "*piVar8 = iVar6;" (assignment_expression "*piVar8 = iVar6" (pointer_expression "*piVar8" * identifier) = identifier) ;) }) while (parenthesized_expression "(piVar7 != piVar2 + iVar1)" ( (binary_expression "piVar7 != piVar2 + iVar1" identifier != (binary_expression "piVar2 + iVar1" identifier + identifier)) )) ;) })))) (expression_statement "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);" (call_expression "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1)" identifier (argument_list "(param_7,piVar9,iVar1,piVar9 + iVar1)" ( identifier , identifier , identifier , (binary_expression "piVar9 + iVar1" identifier + identifier) ))) ;) (expression_statement "(**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);" (call_expression "(**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4)" (parenthesized_expression "(**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))" ( (pointer_expression "**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" * (pointer_expression "*(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" * (cast_expression "(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" ( (binary_expression "*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28" (pointer_expression "*(int *)(&DAT_0002aa3b + unaff_EBX)" * (cast_expression "(int *)(&DAT_0002aa3b + unaff_EBX)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_0002aa3b + unaff_EBX)" ( (binary_expression "&DAT_0002aa3b + unaff_EBX" (pointer_expression "&DAT_0002aa3b" & identifier) + identifier) )))) + number_literal) ))))) )) (argument_list "(param_7,(int)param_7 + 4,iVar4)" ( identifier , (binary_expression "(int)param_7 + 4" (cast_expression "(int)param_7" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) , identifier ))) ;) (labeled_statement "LAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);" statement_identifier : (expression_statement "__gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);" (call_expression "__gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7)" identifier (argument_list "(unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7)" ( identifier , identifier , identifier , identifier , identifier , identifier , identifier , (binary_expression "iVar3 + -4 + (int)param_7" (binary_expression "iVar3 + -4" identifier + number_literal) + (cast_expression "(int)param_7" ( (type_descriptor "int" primitive_type) ) identifier)) ))) ;)) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nmp_limb_t __gmpn_mu_divappr_q(mp_ptr qp,mp_srcptr np,mp_size_t nn,mp_srcptr dp,mp_size_t dn,\n                             mp_ptr scratch)\n\n{\n  int iVar1;\n  mp_srcptr pmVar2;\n  undefined *puVar3;\n  int iVar4;\n  mp_size_t in;\n  mp_limb_t mVar5;\n  mp_srcptr pmVar6;\n  mp_limb_t *pmVar7;\n  int iVar8;\n  mp_srcptr dp_00;\n  \n  iVar4 = nn - dn;\n  iVar1 = iVar4 + 1;\n  if (iVar1 < dn) {\n    iVar8 = dn - iVar1;\n    nn = nn - iVar8;\n    np = np + iVar8;\n    dp = dp + iVar8;\n    dn = iVar1;\n  }\n  in = __gmpn_mu_divappr_q_choose_in(iVar4,dn,0);\n  puVar3 = PTR___gmpn_cpuvec_0009dd94;\n  iVar1 = in + 1;\n  dp_00 = scratch + iVar1;\n  if (dn == in) {\n    (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(dp_00 + 1,dp,dn);\n    *dp_00 = 1;\n    __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);\n    (**(code **)(puVar3 + 0x28))(scratch,scratch + 1,dn);\n    goto LAB_0007349b;\n  }\n  pmVar2 = dp + (dn - in) + -1;\n  mVar5 = *pmVar2;\n  *dp_00 = mVar5 + 1;\n  if (mVar5 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (in != 0) {\n        memset(scratch,0,iVar1 * 4 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    mVar5 = pmVar2[1];\n    dp_00[1] = mVar5 + 1;\n    if (mVar5 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      mVar5 = pmVar2[2] + 1;\n      dp_00[2] = mVar5;\n      iVar4 = 3;\n      while (mVar5 == 0) {\n        if (iVar1 == iVar4) goto LAB_00073418;\n        mVar5 = pmVar2[iVar4] + 1;\n        dp_00[iVar4] = mVar5;\n        iVar4 = iVar4 + 1;\n      }\n    }\n    else {\n      iVar4 = 2;\n    }\n    if ((pmVar2 != dp_00) && (iVar4 < iVar1)) {\n      pmVar6 = pmVar2 + iVar4;\n      pmVar7 = dp_00 + iVar4;\n      do {\n        mVar5 = *pmVar6;\n        pmVar6 = pmVar6 + 1;\n        *pmVar7 = mVar5;\n        pmVar7 = pmVar7 + 1;\n      } while (pmVar2 + iVar1 != pmVar6);\n    }\n  }\n  else if ((pmVar2 != dp_00) && (1 < iVar1)) {\n    pmVar6 = pmVar2 + 1;\n    pmVar7 = dp_00;\n    do {\n      pmVar7 = pmVar7 + 1;\n      mVar5 = *pmVar6;\n      pmVar6 = pmVar6 + 1;\n      *pmVar7 = mVar5;\n    } while (pmVar6 != pmVar2 + iVar1);\n  }\n  __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);\n  (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(scratch,scratch + 1,in);\nLAB_0007349b:\n  mVar5 = __gmpn_preinv_mu_divappr_q(qp,np,nn,dp,dn,scratch,in,scratch + in);\n  return mVar5;\n}\n\n" comment (function_definition "mp_limb_t __gmpn_mu_divappr_q(mp_ptr qp,mp_srcptr np,mp_size_t nn,mp_srcptr dp,mp_size_t dn,\n                             mp_ptr scratch)\n\n{\n  int iVar1;\n  mp_srcptr pmVar2;\n  undefined *puVar3;\n  int iVar4;\n  mp_size_t in;\n  mp_limb_t mVar5;\n  mp_srcptr pmVar6;\n  mp_limb_t *pmVar7;\n  int iVar8;\n  mp_srcptr dp_00;\n  \n  iVar4 = nn - dn;\n  iVar1 = iVar4 + 1;\n  if (iVar1 < dn) {\n    iVar8 = dn - iVar1;\n    nn = nn - iVar8;\n    np = np + iVar8;\n    dp = dp + iVar8;\n    dn = iVar1;\n  }\n  in = __gmpn_mu_divappr_q_choose_in(iVar4,dn,0);\n  puVar3 = PTR___gmpn_cpuvec_0009dd94;\n  iVar1 = in + 1;\n  dp_00 = scratch + iVar1;\n  if (dn == in) {\n    (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(dp_00 + 1,dp,dn);\n    *dp_00 = 1;\n    __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);\n    (**(code **)(puVar3 + 0x28))(scratch,scratch + 1,dn);\n    goto LAB_0007349b;\n  }\n  pmVar2 = dp + (dn - in) + -1;\n  mVar5 = *pmVar2;\n  *dp_00 = mVar5 + 1;\n  if (mVar5 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (in != 0) {\n        memset(scratch,0,iVar1 * 4 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    mVar5 = pmVar2[1];\n    dp_00[1] = mVar5 + 1;\n    if (mVar5 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      mVar5 = pmVar2[2] + 1;\n      dp_00[2] = mVar5;\n      iVar4 = 3;\n      while (mVar5 == 0) {\n        if (iVar1 == iVar4) goto LAB_00073418;\n        mVar5 = pmVar2[iVar4] + 1;\n        dp_00[iVar4] = mVar5;\n        iVar4 = iVar4 + 1;\n      }\n    }\n    else {\n      iVar4 = 2;\n    }\n    if ((pmVar2 != dp_00) && (iVar4 < iVar1)) {\n      pmVar6 = pmVar2 + iVar4;\n      pmVar7 = dp_00 + iVar4;\n      do {\n        mVar5 = *pmVar6;\n        pmVar6 = pmVar6 + 1;\n        *pmVar7 = mVar5;\n        pmVar7 = pmVar7 + 1;\n      } while (pmVar2 + iVar1 != pmVar6);\n    }\n  }\n  else if ((pmVar2 != dp_00) && (1 < iVar1)) {\n    pmVar6 = pmVar2 + 1;\n    pmVar7 = dp_00;\n    do {\n      pmVar7 = pmVar7 + 1;\n      mVar5 = *pmVar6;\n      pmVar6 = pmVar6 + 1;\n      *pmVar7 = mVar5;\n    } while (pmVar6 != pmVar2 + iVar1);\n  }\n  __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);\n  (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(scratch,scratch + 1,in);\nLAB_0007349b:\n  mVar5 = __gmpn_preinv_mu_divappr_q(qp,np,nn,dp,dn,scratch,in,scratch + in);\n  return mVar5;\n}" type_identifier (function_declarator "__gmpn_mu_divappr_q(mp_ptr qp,mp_srcptr np,mp_size_t nn,mp_srcptr dp,mp_size_t dn,\n                             mp_ptr scratch)" identifier (parameter_list "(mp_ptr qp,mp_srcptr np,mp_size_t nn,mp_srcptr dp,mp_size_t dn,\n                             mp_ptr scratch)" ( (parameter_declaration "mp_ptr qp" type_identifier identifier) , (parameter_declaration "mp_srcptr np" type_identifier identifier) , (parameter_declaration "mp_size_t nn" type_identifier identifier) , (parameter_declaration "mp_srcptr dp" type_identifier identifier) , (parameter_declaration "mp_size_t dn" type_identifier identifier) , (parameter_declaration "mp_ptr scratch" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  mp_srcptr pmVar2;\n  undefined *puVar3;\n  int iVar4;\n  mp_size_t in;\n  mp_limb_t mVar5;\n  mp_srcptr pmVar6;\n  mp_limb_t *pmVar7;\n  int iVar8;\n  mp_srcptr dp_00;\n  \n  iVar4 = nn - dn;\n  iVar1 = iVar4 + 1;\n  if (iVar1 < dn) {\n    iVar8 = dn - iVar1;\n    nn = nn - iVar8;\n    np = np + iVar8;\n    dp = dp + iVar8;\n    dn = iVar1;\n  }\n  in = __gmpn_mu_divappr_q_choose_in(iVar4,dn,0);\n  puVar3 = PTR___gmpn_cpuvec_0009dd94;\n  iVar1 = in + 1;\n  dp_00 = scratch + iVar1;\n  if (dn == in) {\n    (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(dp_00 + 1,dp,dn);\n    *dp_00 = 1;\n    __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);\n    (**(code **)(puVar3 + 0x28))(scratch,scratch + 1,dn);\n    goto LAB_0007349b;\n  }\n  pmVar2 = dp + (dn - in) + -1;\n  mVar5 = *pmVar2;\n  *dp_00 = mVar5 + 1;\n  if (mVar5 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (in != 0) {\n        memset(scratch,0,iVar1 * 4 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    mVar5 = pmVar2[1];\n    dp_00[1] = mVar5 + 1;\n    if (mVar5 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      mVar5 = pmVar2[2] + 1;\n      dp_00[2] = mVar5;\n      iVar4 = 3;\n      while (mVar5 == 0) {\n        if (iVar1 == iVar4) goto LAB_00073418;\n        mVar5 = pmVar2[iVar4] + 1;\n        dp_00[iVar4] = mVar5;\n        iVar4 = iVar4 + 1;\n      }\n    }\n    else {\n      iVar4 = 2;\n    }\n    if ((pmVar2 != dp_00) && (iVar4 < iVar1)) {\n      pmVar6 = pmVar2 + iVar4;\n      pmVar7 = dp_00 + iVar4;\n      do {\n        mVar5 = *pmVar6;\n        pmVar6 = pmVar6 + 1;\n        *pmVar7 = mVar5;\n        pmVar7 = pmVar7 + 1;\n      } while (pmVar2 + iVar1 != pmVar6);\n    }\n  }\n  else if ((pmVar2 != dp_00) && (1 < iVar1)) {\n    pmVar6 = pmVar2 + 1;\n    pmVar7 = dp_00;\n    do {\n      pmVar7 = pmVar7 + 1;\n      mVar5 = *pmVar6;\n      pmVar6 = pmVar6 + 1;\n      *pmVar7 = mVar5;\n    } while (pmVar6 != pmVar2 + iVar1);\n  }\n  __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);\n  (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(scratch,scratch + 1,in);\nLAB_0007349b:\n  mVar5 = __gmpn_preinv_mu_divappr_q(qp,np,nn,dp,dn,scratch,in,scratch + in);\n  return mVar5;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "mp_srcptr pmVar2;" type_identifier identifier ;) (declaration "undefined *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "mp_size_t in;" type_identifier identifier ;) (declaration "mp_limb_t mVar5;" type_identifier identifier ;) (declaration "mp_srcptr pmVar6;" type_identifier identifier ;) (declaration "mp_limb_t *pmVar7;" type_identifier (pointer_declarator "*pmVar7" * identifier) ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "mp_srcptr dp_00;" type_identifier identifier ;) (expression_statement "iVar4 = nn - dn;" (assignment_expression "iVar4 = nn - dn" identifier = (binary_expression "nn - dn" identifier - identifier)) ;) (expression_statement "iVar1 = iVar4 + 1;" (assignment_expression "iVar1 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (if_statement "if (iVar1 < dn) {\n    iVar8 = dn - iVar1;\n    nn = nn - iVar8;\n    np = np + iVar8;\n    dp = dp + iVar8;\n    dn = iVar1;\n  }" if (parenthesized_expression "(iVar1 < dn)" ( (binary_expression "iVar1 < dn" identifier < identifier) )) (compound_statement "{\n    iVar8 = dn - iVar1;\n    nn = nn - iVar8;\n    np = np + iVar8;\n    dp = dp + iVar8;\n    dn = iVar1;\n  }" { (expression_statement "iVar8 = dn - iVar1;" (assignment_expression "iVar8 = dn - iVar1" identifier = (binary_expression "dn - iVar1" identifier - identifier)) ;) (expression_statement "nn = nn - iVar8;" (assignment_expression "nn = nn - iVar8" identifier = (binary_expression "nn - iVar8" identifier - identifier)) ;) (expression_statement "np = np + iVar8;" (assignment_expression "np = np + iVar8" identifier = (binary_expression "np + iVar8" identifier + identifier)) ;) (expression_statement "dp = dp + iVar8;" (assignment_expression "dp = dp + iVar8" identifier = (binary_expression "dp + iVar8" identifier + identifier)) ;) (expression_statement "dn = iVar1;" (assignment_expression "dn = iVar1" identifier = identifier) ;) })) (expression_statement "in = __gmpn_mu_divappr_q_choose_in(iVar4,dn,0);" (assignment_expression "in = __gmpn_mu_divappr_q_choose_in(iVar4,dn,0)" identifier = (call_expression "__gmpn_mu_divappr_q_choose_in(iVar4,dn,0)" identifier (argument_list "(iVar4,dn,0)" ( identifier , identifier , number_literal )))) ;) (expression_statement "puVar3 = PTR___gmpn_cpuvec_0009dd94;" (assignment_expression "puVar3 = PTR___gmpn_cpuvec_0009dd94" identifier = identifier) ;) (expression_statement "iVar1 = in + 1;" (assignment_expression "iVar1 = in + 1" identifier = (binary_expression "in + 1" identifier + number_literal)) ;) (expression_statement "dp_00 = scratch + iVar1;" (assignment_expression "dp_00 = scratch + iVar1" identifier = (binary_expression "scratch + iVar1" identifier + identifier)) ;) (if_statement "if (dn == in) {\n    (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(dp_00 + 1,dp,dn);\n    *dp_00 = 1;\n    __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);\n    (**(code **)(puVar3 + 0x28))(scratch,scratch + 1,dn);\n    goto LAB_0007349b;\n  }" if (parenthesized_expression "(dn == in)" ( (binary_expression "dn == in" identifier == identifier) )) (compound_statement "{\n    (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(dp_00 + 1,dp,dn);\n    *dp_00 = 1;\n    __gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);\n    (**(code **)(puVar3 + 0x28))(scratch,scratch + 1,dn);\n    goto LAB_0007349b;\n  }" { (expression_statement "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(dp_00 + 1,dp,dn);" (call_expression "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(dp_00 + 1,dp,dn)" (parenthesized_expression "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))" ( (pointer_expression "**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28)" * (pointer_expression "*(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28)" * (cast_expression "(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR___gmpn_cpuvec_0009dd94 + 0x28)" ( (binary_expression "PTR___gmpn_cpuvec_0009dd94 + 0x28" identifier + number_literal) ))))) )) (argument_list "(dp_00 + 1,dp,dn)" ( (binary_expression "dp_00 + 1" identifier + number_literal) , identifier , identifier ))) ;) (expression_statement "*dp_00 = 1;" (assignment_expression "*dp_00 = 1" (pointer_expression "*dp_00" * identifier) = number_literal) ;) (expression_statement "__gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);" (call_expression "__gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1)" identifier (argument_list "(scratch,dp_00,iVar1,dp_00 + iVar1)" ( identifier , identifier , identifier , (binary_expression "dp_00 + iVar1" identifier + identifier) ))) ;) (expression_statement "(**(code **)(puVar3 + 0x28))(scratch,scratch + 1,dn);" (call_expression "(**(code **)(puVar3 + 0x28))(scratch,scratch + 1,dn)" (parenthesized_expression "(**(code **)(puVar3 + 0x28))" ( (pointer_expression "**(code **)(puVar3 + 0x28)" * (pointer_expression "*(code **)(puVar3 + 0x28)" * (cast_expression "(code **)(puVar3 + 0x28)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(puVar3 + 0x28)" ( (binary_expression "puVar3 + 0x28" identifier + number_literal) ))))) )) (argument_list "(scratch,scratch + 1,dn)" ( identifier , (binary_expression "scratch + 1" identifier + number_literal) , identifier ))) ;) (goto_statement "goto LAB_0007349b;" goto statement_identifier ;) })) (expression_statement "pmVar2 = dp + (dn - in) + -1;" (assignment_expression "pmVar2 = dp + (dn - in) + -1" identifier = (binary_expression "dp + (dn - in) + -1" (binary_expression "dp + (dn - in)" identifier + (parenthesized_expression "(dn - in)" ( (binary_expression "dn - in" identifier - identifier) ))) + number_literal)) ;) (expression_statement "mVar5 = *pmVar2;" (assignment_expression "mVar5 = *pmVar2" identifier = (pointer_expression "*pmVar2" * identifier)) ;) (expression_statement "*dp_00 = mVar5 + 1;" (assignment_expression "*dp_00 = mVar5 + 1" (pointer_expression "*dp_00" * identifier) = (binary_expression "mVar5 + 1" identifier + number_literal)) ;) (if_statement "if (mVar5 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (in != 0) {\n        memset(scratch,0,iVar1 * 4 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    mVar5 = pmVar2[1];\n    dp_00[1] = mVar5 + 1;\n    if (mVar5 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      mVar5 = pmVar2[2] + 1;\n      dp_00[2] = mVar5;\n      iVar4 = 3;\n      while (mVar5 == 0) {\n        if (iVar1 == iVar4) goto LAB_00073418;\n        mVar5 = pmVar2[iVar4] + 1;\n        dp_00[iVar4] = mVar5;\n        iVar4 = iVar4 + 1;\n      }\n    }\n    else {\n      iVar4 = 2;\n    }\n    if ((pmVar2 != dp_00) && (iVar4 < iVar1)) {\n      pmVar6 = pmVar2 + iVar4;\n      pmVar7 = dp_00 + iVar4;\n      do {\n        mVar5 = *pmVar6;\n        pmVar6 = pmVar6 + 1;\n        *pmVar7 = mVar5;\n        pmVar7 = pmVar7 + 1;\n      } while (pmVar2 + iVar1 != pmVar6);\n    }\n  }\n  else if ((pmVar2 != dp_00) && (1 < iVar1)) {\n    pmVar6 = pmVar2 + 1;\n    pmVar7 = dp_00;\n    do {\n      pmVar7 = pmVar7 + 1;\n      mVar5 = *pmVar6;\n      pmVar6 = pmVar6 + 1;\n      *pmVar7 = mVar5;\n    } while (pmVar6 != pmVar2 + iVar1);\n  }" if (parenthesized_expression "(mVar5 + 1 == 0)" ( (binary_expression "mVar5 + 1 == 0" (binary_expression "mVar5 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (in != 0) {\n        memset(scratch,0,iVar1 * 4 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    mVar5 = pmVar2[1];\n    dp_00[1] = mVar5 + 1;\n    if (mVar5 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      mVar5 = pmVar2[2] + 1;\n      dp_00[2] = mVar5;\n      iVar4 = 3;\n      while (mVar5 == 0) {\n        if (iVar1 == iVar4) goto LAB_00073418;\n        mVar5 = pmVar2[iVar4] + 1;\n        dp_00[iVar4] = mVar5;\n        iVar4 = iVar4 + 1;\n      }\n    }\n    else {\n      iVar4 = 2;\n    }\n    if ((pmVar2 != dp_00) && (iVar4 < iVar1)) {\n      pmVar6 = pmVar2 + iVar4;\n      pmVar7 = dp_00 + iVar4;\n      do {\n        mVar5 = *pmVar6;\n        pmVar6 = pmVar6 + 1;\n        *pmVar7 = mVar5;\n        pmVar7 = pmVar7 + 1;\n      } while (pmVar2 + iVar1 != pmVar6);\n    }\n  }" { (if_statement "if (iVar1 < 2) {\nLAB_00073418:\n      if (in != 0) {\n        memset(scratch,0,iVar1 * 4 - 4);\n      }\n      goto LAB_0007349b;\n    }" if (parenthesized_expression "(iVar1 < 2)" ( (binary_expression "iVar1 < 2" identifier < number_literal) )) (compound_statement "{\nLAB_00073418:\n      if (in != 0) {\n        memset(scratch,0,iVar1 * 4 - 4);\n      }\n      goto LAB_0007349b;\n    }" { (labeled_statement "LAB_00073418:\n      if (in != 0) {\n        memset(scratch,0,iVar1 * 4 - 4);\n      }" statement_identifier : (if_statement "if (in != 0) {\n        memset(scratch,0,iVar1 * 4 - 4);\n      }" if (parenthesized_expression "(in != 0)" ( (binary_expression "in != 0" identifier != number_literal) )) (compound_statement "{\n        memset(scratch,0,iVar1 * 4 - 4);\n      }" { (expression_statement "memset(scratch,0,iVar1 * 4 - 4);" (call_expression "memset(scratch,0,iVar1 * 4 - 4)" identifier (argument_list "(scratch,0,iVar1 * 4 - 4)" ( identifier , number_literal , (binary_expression "iVar1 * 4 - 4" (binary_expression "iVar1 * 4" identifier * number_literal) - number_literal) ))) ;) }))) (goto_statement "goto LAB_0007349b;" goto statement_identifier ;) })) (expression_statement "mVar5 = pmVar2[1];" (assignment_expression "mVar5 = pmVar2[1]" identifier = (subscript_expression "pmVar2[1]" identifier [ number_literal ])) ;) (expression_statement "dp_00[1] = mVar5 + 1;" (assignment_expression "dp_00[1] = mVar5 + 1" (subscript_expression "dp_00[1]" identifier [ number_literal ]) = (binary_expression "mVar5 + 1" identifier + number_literal)) ;) (if_statement "if (mVar5 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      mVar5 = pmVar2[2] + 1;\n      dp_00[2] = mVar5;\n      iVar4 = 3;\n      while (mVar5 == 0) {\n        if (iVar1 == iVar4) goto LAB_00073418;\n        mVar5 = pmVar2[iVar4] + 1;\n        dp_00[iVar4] = mVar5;\n        iVar4 = iVar4 + 1;\n      }\n    }\n    else {\n      iVar4 = 2;\n    }" if (parenthesized_expression "(mVar5 + 1 == 0)" ( (binary_expression "mVar5 + 1 == 0" (binary_expression "mVar5 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      if (iVar1 == 2) goto LAB_00073418;\n      mVar5 = pmVar2[2] + 1;\n      dp_00[2] = mVar5;\n      iVar4 = 3;\n      while (mVar5 == 0) {\n        if (iVar1 == iVar4) goto LAB_00073418;\n        mVar5 = pmVar2[iVar4] + 1;\n        dp_00[iVar4] = mVar5;\n        iVar4 = iVar4 + 1;\n      }\n    }" { (if_statement "if (iVar1 == 2) goto LAB_00073418;" if (parenthesized_expression "(iVar1 == 2)" ( (binary_expression "iVar1 == 2" identifier == number_literal) )) (goto_statement "goto LAB_00073418;" goto statement_identifier ;)) (expression_statement "mVar5 = pmVar2[2] + 1;" (assignment_expression "mVar5 = pmVar2[2] + 1" identifier = (binary_expression "pmVar2[2] + 1" (subscript_expression "pmVar2[2]" identifier [ number_literal ]) + number_literal)) ;) (expression_statement "dp_00[2] = mVar5;" (assignment_expression "dp_00[2] = mVar5" (subscript_expression "dp_00[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "iVar4 = 3;" (assignment_expression "iVar4 = 3" identifier = number_literal) ;) (while_statement "while (mVar5 == 0) {\n        if (iVar1 == iVar4) goto LAB_00073418;\n        mVar5 = pmVar2[iVar4] + 1;\n        dp_00[iVar4] = mVar5;\n        iVar4 = iVar4 + 1;\n      }" while (parenthesized_expression "(mVar5 == 0)" ( (binary_expression "mVar5 == 0" identifier == number_literal) )) (compound_statement "{\n        if (iVar1 == iVar4) goto LAB_00073418;\n        mVar5 = pmVar2[iVar4] + 1;\n        dp_00[iVar4] = mVar5;\n        iVar4 = iVar4 + 1;\n      }" { (if_statement "if (iVar1 == iVar4) goto LAB_00073418;" if (parenthesized_expression "(iVar1 == iVar4)" ( (binary_expression "iVar1 == iVar4" identifier == identifier) )) (goto_statement "goto LAB_00073418;" goto statement_identifier ;)) (expression_statement "mVar5 = pmVar2[iVar4] + 1;" (assignment_expression "mVar5 = pmVar2[iVar4] + 1" identifier = (binary_expression "pmVar2[iVar4] + 1" (subscript_expression "pmVar2[iVar4]" identifier [ identifier ]) + number_literal)) ;) (expression_statement "dp_00[iVar4] = mVar5;" (assignment_expression "dp_00[iVar4] = mVar5" (subscript_expression "dp_00[iVar4]" identifier [ identifier ]) = identifier) ;) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n      iVar4 = 2;\n    }" else (compound_statement "{\n      iVar4 = 2;\n    }" { (expression_statement "iVar4 = 2;" (assignment_expression "iVar4 = 2" identifier = number_literal) ;) }))) (if_statement "if ((pmVar2 != dp_00) && (iVar4 < iVar1)) {\n      pmVar6 = pmVar2 + iVar4;\n      pmVar7 = dp_00 + iVar4;\n      do {\n        mVar5 = *pmVar6;\n        pmVar6 = pmVar6 + 1;\n        *pmVar7 = mVar5;\n        pmVar7 = pmVar7 + 1;\n      } while (pmVar2 + iVar1 != pmVar6);\n    }" if (parenthesized_expression "((pmVar2 != dp_00) && (iVar4 < iVar1))" ( (binary_expression "(pmVar2 != dp_00) && (iVar4 < iVar1)" (parenthesized_expression "(pmVar2 != dp_00)" ( (binary_expression "pmVar2 != dp_00" identifier != identifier) )) && (parenthesized_expression "(iVar4 < iVar1)" ( (binary_expression "iVar4 < iVar1" identifier < identifier) ))) )) (compound_statement "{\n      pmVar6 = pmVar2 + iVar4;\n      pmVar7 = dp_00 + iVar4;\n      do {\n        mVar5 = *pmVar6;\n        pmVar6 = pmVar6 + 1;\n        *pmVar7 = mVar5;\n        pmVar7 = pmVar7 + 1;\n      } while (pmVar2 + iVar1 != pmVar6);\n    }" { (expression_statement "pmVar6 = pmVar2 + iVar4;" (assignment_expression "pmVar6 = pmVar2 + iVar4" identifier = (binary_expression "pmVar2 + iVar4" identifier + identifier)) ;) (expression_statement "pmVar7 = dp_00 + iVar4;" (assignment_expression "pmVar7 = dp_00 + iVar4" identifier = (binary_expression "dp_00 + iVar4" identifier + identifier)) ;) (do_statement "do {\n        mVar5 = *pmVar6;\n        pmVar6 = pmVar6 + 1;\n        *pmVar7 = mVar5;\n        pmVar7 = pmVar7 + 1;\n      } while (pmVar2 + iVar1 != pmVar6);" do (compound_statement "{\n        mVar5 = *pmVar6;\n        pmVar6 = pmVar6 + 1;\n        *pmVar7 = mVar5;\n        pmVar7 = pmVar7 + 1;\n      }" { (expression_statement "mVar5 = *pmVar6;" (assignment_expression "mVar5 = *pmVar6" identifier = (pointer_expression "*pmVar6" * identifier)) ;) (expression_statement "pmVar6 = pmVar6 + 1;" (assignment_expression "pmVar6 = pmVar6 + 1" identifier = (binary_expression "pmVar6 + 1" identifier + number_literal)) ;) (expression_statement "*pmVar7 = mVar5;" (assignment_expression "*pmVar7 = mVar5" (pointer_expression "*pmVar7" * identifier) = identifier) ;) (expression_statement "pmVar7 = pmVar7 + 1;" (assignment_expression "pmVar7 = pmVar7 + 1" identifier = (binary_expression "pmVar7 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(pmVar2 + iVar1 != pmVar6)" ( (binary_expression "pmVar2 + iVar1 != pmVar6" (binary_expression "pmVar2 + iVar1" identifier + identifier) != identifier) )) ;) })) }) (else_clause "else if ((pmVar2 != dp_00) && (1 < iVar1)) {\n    pmVar6 = pmVar2 + 1;\n    pmVar7 = dp_00;\n    do {\n      pmVar7 = pmVar7 + 1;\n      mVar5 = *pmVar6;\n      pmVar6 = pmVar6 + 1;\n      *pmVar7 = mVar5;\n    } while (pmVar6 != pmVar2 + iVar1);\n  }" else (if_statement "if ((pmVar2 != dp_00) && (1 < iVar1)) {\n    pmVar6 = pmVar2 + 1;\n    pmVar7 = dp_00;\n    do {\n      pmVar7 = pmVar7 + 1;\n      mVar5 = *pmVar6;\n      pmVar6 = pmVar6 + 1;\n      *pmVar7 = mVar5;\n    } while (pmVar6 != pmVar2 + iVar1);\n  }" if (parenthesized_expression "((pmVar2 != dp_00) && (1 < iVar1))" ( (binary_expression "(pmVar2 != dp_00) && (1 < iVar1)" (parenthesized_expression "(pmVar2 != dp_00)" ( (binary_expression "pmVar2 != dp_00" identifier != identifier) )) && (parenthesized_expression "(1 < iVar1)" ( (binary_expression "1 < iVar1" number_literal < identifier) ))) )) (compound_statement "{\n    pmVar6 = pmVar2 + 1;\n    pmVar7 = dp_00;\n    do {\n      pmVar7 = pmVar7 + 1;\n      mVar5 = *pmVar6;\n      pmVar6 = pmVar6 + 1;\n      *pmVar7 = mVar5;\n    } while (pmVar6 != pmVar2 + iVar1);\n  }" { (expression_statement "pmVar6 = pmVar2 + 1;" (assignment_expression "pmVar6 = pmVar2 + 1" identifier = (binary_expression "pmVar2 + 1" identifier + number_literal)) ;) (expression_statement "pmVar7 = dp_00;" (assignment_expression "pmVar7 = dp_00" identifier = identifier) ;) (do_statement "do {\n      pmVar7 = pmVar7 + 1;\n      mVar5 = *pmVar6;\n      pmVar6 = pmVar6 + 1;\n      *pmVar7 = mVar5;\n    } while (pmVar6 != pmVar2 + iVar1);" do (compound_statement "{\n      pmVar7 = pmVar7 + 1;\n      mVar5 = *pmVar6;\n      pmVar6 = pmVar6 + 1;\n      *pmVar7 = mVar5;\n    }" { (expression_statement "pmVar7 = pmVar7 + 1;" (assignment_expression "pmVar7 = pmVar7 + 1" identifier = (binary_expression "pmVar7 + 1" identifier + number_literal)) ;) (expression_statement "mVar5 = *pmVar6;" (assignment_expression "mVar5 = *pmVar6" identifier = (pointer_expression "*pmVar6" * identifier)) ;) (expression_statement "pmVar6 = pmVar6 + 1;" (assignment_expression "pmVar6 = pmVar6 + 1" identifier = (binary_expression "pmVar6 + 1" identifier + number_literal)) ;) (expression_statement "*pmVar7 = mVar5;" (assignment_expression "*pmVar7 = mVar5" (pointer_expression "*pmVar7" * identifier) = identifier) ;) }) while (parenthesized_expression "(pmVar6 != pmVar2 + iVar1)" ( (binary_expression "pmVar6 != pmVar2 + iVar1" identifier != (binary_expression "pmVar2 + iVar1" identifier + identifier)) )) ;) })))) (expression_statement "__gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1);" (call_expression "__gmpn_invertappr(scratch,dp_00,iVar1,dp_00 + iVar1)" identifier (argument_list "(scratch,dp_00,iVar1,dp_00 + iVar1)" ( identifier , identifier , identifier , (binary_expression "dp_00 + iVar1" identifier + identifier) ))) ;) (expression_statement "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(scratch,scratch + 1,in);" (call_expression "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))(scratch,scratch + 1,in)" (parenthesized_expression "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28))" ( (pointer_expression "**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28)" * (pointer_expression "*(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28)" * (cast_expression "(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x28)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR___gmpn_cpuvec_0009dd94 + 0x28)" ( (binary_expression "PTR___gmpn_cpuvec_0009dd94 + 0x28" identifier + number_literal) ))))) )) (argument_list "(scratch,scratch + 1,in)" ( identifier , (binary_expression "scratch + 1" identifier + number_literal) , identifier ))) ;) (labeled_statement "LAB_0007349b:\n  mVar5 = __gmpn_preinv_mu_divappr_q(qp,np,nn,dp,dn,scratch,in,scratch + in);" statement_identifier : (expression_statement "mVar5 = __gmpn_preinv_mu_divappr_q(qp,np,nn,dp,dn,scratch,in,scratch + in);" (assignment_expression "mVar5 = __gmpn_preinv_mu_divappr_q(qp,np,nn,dp,dn,scratch,in,scratch + in)" identifier = (call_expression "__gmpn_preinv_mu_divappr_q(qp,np,nn,dp,dn,scratch,in,scratch + in)" identifier (argument_list "(qp,np,nn,dp,dn,scratch,in,scratch + in)" ( identifier , identifier , identifier , identifier , identifier , identifier , identifier , (binary_expression "scratch + in" identifier + identifier) )))) ;)) (return_statement "return mVar5;" return identifier ;) })))
(translation_unit "void __regparm2\n__gmpn_mu_divappr_q(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  int *piVar7;\n  int *piVar8;\n  int unaff_EBX;\n  int *piVar9;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x73359);\n  iVar3 = param_4 - param_6;\n  iVar1 = iVar3 + 1;\n  if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }\n  iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);\n  iVar1 = iVar4 + 1;\n  iVar3 = iVar1 * 4;\n  piVar9 = (int *)(iVar3 + (int)param_7);\n  if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }\n  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);\n  iVar6 = *piVar2;\n  *piVar9 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }\n  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);\nLAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);\n  return;\n}\n\n" (function_definition "void __regparm2\n__gmpn_mu_divappr_q(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  int *piVar7;\n  int *piVar8;\n  int unaff_EBX;\n  int *piVar9;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x73359);\n  iVar3 = param_4 - param_6;\n  iVar1 = iVar3 + 1;\n  if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }\n  iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);\n  iVar1 = iVar4 + 1;\n  iVar3 = iVar1 * 4;\n  piVar9 = (int *)(iVar3 + (int)param_7);\n  if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }\n  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);\n  iVar6 = *piVar2;\n  *piVar9 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }\n  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);\nLAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);\n  return;\n}" primitive_type (ERROR "__regparm2" identifier) (function_declarator "__gmpn_mu_divappr_q(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "int param_3" primitive_type identifier) , (parameter_declaration "int param_4" primitive_type identifier) , (parameter_declaration "int param_5" primitive_type identifier) , (parameter_declaration "int param_6" primitive_type identifier) , (parameter_declaration "void *param_7" primitive_type (pointer_declarator "*param_7" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  int *piVar7;\n  int *piVar8;\n  int unaff_EBX;\n  int *piVar9;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x73359);\n  iVar3 = param_4 - param_6;\n  iVar1 = iVar3 + 1;\n  if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }\n  iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);\n  iVar1 = iVar4 + 1;\n  iVar3 = iVar1 * 4;\n  piVar9 = (int *)(iVar3 + (int)param_7);\n  if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }\n  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);\n  iVar6 = *piVar2;\n  *piVar9 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }\n  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);\nLAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);\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 iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int *piVar7;" primitive_type (pointer_declarator "*piVar7" * identifier) ;) (declaration "int *piVar8;" primitive_type (pointer_declarator "*piVar8" * identifier) ;) (declaration "int unaff_EBX;" primitive_type identifier ;) (declaration "int *piVar9;" primitive_type (pointer_declarator "*piVar9" * identifier) ;) (declaration "undefined4 unaff_retaddr;" type_identifier identifier ;) (expression_statement "entry(param_2,0x73359);" (call_expression "entry(param_2,0x73359)" identifier (argument_list "(param_2,0x73359)" ( identifier , number_literal ))) ;) (expression_statement "iVar3 = param_4 - param_6;" (assignment_expression "iVar3 = param_4 - param_6" identifier = (binary_expression "param_4 - param_6" identifier - identifier)) ;) (expression_statement "iVar1 = iVar3 + 1;" (assignment_expression "iVar1 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (if_statement "if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }" if (parenthesized_expression "(iVar1 < param_6)" ( (binary_expression "iVar1 < param_6" identifier < identifier) )) (compound_statement "{\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }" { (expression_statement "param_4 = param_4 - (param_6 - iVar1);" (assignment_expression "param_4 = param_4 - (param_6 - iVar1)" identifier = (binary_expression "param_4 - (param_6 - iVar1)" identifier - (parenthesized_expression "(param_6 - iVar1)" ( (binary_expression "param_6 - iVar1" identifier - identifier) )))) ;) (expression_statement "iVar4 = (param_6 - iVar1) * 4;" (assignment_expression "iVar4 = (param_6 - iVar1) * 4" identifier = (binary_expression "(param_6 - iVar1) * 4" (parenthesized_expression "(param_6 - iVar1)" ( (binary_expression "param_6 - iVar1" identifier - identifier) )) * number_literal)) ;) (expression_statement "param_3 = param_3 + iVar4;" (assignment_expression "param_3 = param_3 + iVar4" identifier = (binary_expression "param_3 + iVar4" identifier + identifier)) ;) (expression_statement "param_5 = param_5 + iVar4;" (assignment_expression "param_5 = param_5 + iVar4" identifier = (binary_expression "param_5 + iVar4" identifier + identifier)) ;) (expression_statement "param_6 = iVar1;" (assignment_expression "param_6 = iVar1" identifier = identifier) ;) })) (expression_statement "iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);" (assignment_expression "iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0)" identifier = (call_expression "__gmpn_mu_divappr_q_choose_in(iVar3,param_6,0)" identifier (argument_list "(iVar3,param_6,0)" ( identifier , identifier , number_literal )))) ;) (expression_statement "iVar1 = iVar4 + 1;" (assignment_expression "iVar1 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "iVar3 = iVar1 * 4;" (assignment_expression "iVar3 = iVar1 * 4" identifier = (binary_expression "iVar1 * 4" identifier * number_literal)) ;) (expression_statement "piVar9 = (int *)(iVar3 + (int)param_7);" (assignment_expression "piVar9 = (int *)(iVar3 + (int)param_7)" identifier = (cast_expression "(int *)(iVar3 + (int)param_7)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar3 + (int)param_7)" ( (binary_expression "iVar3 + (int)param_7" identifier + (cast_expression "(int)param_7" ( (type_descriptor "int" primitive_type) ) identifier)) )))) ;) (if_statement "if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }" if (parenthesized_expression "(param_6 == iVar4)" ( (binary_expression "param_6 == iVar4" identifier == identifier) )) (compound_statement "{\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }" { (expression_statement "iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);" (assignment_expression "iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX)" identifier = (pointer_expression "*(int *)(&DAT_0002aa3b + unaff_EBX)" * (cast_expression "(int *)(&DAT_0002aa3b + unaff_EBX)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_0002aa3b + unaff_EBX)" ( (binary_expression "&DAT_0002aa3b + unaff_EBX" (pointer_expression "&DAT_0002aa3b" & identifier) + identifier) ))))) ;) (expression_statement "(**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);" (call_expression "(**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6)" (parenthesized_expression "(**(code **)(iVar6 + 0x28))" ( (pointer_expression "**(code **)(iVar6 + 0x28)" * (pointer_expression "*(code **)(iVar6 + 0x28)" * (cast_expression "(code **)(iVar6 + 0x28)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(iVar6 + 0x28)" ( (binary_expression "iVar6 + 0x28" identifier + number_literal) ))))) )) (argument_list "(piVar9 + 1,param_5,param_6)" ( (binary_expression "piVar9 + 1" identifier + number_literal) , identifier , identifier ))) ;) (expression_statement "*piVar9 = 1;" (assignment_expression "*piVar9 = 1" (pointer_expression "*piVar9" * identifier) = number_literal) ;) (expression_statement "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);" (call_expression "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1)" identifier (argument_list "(param_7,piVar9,iVar1,piVar9 + iVar1)" ( identifier , identifier , identifier , (binary_expression "piVar9 + iVar1" identifier + identifier) ))) ;) (expression_statement "(**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);" (call_expression "(**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6)" (parenthesized_expression "(**(code **)(iVar6 + 0x28))" ( (pointer_expression "**(code **)(iVar6 + 0x28)" * (pointer_expression "*(code **)(iVar6 + 0x28)" * (cast_expression "(code **)(iVar6 + 0x28)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(iVar6 + 0x28)" ( (binary_expression "iVar6 + 0x28" identifier + number_literal) ))))) )) (argument_list "(param_7,(int)param_7 + 4,param_6)" ( identifier , (binary_expression "(int)param_7 + 4" (cast_expression "(int)param_7" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) , identifier ))) ;) (goto_statement "goto LAB_0007349b;" goto statement_identifier ;) })) (expression_statement "piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);" (assignment_expression "piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4)" identifier = (cast_expression "(int *)(param_5 + -4 + (param_6 - iVar4) * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_5 + -4 + (param_6 - iVar4) * 4)" ( (binary_expression "param_5 + -4 + (param_6 - iVar4) * 4" (binary_expression "param_5 + -4" identifier + number_literal) + (binary_expression "(param_6 - iVar4) * 4" (parenthesized_expression "(param_6 - iVar4)" ( (binary_expression "param_6 - iVar4" identifier - identifier) )) * number_literal)) )))) ;) (expression_statement "iVar6 = *piVar2;" (assignment_expression "iVar6 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (expression_statement "*piVar9 = iVar6 + 1;" (assignment_expression "*piVar9 = iVar6 + 1" (pointer_expression "*piVar9" * identifier) = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\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) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }" { (if_statement "if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }" if (parenthesized_expression "(iVar1 < 2)" ( (binary_expression "iVar1 < 2" identifier < number_literal) )) (compound_statement "{\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }" { (labeled_statement "LAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }" statement_identifier : (if_statement "if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }" if (parenthesized_expression "(iVar4 != 0)" ( (binary_expression "iVar4 != 0" identifier != number_literal) )) (compound_statement "{\n        memset(param_7,0,iVar3 - 4);\n      }" { (expression_statement "memset(param_7,0,iVar3 - 4);" (call_expression "memset(param_7,0,iVar3 - 4)" identifier (argument_list "(param_7,0,iVar3 - 4)" ( identifier , number_literal , (binary_expression "iVar3 - 4" identifier - number_literal) ))) ;) }))) (goto_statement "goto LAB_0007349b;" goto statement_identifier ;) })) (expression_statement "iVar6 = piVar2[1];" (assignment_expression "iVar6 = piVar2[1]" identifier = (subscript_expression "piVar2[1]" identifier [ number_literal ])) ;) (expression_statement "piVar9[1] = iVar6 + 1;" (assignment_expression "piVar9[1] = iVar6 + 1" (subscript_expression "piVar9[1]" identifier [ number_literal ]) = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\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_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }" { (if_statement "if (iVar1 == 2) goto LAB_00073418;" if (parenthesized_expression "(iVar1 == 2)" ( (binary_expression "iVar1 == 2" identifier == number_literal) )) (goto_statement "goto LAB_00073418;" goto statement_identifier ;)) (expression_statement "iVar5 = piVar2[2] + 1;" (assignment_expression "iVar5 = piVar2[2] + 1" identifier = (binary_expression "piVar2[2] + 1" (subscript_expression "piVar2[2]" identifier [ number_literal ]) + number_literal)) ;) (expression_statement "piVar9[2] = iVar5;" (assignment_expression "piVar9[2] = iVar5" (subscript_expression "piVar9[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "iVar6 = 3;" (assignment_expression "iVar6 = 3" identifier = number_literal) ;) (while_statement "while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }" while (parenthesized_expression "(iVar5 == 0)" ( (binary_expression "iVar5 == 0" identifier == number_literal) )) (compound_statement "{\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }" { (if_statement "if (iVar1 == iVar6) goto LAB_00073418;" if (parenthesized_expression "(iVar1 == iVar6)" ( (binary_expression "iVar1 == iVar6" identifier == identifier) )) (goto_statement "goto LAB_00073418;" goto statement_identifier ;)) (expression_statement "iVar5 = piVar2[iVar6] + 1;" (assignment_expression "iVar5 = piVar2[iVar6] + 1" identifier = (binary_expression "piVar2[iVar6] + 1" (subscript_expression "piVar2[iVar6]" identifier [ identifier ]) + number_literal)) ;) (expression_statement "piVar9[iVar6] = iVar5;" (assignment_expression "piVar9[iVar6] = iVar5" (subscript_expression "piVar9[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 ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }" if (parenthesized_expression "((piVar2 != piVar9) && (iVar6 < iVar1))" ( (binary_expression "(piVar2 != piVar9) && (iVar6 < iVar1)" (parenthesized_expression "(piVar2 != piVar9)" ( (binary_expression "piVar2 != piVar9" identifier != identifier) )) && (parenthesized_expression "(iVar6 < iVar1)" ( (binary_expression "iVar6 < iVar1" identifier < identifier) ))) )) (compound_statement "{\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }" { (expression_statement "piVar7 = piVar2 + iVar6;" (assignment_expression "piVar7 = piVar2 + iVar6" identifier = (binary_expression "piVar2 + iVar6" identifier + identifier)) ;) (expression_statement "piVar8 = piVar9 + iVar6;" (assignment_expression "piVar8 = piVar9 + iVar6" identifier = (binary_expression "piVar9 + iVar6" identifier + identifier)) ;) (do_statement "do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);" do (compound_statement "{\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      }" { (expression_statement "iVar6 = *piVar7;" (assignment_expression "iVar6 = *piVar7" identifier = (pointer_expression "*piVar7" * identifier)) ;) (expression_statement "piVar7 = piVar7 + 1;" (assignment_expression "piVar7 = piVar7 + 1" identifier = (binary_expression "piVar7 + 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 != piVar7)" ( (binary_expression "piVar2 + iVar1 != piVar7" (binary_expression "piVar2 + iVar1" identifier + identifier) != identifier) )) ;) })) }) (else_clause "else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }" else (if_statement "if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }" if (parenthesized_expression "((piVar2 != piVar9) && (1 < iVar1))" ( (binary_expression "(piVar2 != piVar9) && (1 < iVar1)" (parenthesized_expression "(piVar2 != piVar9)" ( (binary_expression "piVar2 != piVar9" identifier != identifier) )) && (parenthesized_expression "(1 < iVar1)" ( (binary_expression "1 < iVar1" number_literal < identifier) ))) )) (compound_statement "{\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }" { (expression_statement "piVar7 = piVar2 + 1;" (assignment_expression "piVar7 = piVar2 + 1" identifier = (binary_expression "piVar2 + 1" identifier + number_literal)) ;) (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" identifier = identifier) ;) (do_statement "do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);" do (compound_statement "{\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 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 = *piVar7;" (assignment_expression "iVar6 = *piVar7" identifier = (pointer_expression "*piVar7" * identifier)) ;) (expression_statement "piVar7 = piVar7 + 1;" (assignment_expression "piVar7 = piVar7 + 1" identifier = (binary_expression "piVar7 + 1" identifier + number_literal)) ;) (expression_statement "*piVar8 = iVar6;" (assignment_expression "*piVar8 = iVar6" (pointer_expression "*piVar8" * identifier) = identifier) ;) }) while (parenthesized_expression "(piVar7 != piVar2 + iVar1)" ( (binary_expression "piVar7 != piVar2 + iVar1" identifier != (binary_expression "piVar2 + iVar1" identifier + identifier)) )) ;) })))) (expression_statement "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);" (call_expression "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1)" identifier (argument_list "(param_7,piVar9,iVar1,piVar9 + iVar1)" ( identifier , identifier , identifier , (binary_expression "piVar9 + iVar1" identifier + identifier) ))) ;) (expression_statement "(**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);" (call_expression "(**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4)" (parenthesized_expression "(**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))" ( (pointer_expression "**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" * (pointer_expression "*(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" * (cast_expression "(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" ( (binary_expression "*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28" (pointer_expression "*(int *)(&DAT_0002aa3b + unaff_EBX)" * (cast_expression "(int *)(&DAT_0002aa3b + unaff_EBX)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_0002aa3b + unaff_EBX)" ( (binary_expression "&DAT_0002aa3b + unaff_EBX" (pointer_expression "&DAT_0002aa3b" & identifier) + identifier) )))) + number_literal) ))))) )) (argument_list "(param_7,(int)param_7 + 4,iVar4)" ( identifier , (binary_expression "(int)param_7 + 4" (cast_expression "(int)param_7" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) , identifier ))) ;) (labeled_statement "LAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);" statement_identifier : (expression_statement "__gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);" (call_expression "__gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7)" identifier (argument_list "(unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7)" ( identifier , identifier , identifier , identifier , identifier , identifier , identifier , (binary_expression "iVar3 + -4 + (int)param_7" (binary_expression "iVar3 + -4" identifier + number_literal) + (cast_expression "(int)param_7" ( (type_descriptor "int" primitive_type) ) 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) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT ))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - (parenthesized_expression ( (binary_expression IDENT - IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT - IDENT) )) * LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT , LIT )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT * LIT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (cast_expression ( (type_descriptor TYPE) ) IDENT)) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression & IDENT) + IDENT) ))))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (argument_list ( (binary_expression IDENT + LIT) , IDENT , IDENT ))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT , (binary_expression IDENT + IDENT) ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (argument_list ( IDENT , (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) , IDENT ))) ;) (goto_statement goto statement_identifier ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) + (binary_expression (parenthesized_expression ( (binary_expression IDENT - 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 : (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT , (binary_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 LIT < IDENT) ))) )) (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 IDENT != (binary_expression IDENT + IDENT)) )) ;) })))) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT , (binary_expression IDENT + IDENT) ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression & IDENT) + IDENT) )))) + LIT) ))))) )) (argument_list ( IDENT , (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) , IDENT ))) ;) (labeled_statement statement_identifier : (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT , IDENT , IDENT , IDENT , IDENT , (binary_expression (binary_expression IDENT + LIT) + (cast_expression ( (type_descriptor TYPE) ) IDENT)) ))) ;)) (return_statement return ;) })))
(function_definition "void __regparm2\n__gmpn_mu_divappr_q(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  int *piVar7;\n  int *piVar8;\n  int unaff_EBX;\n  int *piVar9;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x73359);\n  iVar3 = param_4 - param_6;\n  iVar1 = iVar3 + 1;\n  if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }\n  iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);\n  iVar1 = iVar4 + 1;\n  iVar3 = iVar1 * 4;\n  piVar9 = (int *)(iVar3 + (int)param_7);\n  if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }\n  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);\n  iVar6 = *piVar2;\n  *piVar9 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }\n  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);\nLAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);\n  return;\n}" (primitive_type "void") (ERROR "__regparm2" (identifier "__regparm2")) (function_declarator "__gmpn_mu_divappr_q(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)" (identifier "__gmpn_mu_divappr_q") (parameter_list "(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,\n                   int param_6,void *param_7)" (( "(") (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")) (, ",") (parameter_declaration "int param_4" (primitive_type "int") (identifier "param_4")) (, ",") (parameter_declaration "int param_5" (primitive_type "int") (identifier "param_5")) (, ",") (parameter_declaration "int param_6" (primitive_type "int") (identifier "param_6")) (, ",") (parameter_declaration "void *param_7" (primitive_type "void") (pointer_declarator "*param_7" (* "*") (identifier "param_7"))) () ")"))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  int *piVar7;\n  int *piVar8;\n  int unaff_EBX;\n  int *piVar9;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x73359);\n  iVar3 = param_4 - param_6;\n  iVar1 = iVar3 + 1;\n  if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }\n  iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);\n  iVar1 = iVar4 + 1;\n  iVar3 = iVar1 * 4;\n  piVar9 = (int *)(iVar3 + (int)param_7);\n  if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }\n  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);\n  iVar6 = *piVar2;\n  *piVar9 = iVar6 + 1;\n  if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }\n  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);\nLAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);\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 iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "int *piVar7;" (primitive_type "int") (pointer_declarator "*piVar7" (* "*") (identifier "piVar7")) (; ";")) (declaration "int *piVar8;" (primitive_type "int") (pointer_declarator "*piVar8" (* "*") (identifier "piVar8")) (; ";")) (declaration "int unaff_EBX;" (primitive_type "int") (identifier "unaff_EBX") (; ";")) (declaration "int *piVar9;" (primitive_type "int") (pointer_declarator "*piVar9" (* "*") (identifier "piVar9")) (; ";")) (declaration "undefined4 unaff_retaddr;" (type_identifier "undefined4") (identifier "unaff_retaddr") (; ";")) (expression_statement "entry(param_2,0x73359);" (call_expression "entry(param_2,0x73359)" (identifier "entry") (argument_list "(param_2,0x73359)" (( "(") (identifier "param_2") (, ",") (number_literal "0x73359") () ")"))) (; ";")) (expression_statement "iVar3 = param_4 - param_6;" (assignment_expression "iVar3 = param_4 - param_6" (identifier "iVar3") (= "=") (binary_expression "param_4 - param_6" (identifier "param_4") (- "-") (identifier "param_6"))) (; ";")) (expression_statement "iVar1 = iVar3 + 1;" (assignment_expression "iVar1 = iVar3 + 1" (identifier "iVar1") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar1 < param_6) {\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }" (if "if") (parenthesized_expression "(iVar1 < param_6)" (( "(") (binary_expression "iVar1 < param_6" (identifier "iVar1") (< "<") (identifier "param_6")) () ")")) (compound_statement "{\n    param_4 = param_4 - (param_6 - iVar1);\n    iVar4 = (param_6 - iVar1) * 4;\n    param_3 = param_3 + iVar4;\n    param_5 = param_5 + iVar4;\n    param_6 = iVar1;\n  }" ({ "{") (expression_statement "param_4 = param_4 - (param_6 - iVar1);" (assignment_expression "param_4 = param_4 - (param_6 - iVar1)" (identifier "param_4") (= "=") (binary_expression "param_4 - (param_6 - iVar1)" (identifier "param_4") (- "-") (parenthesized_expression "(param_6 - iVar1)" (( "(") (binary_expression "param_6 - iVar1" (identifier "param_6") (- "-") (identifier "iVar1")) () ")")))) (; ";")) (expression_statement "iVar4 = (param_6 - iVar1) * 4;" (assignment_expression "iVar4 = (param_6 - iVar1) * 4" (identifier "iVar4") (= "=") (binary_expression "(param_6 - iVar1) * 4" (parenthesized_expression "(param_6 - iVar1)" (( "(") (binary_expression "param_6 - iVar1" (identifier "param_6") (- "-") (identifier "iVar1")) () ")")) (* "*") (number_literal "4"))) (; ";")) (expression_statement "param_3 = param_3 + iVar4;" (assignment_expression "param_3 = param_3 + iVar4" (identifier "param_3") (= "=") (binary_expression "param_3 + iVar4" (identifier "param_3") (+ "+") (identifier "iVar4"))) (; ";")) (expression_statement "param_5 = param_5 + iVar4;" (assignment_expression "param_5 = param_5 + iVar4" (identifier "param_5") (= "=") (binary_expression "param_5 + iVar4" (identifier "param_5") (+ "+") (identifier "iVar4"))) (; ";")) (expression_statement "param_6 = iVar1;" (assignment_expression "param_6 = iVar1" (identifier "param_6") (= "=") (identifier "iVar1")) (; ";")) (} "}"))) (expression_statement "iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0);" (assignment_expression "iVar4 = __gmpn_mu_divappr_q_choose_in(iVar3,param_6,0)" (identifier "iVar4") (= "=") (call_expression "__gmpn_mu_divappr_q_choose_in(iVar3,param_6,0)" (identifier "__gmpn_mu_divappr_q_choose_in") (argument_list "(iVar3,param_6,0)" (( "(") (identifier "iVar3") (, ",") (identifier "param_6") (, ",") (number_literal "0") () ")")))) (; ";")) (expression_statement "iVar1 = iVar4 + 1;" (assignment_expression "iVar1 = iVar4 + 1" (identifier "iVar1") (= "=") (binary_expression "iVar4 + 1" (identifier "iVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "iVar3 = iVar1 * 4;" (assignment_expression "iVar3 = iVar1 * 4" (identifier "iVar3") (= "=") (binary_expression "iVar1 * 4" (identifier "iVar1") (* "*") (number_literal "4"))) (; ";")) (expression_statement "piVar9 = (int *)(iVar3 + (int)param_7);" (assignment_expression "piVar9 = (int *)(iVar3 + (int)param_7)" (identifier "piVar9") (= "=") (cast_expression "(int *)(iVar3 + (int)param_7)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar3 + (int)param_7)" (( "(") (binary_expression "iVar3 + (int)param_7" (identifier "iVar3") (+ "+") (cast_expression "(int)param_7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_7"))) () ")")))) (; ";")) (if_statement "if (param_6 == iVar4) {\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }" (if "if") (parenthesized_expression "(param_6 == iVar4)" (( "(") (binary_expression "param_6 == iVar4" (identifier "param_6") (== "==") (identifier "iVar4")) () ")")) (compound_statement "{\n    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);\n    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);\n    *piVar9 = 1;\n    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);\n    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);\n    goto LAB_0007349b;\n  }" ({ "{") (expression_statement "iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);" (assignment_expression "iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX)" (identifier "iVar6") (= "=") (pointer_expression "*(int *)(&DAT_0002aa3b + unaff_EBX)" (* "*") (cast_expression "(int *)(&DAT_0002aa3b + unaff_EBX)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(&DAT_0002aa3b + unaff_EBX)" (( "(") (binary_expression "&DAT_0002aa3b + unaff_EBX" (pointer_expression "&DAT_0002aa3b" (& "&") (identifier "DAT_0002aa3b")) (+ "+") (identifier "unaff_EBX")) () ")"))))) (; ";")) (expression_statement "(**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);" (call_expression "(**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6)" (parenthesized_expression "(**(code **)(iVar6 + 0x28))" (( "(") (pointer_expression "**(code **)(iVar6 + 0x28)" (* "*") (pointer_expression "*(code **)(iVar6 + 0x28)" (* "*") (cast_expression "(code **)(iVar6 + 0x28)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(iVar6 + 0x28)" (( "(") (binary_expression "iVar6 + 0x28" (identifier "iVar6") (+ "+") (number_literal "0x28")) () ")"))))) () ")")) (argument_list "(piVar9 + 1,param_5,param_6)" (( "(") (binary_expression "piVar9 + 1" (identifier "piVar9") (+ "+") (number_literal "1")) (, ",") (identifier "param_5") (, ",") (identifier "param_6") () ")"))) (; ";")) (expression_statement "*piVar9 = 1;" (assignment_expression "*piVar9 = 1" (pointer_expression "*piVar9" (* "*") (identifier "piVar9")) (= "=") (number_literal "1")) (; ";")) (expression_statement "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);" (call_expression "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1)" (identifier "__gmpn_invertappr") (argument_list "(param_7,piVar9,iVar1,piVar9 + iVar1)" (( "(") (identifier "param_7") (, ",") (identifier "piVar9") (, ",") (identifier "iVar1") (, ",") (binary_expression "piVar9 + iVar1" (identifier "piVar9") (+ "+") (identifier "iVar1")) () ")"))) (; ";")) (expression_statement "(**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);" (call_expression "(**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6)" (parenthesized_expression "(**(code **)(iVar6 + 0x28))" (( "(") (pointer_expression "**(code **)(iVar6 + 0x28)" (* "*") (pointer_expression "*(code **)(iVar6 + 0x28)" (* "*") (cast_expression "(code **)(iVar6 + 0x28)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(iVar6 + 0x28)" (( "(") (binary_expression "iVar6 + 0x28" (identifier "iVar6") (+ "+") (number_literal "0x28")) () ")"))))) () ")")) (argument_list "(param_7,(int)param_7 + 4,param_6)" (( "(") (identifier "param_7") (, ",") (binary_expression "(int)param_7 + 4" (cast_expression "(int)param_7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_7")) (+ "+") (number_literal "4")) (, ",") (identifier "param_6") () ")"))) (; ";")) (goto_statement "goto LAB_0007349b;" (goto "goto") (statement_identifier "LAB_0007349b") (; ";")) (} "}"))) (expression_statement "piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);" (assignment_expression "piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4)" (identifier "piVar2") (= "=") (cast_expression "(int *)(param_5 + -4 + (param_6 - iVar4) * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_5 + -4 + (param_6 - iVar4) * 4)" (( "(") (binary_expression "param_5 + -4 + (param_6 - iVar4) * 4" (binary_expression "param_5 + -4" (identifier "param_5") (+ "+") (number_literal "-4")) (+ "+") (binary_expression "(param_6 - iVar4) * 4" (parenthesized_expression "(param_6 - iVar4)" (( "(") (binary_expression "param_6 - iVar4" (identifier "param_6") (- "-") (identifier "iVar4")) () ")")) (* "*") (number_literal "4"))) () ")")))) (; ";")) (expression_statement "iVar6 = *piVar2;" (assignment_expression "iVar6 = *piVar2" (identifier "iVar6") (= "=") (pointer_expression "*piVar2" (* "*") (identifier "piVar2"))) (; ";")) (expression_statement "*piVar9 = iVar6 + 1;" (assignment_expression "*piVar9 = iVar6 + 1" (pointer_expression "*piVar9" (* "*") (identifier "piVar9")) (= "=") (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar6 + 1 == 0) {\n    if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }\n  else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\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) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }\n    iVar6 = piVar2[1];\n    piVar9[1] = iVar6 + 1;\n    if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }\n    else {\n      iVar6 = 2;\n    }\n    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }\n  }" ({ "{") (if_statement "if (iVar1 < 2) {\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }" (if "if") (parenthesized_expression "(iVar1 < 2)" (( "(") (binary_expression "iVar1 < 2" (identifier "iVar1") (< "<") (number_literal "2")) () ")")) (compound_statement "{\nLAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }\n      goto LAB_0007349b;\n    }" ({ "{") (labeled_statement "LAB_00073418:\n      if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }" (statement_identifier "LAB_00073418") (: ":") (if_statement "if (iVar4 != 0) {\n        memset(param_7,0,iVar3 - 4);\n      }" (if "if") (parenthesized_expression "(iVar4 != 0)" (( "(") (binary_expression "iVar4 != 0" (identifier "iVar4") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        memset(param_7,0,iVar3 - 4);\n      }" ({ "{") (expression_statement "memset(param_7,0,iVar3 - 4);" (call_expression "memset(param_7,0,iVar3 - 4)" (identifier "memset") (argument_list "(param_7,0,iVar3 - 4)" (( "(") (identifier "param_7") (, ",") (number_literal "0") (, ",") (binary_expression "iVar3 - 4" (identifier "iVar3") (- "-") (number_literal "4")) () ")"))) (; ";")) (} "}")))) (goto_statement "goto LAB_0007349b;" (goto "goto") (statement_identifier "LAB_0007349b") (; ";")) (} "}"))) (expression_statement "iVar6 = piVar2[1];" (assignment_expression "iVar6 = piVar2[1]" (identifier "iVar6") (= "=") (subscript_expression "piVar2[1]" (identifier "piVar2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "piVar9[1] = iVar6 + 1;" (assignment_expression "piVar9[1] = iVar6 + 1" (subscript_expression "piVar9[1]" (identifier "piVar9") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar6 + 1 == 0) {\n      if (iVar1 == 2) goto LAB_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\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_00073418;\n      iVar5 = piVar2[2] + 1;\n      piVar9[2] = iVar5;\n      iVar6 = 3;\n      while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }\n    }" ({ "{") (if_statement "if (iVar1 == 2) goto LAB_00073418;" (if "if") (parenthesized_expression "(iVar1 == 2)" (( "(") (binary_expression "iVar1 == 2" (identifier "iVar1") (== "==") (number_literal "2")) () ")")) (goto_statement "goto LAB_00073418;" (goto "goto") (statement_identifier "LAB_00073418") (; ";"))) (expression_statement "iVar5 = piVar2[2] + 1;" (assignment_expression "iVar5 = piVar2[2] + 1" (identifier "iVar5") (= "=") (binary_expression "piVar2[2] + 1" (subscript_expression "piVar2[2]" (identifier "piVar2") ([ "[") (number_literal "2") (] "]")) (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar9[2] = iVar5;" (assignment_expression "piVar9[2] = iVar5" (subscript_expression "piVar9[2]" (identifier "piVar9") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "iVar5")) (; ";")) (expression_statement "iVar6 = 3;" (assignment_expression "iVar6 = 3" (identifier "iVar6") (= "=") (number_literal "3")) (; ";")) (while_statement "while (iVar5 == 0) {\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }" (while "while") (parenthesized_expression "(iVar5 == 0)" (( "(") (binary_expression "iVar5 == 0" (identifier "iVar5") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n        if (iVar1 == iVar6) goto LAB_00073418;\n        iVar5 = piVar2[iVar6] + 1;\n        piVar9[iVar6] = iVar5;\n        iVar6 = iVar6 + 1;\n      }" ({ "{") (if_statement "if (iVar1 == iVar6) goto LAB_00073418;" (if "if") (parenthesized_expression "(iVar1 == iVar6)" (( "(") (binary_expression "iVar1 == iVar6" (identifier "iVar1") (== "==") (identifier "iVar6")) () ")")) (goto_statement "goto LAB_00073418;" (goto "goto") (statement_identifier "LAB_00073418") (; ";"))) (expression_statement "iVar5 = piVar2[iVar6] + 1;" (assignment_expression "iVar5 = piVar2[iVar6] + 1" (identifier "iVar5") (= "=") (binary_expression "piVar2[iVar6] + 1" (subscript_expression "piVar2[iVar6]" (identifier "piVar2") ([ "[") (identifier "iVar6") (] "]")) (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar9[iVar6] = iVar5;" (assignment_expression "piVar9[iVar6] = iVar5" (subscript_expression "piVar9[iVar6]" (identifier "piVar9") ([ "[") (identifier "iVar6") (] "]")) (= "=") (identifier "iVar5")) (; ";")) (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 ((piVar2 != piVar9) && (iVar6 < iVar1)) {\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }" (if "if") (parenthesized_expression "((piVar2 != piVar9) && (iVar6 < iVar1))" (( "(") (binary_expression "(piVar2 != piVar9) && (iVar6 < iVar1)" (parenthesized_expression "(piVar2 != piVar9)" (( "(") (binary_expression "piVar2 != piVar9" (identifier "piVar2") (!= "!=") (identifier "piVar9")) () ")")) (&& "&&") (parenthesized_expression "(iVar6 < iVar1)" (( "(") (binary_expression "iVar6 < iVar1" (identifier "iVar6") (< "<") (identifier "iVar1")) () ")"))) () ")")) (compound_statement "{\n      piVar7 = piVar2 + iVar6;\n      piVar8 = piVar9 + iVar6;\n      do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);\n    }" ({ "{") (expression_statement "piVar7 = piVar2 + iVar6;" (assignment_expression "piVar7 = piVar2 + iVar6" (identifier "piVar7") (= "=") (binary_expression "piVar2 + iVar6" (identifier "piVar2") (+ "+") (identifier "iVar6"))) (; ";")) (expression_statement "piVar8 = piVar9 + iVar6;" (assignment_expression "piVar8 = piVar9 + iVar6" (identifier "piVar8") (= "=") (binary_expression "piVar9 + iVar6" (identifier "piVar9") (+ "+") (identifier "iVar6"))) (; ";")) (do_statement "do {\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      } while (piVar2 + iVar1 != piVar7);" (do "do") (compound_statement "{\n        iVar6 = *piVar7;\n        piVar7 = piVar7 + 1;\n        *piVar8 = iVar6;\n        piVar8 = piVar8 + 1;\n      }" ({ "{") (expression_statement "iVar6 = *piVar7;" (assignment_expression "iVar6 = *piVar7" (identifier "iVar6") (= "=") (pointer_expression "*piVar7" (* "*") (identifier "piVar7"))) (; ";")) (expression_statement "piVar7 = piVar7 + 1;" (assignment_expression "piVar7 = piVar7 + 1" (identifier "piVar7") (= "=") (binary_expression "piVar7 + 1" (identifier "piVar7") (+ "+") (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 != piVar7)" (( "(") (binary_expression "piVar2 + iVar1 != piVar7" (binary_expression "piVar2 + iVar1" (identifier "piVar2") (+ "+") (identifier "iVar1")) (!= "!=") (identifier "piVar7")) () ")")) (; ";")) (} "}"))) (} "}")) (else_clause "else if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }" (else "else") (if_statement "if ((piVar2 != piVar9) && (1 < iVar1)) {\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }" (if "if") (parenthesized_expression "((piVar2 != piVar9) && (1 < iVar1))" (( "(") (binary_expression "(piVar2 != piVar9) && (1 < iVar1)" (parenthesized_expression "(piVar2 != piVar9)" (( "(") (binary_expression "piVar2 != piVar9" (identifier "piVar2") (!= "!=") (identifier "piVar9")) () ")")) (&& "&&") (parenthesized_expression "(1 < iVar1)" (( "(") (binary_expression "1 < iVar1" (number_literal "1") (< "<") (identifier "iVar1")) () ")"))) () ")")) (compound_statement "{\n    piVar7 = piVar2 + 1;\n    piVar8 = piVar9;\n    do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);\n  }" ({ "{") (expression_statement "piVar7 = piVar2 + 1;" (assignment_expression "piVar7 = piVar2 + 1" (identifier "piVar7") (= "=") (binary_expression "piVar2 + 1" (identifier "piVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar8 = piVar9;" (assignment_expression "piVar8 = piVar9" (identifier "piVar8") (= "=") (identifier "piVar9")) (; ";")) (do_statement "do {\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 1;\n      *piVar8 = iVar6;\n    } while (piVar7 != piVar2 + iVar1);" (do "do") (compound_statement "{\n      piVar8 = piVar8 + 1;\n      iVar6 = *piVar7;\n      piVar7 = piVar7 + 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 = *piVar7;" (assignment_expression "iVar6 = *piVar7" (identifier "iVar6") (= "=") (pointer_expression "*piVar7" (* "*") (identifier "piVar7"))) (; ";")) (expression_statement "piVar7 = piVar7 + 1;" (assignment_expression "piVar7 = piVar7 + 1" (identifier "piVar7") (= "=") (binary_expression "piVar7 + 1" (identifier "piVar7") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*piVar8 = iVar6;" (assignment_expression "*piVar8 = iVar6" (pointer_expression "*piVar8" (* "*") (identifier "piVar8")) (= "=") (identifier "iVar6")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(piVar7 != piVar2 + iVar1)" (( "(") (binary_expression "piVar7 != piVar2 + iVar1" (identifier "piVar7") (!= "!=") (binary_expression "piVar2 + iVar1" (identifier "piVar2") (+ "+") (identifier "iVar1"))) () ")")) (; ";")) (} "}"))))) (expression_statement "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);" (call_expression "__gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1)" (identifier "__gmpn_invertappr") (argument_list "(param_7,piVar9,iVar1,piVar9 + iVar1)" (( "(") (identifier "param_7") (, ",") (identifier "piVar9") (, ",") (identifier "iVar1") (, ",") (binary_expression "piVar9 + iVar1" (identifier "piVar9") (+ "+") (identifier "iVar1")) () ")"))) (; ";")) (expression_statement "(**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);" (call_expression "(**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4)" (parenthesized_expression "(**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))" (( "(") (pointer_expression "**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" (* "*") (pointer_expression "*(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" (* "*") (cast_expression "(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28)" (( "(") (binary_expression "*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28" (pointer_expression "*(int *)(&DAT_0002aa3b + unaff_EBX)" (* "*") (cast_expression "(int *)(&DAT_0002aa3b + unaff_EBX)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(&DAT_0002aa3b + unaff_EBX)" (( "(") (binary_expression "&DAT_0002aa3b + unaff_EBX" (pointer_expression "&DAT_0002aa3b" (& "&") (identifier "DAT_0002aa3b")) (+ "+") (identifier "unaff_EBX")) () ")")))) (+ "+") (number_literal "0x28")) () ")"))))) () ")")) (argument_list "(param_7,(int)param_7 + 4,iVar4)" (( "(") (identifier "param_7") (, ",") (binary_expression "(int)param_7 + 4" (cast_expression "(int)param_7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_7")) (+ "+") (number_literal "4")) (, ",") (identifier "iVar4") () ")"))) (; ";")) (labeled_statement "LAB_0007349b:\n  __gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);" (statement_identifier "LAB_0007349b") (: ":") (expression_statement "__gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);" (call_expression "__gmpn_preinv_mu_divappr_q\n            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7)" (identifier "__gmpn_preinv_mu_divappr_q") (argument_list "(unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7)" (( "(") (identifier "unaff_retaddr") (, ",") (identifier "param_3") (, ",") (identifier "param_4") (, ",") (identifier "param_5") (, ",") (identifier "param_6") (, ",") (identifier "param_7") (, ",") (identifier "iVar4") (, ",") (binary_expression "iVar3 + -4 + (int)param_7" (binary_expression "iVar3 + -4" (identifier "iVar3") (+ "+") (number_literal "-4")) (+ "+") (cast_expression "(int)param_7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_7"))) () ")"))) (; ";"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

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

type_1 function_1(type_2 qp,type_3 var_6,type_4 var_1,type_3 var_7,type_4 var_2,
                             type_2 var_10)

{
  int var_4;
  type_3 var_17;
  type_5 *var_14;
  int var_3;
  type_4 var_9;
  type_1 var_15;
  type_3 var_18;
  type_1 *var_19;
  int var_5;
  type_3 var_12;
  
  var_3 = var_1 - var_2;
  var_4 = var_3 + 1;
  if (var_4 < var_2) {
    var_5 = var_2 - var_4;
    var_1 = var_1 - var_5;
    var_6 = var_6 + var_5;
    var_7 = var_7 + var_5;
    var_2 = var_4;
  }
  var_9 = var_8(var_3,var_2,0);
  var_14 = var_11;
  var_4 = var_9 + 1;
  var_12 = var_10 + var_4;
  if (var_2 == var_9) {
    (**(type_6 **)(var_11 + 0x28))(var_12 + 1,var_7,var_2);
    *var_12 = 1;
    var_13(var_10,var_12,var_4,var_12 + var_4);
    (**(type_6 **)(var_14 + 0x28))(var_10,var_10 + 1,var_2);
    goto LAB_0007349b;
  }
  var_17 = var_7 + (var_2 - var_9) + -1;
  var_15 = *var_17;
  *var_12 = var_15 + 1;
  if (var_15 + 1 == 0) {
    if (var_4 < 2) {
LAB_00073418:
      if (var_9 != 0) {
        var_16(var_10,0,var_4 * 4 - 4);
      }
      goto LAB_0007349b;
    }
    var_15 = var_17[1];
    var_12[1] = var_15 + 1;
    if (var_15 + 1 == 0) {
      if (var_4 == 2) goto LAB_00073418;
      var_15 = var_17[2] + 1;
      var_12[2] = var_15;
      var_3 = 3;
      while (var_15 == 0) {
        if (var_4 == var_3) goto LAB_00073418;
        var_15 = var_17[var_3] + 1;
        var_12[var_3] = var_15;
        var_3 = var_3 + 1;
      }
    }
    else {
      var_3 = 2;
    }
    if ((var_17 != var_12) && (var_3 < var_4)) {
      var_18 = var_17 + var_3;
      var_19 = var_12 + var_3;
      do {
        var_15 = *var_18;
        var_18 = var_18 + 1;
        *var_19 = var_15;
        var_19 = var_19 + 1;
      } while (var_17 + var_4 != var_18);
    }
  }
  else if ((var_17 != var_12) && (1 < var_4)) {
    var_18 = var_17 + 1;
    var_19 = var_12;
    do {
      var_19 = var_19 + 1;
      var_15 = *var_18;
      var_18 = var_18 + 1;
      *var_19 = var_15;
    } while (var_18 != var_17 + var_4);
  }
  var_13(var_10,var_12,var_4,var_12 + var_4);
  (**(type_6 **)(var_11 + 0x28))(var_10,var_10 + 1,var_9);
LAB_0007349b:
  var_15 = var_20(qp,var_6,var_1,var_7,var_2,var_10,var_9,var_10 + var_9);
  return var_15;
}


(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)) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (pointer_declarator 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: (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))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (number_literal)))) (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: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (number_literal)))) (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)))) (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier) (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (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: (pointer_expression argument: (identifier)) right: (identifier))))))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (identifier) (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier) (identifier) (binary_expression left: (identifier) right: (identifier))))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) arguments: (argument_list (identifier) (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal)) (identifier)))) (goto_statement label: (statement_identifier)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (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) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (number_literal) (binary_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: (number_literal) right: (identifier))))) 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: (identifier) right: (binary_expression left: (identifier) right: (identifier))))))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier) (identifier) (binary_expression left: (identifier) right: (identifier))))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier))))) right: (number_literal))))))) arguments: (argument_list (identifier) (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal)) (identifier)))) (labeled_statement label: (statement_identifier) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier) (identifier) (identifier) (identifier) (identifier) (identifier) (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))))))) (return_statement))))

void __regparm2
MASKED(undefined4 param_1,undefined4 param_2,int param_3,int param_4,int param_5,
                   int param_6,void *param_7)

{
  int iVar1;
  int *piVar2;
  int iVar3;
  int iVar4;
  int iVar5;
  int iVar6;
  int *piVar7;
  int *piVar8;
  int unaff_EBX;
  int *piVar9;
  undefined4 unaff_retaddr;
  
  entry(param_2,0x73359);
  iVar3 = param_4 - param_6;
  iVar1 = iVar3 + 1;
  if (iVar1 < param_6) {
    param_4 = param_4 - (param_6 - iVar1);
    iVar4 = (param_6 - iVar1) * 4;
    param_3 = param_3 + iVar4;
    param_5 = param_5 + iVar4;
    param_6 = iVar1;
  }
  iVar4 = MASKED_choose_in(iVar3,param_6,0);
  iVar1 = iVar4 + 1;
  iVar3 = iVar1 * 4;
  piVar9 = (int *)(iVar3 + (int)param_7);
  if (param_6 == iVar4) {
    iVar6 = *(int *)(&DAT_0002aa3b + unaff_EBX);
    (**(code **)(iVar6 + 0x28))(piVar9 + 1,param_5,param_6);
    *piVar9 = 1;
    __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);
    (**(code **)(iVar6 + 0x28))(param_7,(int)param_7 + 4,param_6);
    goto LAB_0007349b;
  }
  piVar2 = (int *)(param_5 + -4 + (param_6 - iVar4) * 4);
  iVar6 = *piVar2;
  *piVar9 = iVar6 + 1;
  if (iVar6 + 1 == 0) {
    if (iVar1 < 2) {
LAB_00073418:
      if (iVar4 != 0) {
        memset(param_7,0,iVar3 - 4);
      }
      goto LAB_0007349b;
    }
    iVar6 = piVar2[1];
    piVar9[1] = iVar6 + 1;
    if (iVar6 + 1 == 0) {
      if (iVar1 == 2) goto LAB_00073418;
      iVar5 = piVar2[2] + 1;
      piVar9[2] = iVar5;
      iVar6 = 3;
      while (iVar5 == 0) {
        if (iVar1 == iVar6) goto LAB_00073418;
        iVar5 = piVar2[iVar6] + 1;
        piVar9[iVar6] = iVar5;
        iVar6 = iVar6 + 1;
      }
    }
    else {
      iVar6 = 2;
    }
    if ((piVar2 != piVar9) && (iVar6 < iVar1)) {
      piVar7 = piVar2 + iVar6;
      piVar8 = piVar9 + iVar6;
      do {
        iVar6 = *piVar7;
        piVar7 = piVar7 + 1;
        *piVar8 = iVar6;
        piVar8 = piVar8 + 1;
      } while (piVar2 + iVar1 != piVar7);
    }
  }
  else if ((piVar2 != piVar9) && (1 < iVar1)) {
    piVar7 = piVar2 + 1;
    piVar8 = piVar9;
    do {
      piVar8 = piVar8 + 1;
      iVar6 = *piVar7;
      piVar7 = piVar7 + 1;
      *piVar8 = iVar6;
    } while (piVar7 != piVar2 + iVar1);
  }
  __gmpn_invertappr(param_7,piVar9,iVar1,piVar9 + iVar1);
  (**(code **)(*(int *)(&DAT_0002aa3b + unaff_EBX) + 0x28))(param_7,(int)param_7 + 4,iVar4);
LAB_0007349b:
  __gmpn_preinv_mu_divappr_q
            (unaff_retaddr,param_3,param_4,param_5,param_6,param_7,iVar4,iVar3 + -4 + (int)param_7);
  return;
}

