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

int __gmpz_ui_kronecker(ulong a,mpz_srcptr b)

{
  byte bVar1;
  int iVar2;
  mp_limb_t a_00;
  uint uVar3;
  uint *puVar4;
  uint uVar5;
  int iVar6;
  
  uVar5 = b->_mp_size;
  if (uVar5 == 0) {
    return (uint)(a == 1);
  }
  iVar6 = (uVar5 ^ (int)uVar5 >> 0x1f) - ((int)uVar5 >> 0x1f);
  puVar4 = b->_mp_d;
  uVar5 = *puVar4;
  if ((uVar5 & 1) == 0) {
    if ((a & 1) == 0) {
      return 0;
    }
    if (uVar5 == 0) {
      do {
        puVar4 = puVar4 + 1;
        uVar5 = *puVar4;
        iVar6 = iVar6 + -1;
      } while (uVar5 == 0);
      if ((uVar5 & 1) != 0) {
        uVar3 = 0;
        goto LAB_0002c897;
      }
    }
    if (uVar5 == 0x80000000) {
      if (iVar6 == 1) {
        return 1 - ((a ^ a >> 1) & 2);
      }
      uVar3 = 0;
      uVar5 = puVar4[1] * 2;
    }
    else {
      bVar1 = 0;
      for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {
        bVar1 = bVar1 + 1;
      }
      uVar5 = uVar5 >> (bVar1 & 0x1f);
      uVar3 = 0;
    }
  }
  else {
    if (a == 0) {
      return (uint)(uVar5 == 1 && iVar6 == 1);
    }
    uVar3 = 0;
    if ((a & 1) == 0) {
      iVar2 = 0;
      for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {
        iVar2 = iVar2 + 1;
      }
      a = a >> ((byte)iVar2 & 0x1f);
      uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);
    }
  }
LAB_0002c897:
  if (a == 1) {
    iVar6 = 1 - (uVar3 & 2);
  }
  else {
    if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {
      __gmpn_cpuvec_init();
    }
    if (iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)) {
      uVar3 = uVar3 ^ a;
      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);
    }
    else {
      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);
    }
    iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a);
  }
  return iVar6;
}



uint __regparm2 __gmpz_ui_kronecker(undefined4 param_1,undefined4 param_2,int param_3)

{
  int iVar1;
  byte bVar2;
  undefined4 uVar3;
  uint uVar4;
  uint *puVar5;
  int unaff_EBX;
  uint uVar6;
  int iVar7;
  uint unaff_retaddr;
  
  entry(param_2,0x2c839);
  uVar6 = *(uint *)(param_3 + 4);
  if (uVar6 == 0) {
    return (uint)(unaff_retaddr == 1);
  }
  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);
  puVar5 = *(uint **)(param_3 + 8);
  uVar6 = *puVar5;
  if ((uVar6 & 1) == 0) {
    if ((unaff_retaddr & 1) == 0) {
      return 0;
    }
    if (uVar6 == 0) {
      do {
        puVar5 = puVar5 + 1;
        uVar6 = *puVar5;
        iVar7 = iVar7 + -1;
      } while (uVar6 == 0);
      if ((uVar6 & 1) != 0) {
        uVar4 = 0;
        goto LAB_0002c897;
      }
    }
    if (uVar6 == 0x80000000) {
      if (iVar7 == 1) {
        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);
      }
      uVar4 = 0;
      uVar6 = puVar5[1] * 2;
    }
    else {
      bVar2 = 0;
      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {
        bVar2 = bVar2 + 1;
      }
      uVar6 = uVar6 >> (bVar2 & 0x1f);
      uVar4 = 0;
    }
  }
  else {
    if (unaff_retaddr == 0) {
      return (uint)(uVar6 == 1 && iVar7 == 1);
    }
    uVar4 = 0;
    if ((unaff_retaddr & 1) == 0) {
      iVar1 = 0;
      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {
        iVar1 = iVar1 + 1;
      }
      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);
      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);
    }
  }
LAB_0002c897:
  if (unaff_retaddr == 1) {
    uVar6 = 1 - (uVar4 & 2);
  }
  else {
    if (**(int **)(unaff_EBX + 0x7151f) == 0) {
      __gmpn_cpuvec_init();
    }
    iVar1 = *(int *)(unaff_EBX + 0x7155b);
    if (iVar7 < *(int *)(iVar1 + 0xa4)) {
      uVar4 = uVar4 ^ unaff_retaddr;
      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);
    }
    else {
      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);
    }
    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);
  }
  return uVar6;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
CALL 0x0001c340
ADD EBX,0x717c7
SUB ESP,0x1c
MOV EAX,dword ptr [ESP + 0x34]
MOV EDI,dword ptr [ESP + 0x30]
MOV ESI,dword ptr [EAX + 0x4]
TEST ESI,ESI
JZ 0x0002c918
MOV EDX,ESI
SAR EDX,0x1f
XOR ESI,EDX
SUB ESI,EDX
MOV EDX,dword ptr [EAX + 0x8]
MOV EBP,dword ptr [EDX]
TEST EBP,0x1
JNZ 0x0002c8f0
XOR EAX,EAX
TEST EDI,0x1
JZ 0x0002c8e5
TEST EBP,EBP
JZ 0x0002c980
CMP EBP,0x80000000
JZ 0x0002c9c0
XOR ECX,ECX
TZCNT ECX,EBP
SHR EBP,CL
XOR ECX,ECX
CMP EDI,0x1
JZ 0x0002c970
MOV EAX,dword ptr [EBX + 0xfffffd58]
MOV EAX,dword ptr [EAX]
TEST EAX,EAX
JZ 0x0002c9a0
MOV EAX,dword ptr [EBX + 0xfffffd94]
CMP dword ptr [EAX + 0xa4],ESI
JLE 0x0002c930
XOR ECX,EDI
MOV dword ptr [ESP + 0x8],ECX
PUSH 0x0
PUSH EDI
PUSH ESI
PUSH EDX
CALL dword ptr [EAX + 0x60]
MOV ECX,dword ptr [ESP + 0x18]
ADD ESP,0x10
AND EBP,EDI
SUB ESP,0x4
XOR ECX,EBP
PUSH ECX
PUSH EDI
PUSH EAX
CALL 0x0001b790
ADD ESP,0x10
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
TEST EDI,EDI
JZ 0x0002c950
XOR ECX,ECX
TEST EDI,0x1
JNZ 0x0002c897
XOR ECX,ECX
MOV EAX,EBP
TZCNT ECX,EDI
SHR EAX,0x1
SHR EDI,CL
XOR EAX,EBP
ADD ECX,ECX
AND ECX,EAX
JMP 0x0002c897
XOR EAX,EAX
CMP EDI,0x1
SETZ AL
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV dword ptr [ESP + 0x8],ECX
SUB ESP,0x4
PUSH EDI
PUSH ESI
PUSH EDX
CALL dword ptr [EAX + 0x40]
MOV ECX,dword ptr [ESP + 0x18]
ADD ESP,0x10
JMP 0x0002c8d3
CMP ESI,0x1
SETZ DL
XOR EAX,EAX
CMP EBP,0x1
SETZ AL
ADD ESP,0x1c
POP EBX
AND EAX,EDX
POP ESI
POP EDI
POP EBP
RET
AND ECX,0x2
MOV EAX,EDI
SUB EAX,ECX
JMP 0x0002c8e5
ADD EDX,0x4
MOV EBP,dword ptr [EDX]
SUB ESI,0x1
TEST EBP,EBP
JZ 0x0002c980
TEST EBP,0x1
JZ 0x0002c881
XOR ECX,ECX
JMP 0x0002c897
MOV dword ptr [ESP + 0xc],ECX
MOV dword ptr [ESP + 0x8],EDX
CALL 0x0001b700
MOV ECX,dword ptr [ESP + 0xc]
MOV EDX,dword ptr [ESP + 0x8]
JMP 0x0002c8b0
CMP ESI,0x1
JZ 0x0002c9d2
MOV EAX,dword ptr [EDX + 0x4]
XOR ECX,ECX
LEA EBP,[EAX + EAX*0x1]
JMP 0x0002c897
MOV EAX,EDI
SHR EAX,0x1
XOR EDI,EAX
MOV EAX,ESI
AND EDI,0x2
SUB EAX,EDI
JMP 0x0002c8e5
(translation_unit "uint __regparm2 __gmpz_ui_kronecker(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  byte bVar2;\n  undefined4 uVar3;\n  uint uVar4;\n  uint *puVar5;\n  int unaff_EBX;\n  uint uVar6;\n  int iVar7;\n  uint unaff_retaddr;\n  \n  entry(param_2,0x2c839);\n  uVar6 = *(uint *)(param_3 + 4);\n  if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }\n  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n  puVar5 = *(uint **)(param_3 + 8);\n  uVar6 = *puVar5;\n  if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }\nLAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }\n  return uVar6;\n}\n\n" (function_definition "uint __regparm2 __gmpz_ui_kronecker(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  byte bVar2;\n  undefined4 uVar3;\n  uint uVar4;\n  uint *puVar5;\n  int unaff_EBX;\n  uint uVar6;\n  int iVar7;\n  uint unaff_retaddr;\n  \n  entry(param_2,0x2c839);\n  uVar6 = *(uint *)(param_3 + 4);\n  if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }\n  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n  puVar5 = *(uint **)(param_3 + 8);\n  uVar6 = *puVar5;\n  if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }\nLAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }\n  return uVar6;\n}" type_identifier (ERROR "__regparm2" identifier) (function_declarator "__gmpz_ui_kronecker(undefined4 param_1,undefined4 param_2,int param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,int param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  byte bVar2;\n  undefined4 uVar3;\n  uint uVar4;\n  uint *puVar5;\n  int unaff_EBX;\n  uint uVar6;\n  int iVar7;\n  uint unaff_retaddr;\n  \n  entry(param_2,0x2c839);\n  uVar6 = *(uint *)(param_3 + 4);\n  if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }\n  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n  puVar5 = *(uint **)(param_3 + 8);\n  uVar6 = *puVar5;\n  if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }\nLAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }\n  return uVar6;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "byte bVar2;" type_identifier identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "int unaff_EBX;" primitive_type identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "uint unaff_retaddr;" type_identifier identifier ;) (expression_statement "entry(param_2,0x2c839);" (call_expression "entry(param_2,0x2c839)" identifier (argument_list "(param_2,0x2c839)" ( identifier , number_literal ))) ;) (expression_statement "uVar6 = *(uint *)(param_3 + 4);" (assignment_expression "uVar6 = *(uint *)(param_3 + 4)" identifier = (pointer_expression "*(uint *)(param_3 + 4)" * (cast_expression "(uint *)(param_3 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + 4)" ( (binary_expression "param_3 + 4" identifier + number_literal) ))))) ;) (if_statement "if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n    return (uint)(unaff_retaddr == 1);\n  }" { (return_statement "return (uint)(unaff_retaddr == 1);" return (call_expression "(uint)(unaff_retaddr == 1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(unaff_retaddr == 1)" ( (binary_expression "unaff_retaddr == 1" identifier == number_literal) ))) ;) })) (expression_statement "iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);" (assignment_expression "iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f)" identifier = (binary_expression "(uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f)" (parenthesized_expression "(uVar6 ^ (int)uVar6 >> 0x1f)" ( (binary_expression "uVar6 ^ (int)uVar6 >> 0x1f" identifier ^ (binary_expression "(int)uVar6 >> 0x1f" (cast_expression "(int)uVar6" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal)) )) - (parenthesized_expression "((int)uVar6 >> 0x1f)" ( (binary_expression "(int)uVar6 >> 0x1f" (cast_expression "(int)uVar6" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "puVar5 = *(uint **)(param_3 + 8);" (assignment_expression "puVar5 = *(uint **)(param_3 + 8)" identifier = (pointer_expression "*(uint **)(param_3 + 8)" * (cast_expression "(uint **)(param_3 + 8)" ( (type_descriptor "uint **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_3 + 8)" ( (binary_expression "param_3 + 8" identifier + number_literal) ))))) ;) (expression_statement "uVar6 = *puVar5;" (assignment_expression "uVar6 = *puVar5" identifier = (pointer_expression "*puVar5" * identifier)) ;) (if_statement "if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }" if (parenthesized_expression "((uVar6 & 1) == 0)" ( (binary_expression "(uVar6 & 1) == 0" (parenthesized_expression "(uVar6 & 1)" ( (binary_expression "uVar6 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }" { (if_statement "if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }" if (parenthesized_expression "((unaff_retaddr & 1) == 0)" ( (binary_expression "(unaff_retaddr & 1) == 0" (parenthesized_expression "(unaff_retaddr & 1)" ( (binary_expression "unaff_retaddr & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }" { (do_statement "do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);" do (compound_statement "{\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      }" { (expression_statement "puVar5 = puVar5 + 1;" (assignment_expression "puVar5 = puVar5 + 1" identifier = (binary_expression "puVar5 + 1" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar5;" (assignment_expression "uVar6 = *puVar5" identifier = (pointer_expression "*puVar5" * identifier)) ;) (expression_statement "iVar7 = iVar7 + -1;" (assignment_expression "iVar7 = iVar7 + -1" identifier = (binary_expression "iVar7 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) ;) (if_statement "if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }" if (parenthesized_expression "((uVar6 & 1) != 0)" ( (binary_expression "(uVar6 & 1) != 0" (parenthesized_expression "(uVar6 & 1)" ( (binary_expression "uVar6 & 1" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }" { (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (goto_statement "goto LAB_0002c897;" goto statement_identifier ;) })) })) (if_statement "if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }" if (parenthesized_expression "(uVar6 == 0x80000000)" ( (binary_expression "uVar6 == 0x80000000" identifier == number_literal) )) (compound_statement "{\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }" { (if_statement "if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }" if (parenthesized_expression "(iVar7 == 1)" ( (binary_expression "iVar7 == 1" identifier == number_literal) )) (compound_statement "{\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }" { (return_statement "return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);" return (binary_expression "1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2)" number_literal - (parenthesized_expression "((unaff_retaddr ^ unaff_retaddr >> 1) & 2)" ( (binary_expression "(unaff_retaddr ^ unaff_retaddr >> 1) & 2" (parenthesized_expression "(unaff_retaddr ^ unaff_retaddr >> 1)" ( (binary_expression "unaff_retaddr ^ unaff_retaddr >> 1" identifier ^ (binary_expression "unaff_retaddr >> 1" identifier >> number_literal)) )) & number_literal) ))) ;) })) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "uVar6 = puVar5[1] * 2;" (assignment_expression "uVar6 = puVar5[1] * 2" identifier = (binary_expression "puVar5[1] * 2" (subscript_expression "puVar5[1]" identifier [ number_literal ]) * number_literal)) ;) }) (else_clause "else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }" else (compound_statement "{\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }" { (expression_statement "bVar2 = 0;" (assignment_expression "bVar2 = 0" identifier = number_literal) ;) (for_statement "for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }" for ( (assignment_expression "uVar4 = uVar6" identifier = identifier) ; (binary_expression "(uVar4 & 1) == 0" (parenthesized_expression "(uVar4 & 1)" ( (binary_expression "uVar4 & 1" identifier & number_literal) )) == number_literal) ; (assignment_expression "uVar4 = uVar4 >> 1 | 0x80000000" identifier = (binary_expression "uVar4 >> 1 | 0x80000000" (binary_expression "uVar4 >> 1" identifier >> number_literal) | number_literal)) ) (compound_statement "{\n        bVar2 = bVar2 + 1;\n      }" { (expression_statement "bVar2 = bVar2 + 1;" (assignment_expression "bVar2 = bVar2 + 1" identifier = (binary_expression "bVar2 + 1" identifier + number_literal)) ;) })) (expression_statement "uVar6 = uVar6 >> (bVar2 & 0x1f);" (assignment_expression "uVar6 = uVar6 >> (bVar2 & 0x1f)" identifier = (binary_expression "uVar6 >> (bVar2 & 0x1f)" identifier >> (parenthesized_expression "(bVar2 & 0x1f)" ( (binary_expression "bVar2 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) }))) }) (else_clause "else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }" else (compound_statement "{\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }" { (if_statement "if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }" if (parenthesized_expression "(unaff_retaddr == 0)" ( (binary_expression "unaff_retaddr == 0" identifier == number_literal) )) (compound_statement "{\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }" { (return_statement "return (uint)(uVar6 == 1 && iVar7 == 1);" return (call_expression "(uint)(uVar6 == 1 && iVar7 == 1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar6 == 1 && iVar7 == 1)" ( (binary_expression "uVar6 == 1 && iVar7 == 1" (binary_expression "uVar6 == 1" identifier == number_literal) && (binary_expression "iVar7 == 1" identifier == number_literal)) ))) ;) })) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (if_statement "if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }" if (parenthesized_expression "((unaff_retaddr & 1) == 0)" ( (binary_expression "(unaff_retaddr & 1) == 0" (parenthesized_expression "(unaff_retaddr & 1)" ( (binary_expression "unaff_retaddr & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }" { (expression_statement "iVar1 = 0;" (assignment_expression "iVar1 = 0" identifier = number_literal) ;) (for_statement "for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }" for ( (assignment_expression "uVar4 = unaff_retaddr" identifier = identifier) ; (binary_expression "(uVar4 & 1) == 0" (parenthesized_expression "(uVar4 & 1)" ( (binary_expression "uVar4 & 1" identifier & number_literal) )) == number_literal) ; (assignment_expression "uVar4 = uVar4 >> 1 | 0x80000000" identifier = (binary_expression "uVar4 >> 1 | 0x80000000" (binary_expression "uVar4 >> 1" identifier >> number_literal) | number_literal)) ) (compound_statement "{\n        iVar1 = iVar1 + 1;\n      }" { (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) })) (expression_statement "unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);" (assignment_expression "unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f)" identifier = (binary_expression "unaff_retaddr >> ((byte)iVar1 & 0x1f)" identifier >> (parenthesized_expression "((byte)iVar1 & 0x1f)" ( (binary_expression "(byte)iVar1 & 0x1f" (cast_expression "(byte)iVar1" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (expression_statement "uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);" (assignment_expression "uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6)" identifier = (binary_expression "iVar1 * 2 & (uVar6 >> 1 ^ uVar6)" (binary_expression "iVar1 * 2" identifier * number_literal) & (parenthesized_expression "(uVar6 >> 1 ^ uVar6)" ( (binary_expression "uVar6 >> 1 ^ uVar6" (binary_expression "uVar6 >> 1" identifier >> number_literal) ^ identifier) )))) ;) })) }))) (labeled_statement "LAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" statement_identifier : (if_statement "if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" if (parenthesized_expression "(unaff_retaddr == 1)" ( (binary_expression "unaff_retaddr == 1" identifier == number_literal) )) (compound_statement "{\n    uVar6 = 1 - (uVar4 & 2);\n  }" { (expression_statement "uVar6 = 1 - (uVar4 & 2);" (assignment_expression "uVar6 = 1 - (uVar4 & 2)" identifier = (binary_expression "1 - (uVar4 & 2)" number_literal - (parenthesized_expression "(uVar4 & 2)" ( (binary_expression "uVar4 & 2" identifier & number_literal) )))) ;) }) (else_clause "else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" else (compound_statement "{\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" { (if_statement "if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }" if (parenthesized_expression "(**(int **)(unaff_EBX + 0x7151f) == 0)" ( (binary_expression "**(int **)(unaff_EBX + 0x7151f) == 0" (pointer_expression "**(int **)(unaff_EBX + 0x7151f)" * (pointer_expression "*(int **)(unaff_EBX + 0x7151f)" * (cast_expression "(int **)(unaff_EBX + 0x7151f)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(unaff_EBX + 0x7151f)" ( (binary_expression "unaff_EBX + 0x7151f" identifier + number_literal) ))))) == number_literal) )) (compound_statement "{\n      __gmpn_cpuvec_init();\n    }" { (expression_statement "__gmpn_cpuvec_init();" (call_expression "__gmpn_cpuvec_init()" identifier (argument_list "()" ( ))) ;) })) (expression_statement "iVar1 = *(int *)(unaff_EBX + 0x7155b);" (assignment_expression "iVar1 = *(int *)(unaff_EBX + 0x7155b)" identifier = (pointer_expression "*(int *)(unaff_EBX + 0x7155b)" * (cast_expression "(int *)(unaff_EBX + 0x7155b)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EBX + 0x7155b)" ( (binary_expression "unaff_EBX + 0x7155b" identifier + number_literal) ))))) ;) (if_statement "if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }" if (parenthesized_expression "(iVar7 < *(int *)(iVar1 + 0xa4))" ( (binary_expression "iVar7 < *(int *)(iVar1 + 0xa4)" identifier < (pointer_expression "*(int *)(iVar1 + 0xa4)" * (cast_expression "(int *)(iVar1 + 0xa4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0xa4)" ( (binary_expression "iVar1 + 0xa4" identifier + number_literal) ))))) )) (compound_statement "{\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }" { (expression_statement "uVar4 = uVar4 ^ unaff_retaddr;" (assignment_expression "uVar4 = uVar4 ^ unaff_retaddr" identifier = (binary_expression "uVar4 ^ unaff_retaddr" identifier ^ identifier)) ;) (expression_statement "uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);" (assignment_expression "uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0)" identifier = (call_expression "(**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0)" (parenthesized_expression "(**(code **)(iVar1 + 0x60))" ( (pointer_expression "**(code **)(iVar1 + 0x60)" * (pointer_expression "*(code **)(iVar1 + 0x60)" * (cast_expression "(code **)(iVar1 + 0x60)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(iVar1 + 0x60)" ( (binary_expression "iVar1 + 0x60" identifier + number_literal) ))))) )) (argument_list "(puVar5,iVar7,unaff_retaddr,0)" ( identifier , identifier , identifier , number_literal )))) ;) }) (else_clause "else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }" else (compound_statement "{\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }" { (expression_statement "uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);" (assignment_expression "uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr)" identifier = (call_expression "(**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr)" (parenthesized_expression "(**(code **)(iVar1 + 0x40))" ( (pointer_expression "**(code **)(iVar1 + 0x40)" * (pointer_expression "*(code **)(iVar1 + 0x40)" * (cast_expression "(code **)(iVar1 + 0x40)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(iVar1 + 0x40)" ( (binary_expression "iVar1 + 0x40" identifier + number_literal) ))))) )) (argument_list "(puVar5,iVar7,unaff_retaddr)" ( identifier , identifier , identifier )))) ;) }))) (expression_statement "uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);" (assignment_expression "uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr)" identifier = (call_expression "__gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr)" identifier (argument_list "(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr)" ( identifier , identifier , (binary_expression "uVar4 ^ uVar6 & unaff_retaddr" identifier ^ (binary_expression "uVar6 & unaff_retaddr" identifier & identifier)) )))) ;) })))) (return_statement "return uVar6;" return identifier ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nint __gmpz_ui_kronecker(ulong a,mpz_srcptr b)\n\n{\n  byte bVar1;\n  int iVar2;\n  mp_limb_t a_00;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar5 = b->_mp_size;\n  if (uVar5 == 0) {\n    return (uint)(a == 1);\n  }\n  iVar6 = (uVar5 ^ (int)uVar5 >> 0x1f) - ((int)uVar5 >> 0x1f);\n  puVar4 = b->_mp_d;\n  uVar5 = *puVar4;\n  if ((uVar5 & 1) == 0) {\n    if ((a & 1) == 0) {\n      return 0;\n    }\n    if (uVar5 == 0) {\n      do {\n        puVar4 = puVar4 + 1;\n        uVar5 = *puVar4;\n        iVar6 = iVar6 + -1;\n      } while (uVar5 == 0);\n      if ((uVar5 & 1) != 0) {\n        uVar3 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar5 == 0x80000000) {\n      if (iVar6 == 1) {\n        return 1 - ((a ^ a >> 1) & 2);\n      }\n      uVar3 = 0;\n      uVar5 = puVar4[1] * 2;\n    }\n    else {\n      bVar1 = 0;\n      for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        bVar1 = bVar1 + 1;\n      }\n      uVar5 = uVar5 >> (bVar1 & 0x1f);\n      uVar3 = 0;\n    }\n  }\n  else {\n    if (a == 0) {\n      return (uint)(uVar5 == 1 && iVar6 == 1);\n    }\n    uVar3 = 0;\n    if ((a & 1) == 0) {\n      iVar2 = 0;\n      for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        iVar2 = iVar2 + 1;\n      }\n      a = a >> ((byte)iVar2 & 0x1f);\n      uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);\n    }\n  }\nLAB_0002c897:\n  if (a == 1) {\n    iVar6 = 1 - (uVar3 & 2);\n  }\n  else {\n    if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {\n      __gmpn_cpuvec_init();\n    }\n    if (iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)) {\n      uVar3 = uVar3 ^ a;\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);\n    }\n    else {\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }\n    iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a);\n  }\n  return iVar6;\n}\n\n" comment (function_definition "int __gmpz_ui_kronecker(ulong a,mpz_srcptr b)\n\n{\n  byte bVar1;\n  int iVar2;\n  mp_limb_t a_00;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar5 = b->_mp_size;\n  if (uVar5 == 0) {\n    return (uint)(a == 1);\n  }\n  iVar6 = (uVar5 ^ (int)uVar5 >> 0x1f) - ((int)uVar5 >> 0x1f);\n  puVar4 = b->_mp_d;\n  uVar5 = *puVar4;\n  if ((uVar5 & 1) == 0) {\n    if ((a & 1) == 0) {\n      return 0;\n    }\n    if (uVar5 == 0) {\n      do {\n        puVar4 = puVar4 + 1;\n        uVar5 = *puVar4;\n        iVar6 = iVar6 + -1;\n      } while (uVar5 == 0);\n      if ((uVar5 & 1) != 0) {\n        uVar3 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar5 == 0x80000000) {\n      if (iVar6 == 1) {\n        return 1 - ((a ^ a >> 1) & 2);\n      }\n      uVar3 = 0;\n      uVar5 = puVar4[1] * 2;\n    }\n    else {\n      bVar1 = 0;\n      for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        bVar1 = bVar1 + 1;\n      }\n      uVar5 = uVar5 >> (bVar1 & 0x1f);\n      uVar3 = 0;\n    }\n  }\n  else {\n    if (a == 0) {\n      return (uint)(uVar5 == 1 && iVar6 == 1);\n    }\n    uVar3 = 0;\n    if ((a & 1) == 0) {\n      iVar2 = 0;\n      for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        iVar2 = iVar2 + 1;\n      }\n      a = a >> ((byte)iVar2 & 0x1f);\n      uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);\n    }\n  }\nLAB_0002c897:\n  if (a == 1) {\n    iVar6 = 1 - (uVar3 & 2);\n  }\n  else {\n    if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {\n      __gmpn_cpuvec_init();\n    }\n    if (iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)) {\n      uVar3 = uVar3 ^ a;\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);\n    }\n    else {\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }\n    iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a);\n  }\n  return iVar6;\n}" primitive_type (function_declarator "__gmpz_ui_kronecker(ulong a,mpz_srcptr b)" identifier (parameter_list "(ulong a,mpz_srcptr b)" ( (parameter_declaration "ulong a" type_identifier identifier) , (parameter_declaration "mpz_srcptr b" type_identifier identifier) ))) (compound_statement "{\n  byte bVar1;\n  int iVar2;\n  mp_limb_t a_00;\n  uint uVar3;\n  uint *puVar4;\n  uint uVar5;\n  int iVar6;\n  \n  uVar5 = b->_mp_size;\n  if (uVar5 == 0) {\n    return (uint)(a == 1);\n  }\n  iVar6 = (uVar5 ^ (int)uVar5 >> 0x1f) - ((int)uVar5 >> 0x1f);\n  puVar4 = b->_mp_d;\n  uVar5 = *puVar4;\n  if ((uVar5 & 1) == 0) {\n    if ((a & 1) == 0) {\n      return 0;\n    }\n    if (uVar5 == 0) {\n      do {\n        puVar4 = puVar4 + 1;\n        uVar5 = *puVar4;\n        iVar6 = iVar6 + -1;\n      } while (uVar5 == 0);\n      if ((uVar5 & 1) != 0) {\n        uVar3 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar5 == 0x80000000) {\n      if (iVar6 == 1) {\n        return 1 - ((a ^ a >> 1) & 2);\n      }\n      uVar3 = 0;\n      uVar5 = puVar4[1] * 2;\n    }\n    else {\n      bVar1 = 0;\n      for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        bVar1 = bVar1 + 1;\n      }\n      uVar5 = uVar5 >> (bVar1 & 0x1f);\n      uVar3 = 0;\n    }\n  }\n  else {\n    if (a == 0) {\n      return (uint)(uVar5 == 1 && iVar6 == 1);\n    }\n    uVar3 = 0;\n    if ((a & 1) == 0) {\n      iVar2 = 0;\n      for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        iVar2 = iVar2 + 1;\n      }\n      a = a >> ((byte)iVar2 & 0x1f);\n      uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);\n    }\n  }\nLAB_0002c897:\n  if (a == 1) {\n    iVar6 = 1 - (uVar3 & 2);\n  }\n  else {\n    if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {\n      __gmpn_cpuvec_init();\n    }\n    if (iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)) {\n      uVar3 = uVar3 ^ a;\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);\n    }\n    else {\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }\n    iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a);\n  }\n  return iVar6;\n}" { (declaration "byte bVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "mp_limb_t a_00;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "uVar5 = b->_mp_size;" (assignment_expression "uVar5 = b->_mp_size" identifier = (field_expression "b->_mp_size" identifier -> field_identifier)) ;) (if_statement "if (uVar5 == 0) {\n    return (uint)(a == 1);\n  }" if (parenthesized_expression "(uVar5 == 0)" ( (binary_expression "uVar5 == 0" identifier == number_literal) )) (compound_statement "{\n    return (uint)(a == 1);\n  }" { (return_statement "return (uint)(a == 1);" return (call_expression "(uint)(a == 1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(a == 1)" ( (binary_expression "a == 1" identifier == number_literal) ))) ;) })) (expression_statement "iVar6 = (uVar5 ^ (int)uVar5 >> 0x1f) - ((int)uVar5 >> 0x1f);" (assignment_expression "iVar6 = (uVar5 ^ (int)uVar5 >> 0x1f) - ((int)uVar5 >> 0x1f)" identifier = (binary_expression "(uVar5 ^ (int)uVar5 >> 0x1f) - ((int)uVar5 >> 0x1f)" (parenthesized_expression "(uVar5 ^ (int)uVar5 >> 0x1f)" ( (binary_expression "uVar5 ^ (int)uVar5 >> 0x1f" identifier ^ (binary_expression "(int)uVar5 >> 0x1f" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal)) )) - (parenthesized_expression "((int)uVar5 >> 0x1f)" ( (binary_expression "(int)uVar5 >> 0x1f" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "puVar4 = b->_mp_d;" (assignment_expression "puVar4 = b->_mp_d" identifier = (field_expression "b->_mp_d" identifier -> field_identifier)) ;) (expression_statement "uVar5 = *puVar4;" (assignment_expression "uVar5 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (if_statement "if ((uVar5 & 1) == 0) {\n    if ((a & 1) == 0) {\n      return 0;\n    }\n    if (uVar5 == 0) {\n      do {\n        puVar4 = puVar4 + 1;\n        uVar5 = *puVar4;\n        iVar6 = iVar6 + -1;\n      } while (uVar5 == 0);\n      if ((uVar5 & 1) != 0) {\n        uVar3 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar5 == 0x80000000) {\n      if (iVar6 == 1) {\n        return 1 - ((a ^ a >> 1) & 2);\n      }\n      uVar3 = 0;\n      uVar5 = puVar4[1] * 2;\n    }\n    else {\n      bVar1 = 0;\n      for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        bVar1 = bVar1 + 1;\n      }\n      uVar5 = uVar5 >> (bVar1 & 0x1f);\n      uVar3 = 0;\n    }\n  }\n  else {\n    if (a == 0) {\n      return (uint)(uVar5 == 1 && iVar6 == 1);\n    }\n    uVar3 = 0;\n    if ((a & 1) == 0) {\n      iVar2 = 0;\n      for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        iVar2 = iVar2 + 1;\n      }\n      a = a >> ((byte)iVar2 & 0x1f);\n      uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);\n    }\n  }" if (parenthesized_expression "((uVar5 & 1) == 0)" ( (binary_expression "(uVar5 & 1) == 0" (parenthesized_expression "(uVar5 & 1)" ( (binary_expression "uVar5 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    if ((a & 1) == 0) {\n      return 0;\n    }\n    if (uVar5 == 0) {\n      do {\n        puVar4 = puVar4 + 1;\n        uVar5 = *puVar4;\n        iVar6 = iVar6 + -1;\n      } while (uVar5 == 0);\n      if ((uVar5 & 1) != 0) {\n        uVar3 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar5 == 0x80000000) {\n      if (iVar6 == 1) {\n        return 1 - ((a ^ a >> 1) & 2);\n      }\n      uVar3 = 0;\n      uVar5 = puVar4[1] * 2;\n    }\n    else {\n      bVar1 = 0;\n      for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        bVar1 = bVar1 + 1;\n      }\n      uVar5 = uVar5 >> (bVar1 & 0x1f);\n      uVar3 = 0;\n    }\n  }" { (if_statement "if ((a & 1) == 0) {\n      return 0;\n    }" if (parenthesized_expression "((a & 1) == 0)" ( (binary_expression "(a & 1) == 0" (parenthesized_expression "(a & 1)" ( (binary_expression "a & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (uVar5 == 0) {\n      do {\n        puVar4 = puVar4 + 1;\n        uVar5 = *puVar4;\n        iVar6 = iVar6 + -1;\n      } while (uVar5 == 0);\n      if ((uVar5 & 1) != 0) {\n        uVar3 = 0;\n        goto LAB_0002c897;\n      }\n    }" if (parenthesized_expression "(uVar5 == 0)" ( (binary_expression "uVar5 == 0" identifier == number_literal) )) (compound_statement "{\n      do {\n        puVar4 = puVar4 + 1;\n        uVar5 = *puVar4;\n        iVar6 = iVar6 + -1;\n      } while (uVar5 == 0);\n      if ((uVar5 & 1) != 0) {\n        uVar3 = 0;\n        goto LAB_0002c897;\n      }\n    }" { (do_statement "do {\n        puVar4 = puVar4 + 1;\n        uVar5 = *puVar4;\n        iVar6 = iVar6 + -1;\n      } while (uVar5 == 0);" do (compound_statement "{\n        puVar4 = puVar4 + 1;\n        uVar5 = *puVar4;\n        iVar6 = iVar6 + -1;\n      }" { (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) (expression_statement "uVar5 = *puVar4;" (assignment_expression "uVar5 = *puVar4" identifier = (pointer_expression "*puVar4" * identifier)) ;) (expression_statement "iVar6 = iVar6 + -1;" (assignment_expression "iVar6 = iVar6 + -1" identifier = (binary_expression "iVar6 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar5 == 0)" ( (binary_expression "uVar5 == 0" identifier == number_literal) )) ;) (if_statement "if ((uVar5 & 1) != 0) {\n        uVar3 = 0;\n        goto LAB_0002c897;\n      }" if (parenthesized_expression "((uVar5 & 1) != 0)" ( (binary_expression "(uVar5 & 1) != 0" (parenthesized_expression "(uVar5 & 1)" ( (binary_expression "uVar5 & 1" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n        uVar3 = 0;\n        goto LAB_0002c897;\n      }" { (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (goto_statement "goto LAB_0002c897;" goto statement_identifier ;) })) })) (if_statement "if (uVar5 == 0x80000000) {\n      if (iVar6 == 1) {\n        return 1 - ((a ^ a >> 1) & 2);\n      }\n      uVar3 = 0;\n      uVar5 = puVar4[1] * 2;\n    }\n    else {\n      bVar1 = 0;\n      for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        bVar1 = bVar1 + 1;\n      }\n      uVar5 = uVar5 >> (bVar1 & 0x1f);\n      uVar3 = 0;\n    }" if (parenthesized_expression "(uVar5 == 0x80000000)" ( (binary_expression "uVar5 == 0x80000000" identifier == number_literal) )) (compound_statement "{\n      if (iVar6 == 1) {\n        return 1 - ((a ^ a >> 1) & 2);\n      }\n      uVar3 = 0;\n      uVar5 = puVar4[1] * 2;\n    }" { (if_statement "if (iVar6 == 1) {\n        return 1 - ((a ^ a >> 1) & 2);\n      }" if (parenthesized_expression "(iVar6 == 1)" ( (binary_expression "iVar6 == 1" identifier == number_literal) )) (compound_statement "{\n        return 1 - ((a ^ a >> 1) & 2);\n      }" { (return_statement "return 1 - ((a ^ a >> 1) & 2);" return (binary_expression "1 - ((a ^ a >> 1) & 2)" number_literal - (parenthesized_expression "((a ^ a >> 1) & 2)" ( (binary_expression "(a ^ a >> 1) & 2" (parenthesized_expression "(a ^ a >> 1)" ( (binary_expression "a ^ a >> 1" identifier ^ (binary_expression "a >> 1" identifier >> number_literal)) )) & number_literal) ))) ;) })) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (expression_statement "uVar5 = puVar4[1] * 2;" (assignment_expression "uVar5 = puVar4[1] * 2" identifier = (binary_expression "puVar4[1] * 2" (subscript_expression "puVar4[1]" identifier [ number_literal ]) * number_literal)) ;) }) (else_clause "else {\n      bVar1 = 0;\n      for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        bVar1 = bVar1 + 1;\n      }\n      uVar5 = uVar5 >> (bVar1 & 0x1f);\n      uVar3 = 0;\n    }" else (compound_statement "{\n      bVar1 = 0;\n      for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        bVar1 = bVar1 + 1;\n      }\n      uVar5 = uVar5 >> (bVar1 & 0x1f);\n      uVar3 = 0;\n    }" { (expression_statement "bVar1 = 0;" (assignment_expression "bVar1 = 0" identifier = number_literal) ;) (for_statement "for (uVar3 = uVar5; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        bVar1 = bVar1 + 1;\n      }" for ( (assignment_expression "uVar3 = uVar5" identifier = identifier) ; (binary_expression "(uVar3 & 1) == 0" (parenthesized_expression "(uVar3 & 1)" ( (binary_expression "uVar3 & 1" identifier & number_literal) )) == number_literal) ; (assignment_expression "uVar3 = uVar3 >> 1 | 0x80000000" identifier = (binary_expression "uVar3 >> 1 | 0x80000000" (binary_expression "uVar3 >> 1" identifier >> number_literal) | number_literal)) ) (compound_statement "{\n        bVar1 = bVar1 + 1;\n      }" { (expression_statement "bVar1 = bVar1 + 1;" (assignment_expression "bVar1 = bVar1 + 1" identifier = (binary_expression "bVar1 + 1" identifier + number_literal)) ;) })) (expression_statement "uVar5 = uVar5 >> (bVar1 & 0x1f);" (assignment_expression "uVar5 = uVar5 >> (bVar1 & 0x1f)" identifier = (binary_expression "uVar5 >> (bVar1 & 0x1f)" identifier >> (parenthesized_expression "(bVar1 & 0x1f)" ( (binary_expression "bVar1 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) }))) }) (else_clause "else {\n    if (a == 0) {\n      return (uint)(uVar5 == 1 && iVar6 == 1);\n    }\n    uVar3 = 0;\n    if ((a & 1) == 0) {\n      iVar2 = 0;\n      for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        iVar2 = iVar2 + 1;\n      }\n      a = a >> ((byte)iVar2 & 0x1f);\n      uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);\n    }\n  }" else (compound_statement "{\n    if (a == 0) {\n      return (uint)(uVar5 == 1 && iVar6 == 1);\n    }\n    uVar3 = 0;\n    if ((a & 1) == 0) {\n      iVar2 = 0;\n      for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        iVar2 = iVar2 + 1;\n      }\n      a = a >> ((byte)iVar2 & 0x1f);\n      uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);\n    }\n  }" { (if_statement "if (a == 0) {\n      return (uint)(uVar5 == 1 && iVar6 == 1);\n    }" if (parenthesized_expression "(a == 0)" ( (binary_expression "a == 0" identifier == number_literal) )) (compound_statement "{\n      return (uint)(uVar5 == 1 && iVar6 == 1);\n    }" { (return_statement "return (uint)(uVar5 == 1 && iVar6 == 1);" return (call_expression "(uint)(uVar5 == 1 && iVar6 == 1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 == 1 && iVar6 == 1)" ( (binary_expression "uVar5 == 1 && iVar6 == 1" (binary_expression "uVar5 == 1" identifier == number_literal) && (binary_expression "iVar6 == 1" identifier == number_literal)) ))) ;) })) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (if_statement "if ((a & 1) == 0) {\n      iVar2 = 0;\n      for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        iVar2 = iVar2 + 1;\n      }\n      a = a >> ((byte)iVar2 & 0x1f);\n      uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);\n    }" if (parenthesized_expression "((a & 1) == 0)" ( (binary_expression "(a & 1) == 0" (parenthesized_expression "(a & 1)" ( (binary_expression "a & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      iVar2 = 0;\n      for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        iVar2 = iVar2 + 1;\n      }\n      a = a >> ((byte)iVar2 & 0x1f);\n      uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);\n    }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (for_statement "for (uVar3 = a; (uVar3 & 1) == 0; uVar3 = uVar3 >> 1 | 0x80000000) {\n        iVar2 = iVar2 + 1;\n      }" for ( (assignment_expression "uVar3 = a" identifier = identifier) ; (binary_expression "(uVar3 & 1) == 0" (parenthesized_expression "(uVar3 & 1)" ( (binary_expression "uVar3 & 1" identifier & number_literal) )) == number_literal) ; (assignment_expression "uVar3 = uVar3 >> 1 | 0x80000000" identifier = (binary_expression "uVar3 >> 1 | 0x80000000" (binary_expression "uVar3 >> 1" identifier >> number_literal) | number_literal)) ) (compound_statement "{\n        iVar2 = iVar2 + 1;\n      }" { (expression_statement "iVar2 = iVar2 + 1;" (assignment_expression "iVar2 = iVar2 + 1" identifier = (binary_expression "iVar2 + 1" identifier + number_literal)) ;) })) (expression_statement "a = a >> ((byte)iVar2 & 0x1f);" (assignment_expression "a = a >> ((byte)iVar2 & 0x1f)" identifier = (binary_expression "a >> ((byte)iVar2 & 0x1f)" identifier >> (parenthesized_expression "((byte)iVar2 & 0x1f)" ( (binary_expression "(byte)iVar2 & 0x1f" (cast_expression "(byte)iVar2" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (expression_statement "uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5);" (assignment_expression "uVar3 = iVar2 * 2 & (uVar5 >> 1 ^ uVar5)" identifier = (binary_expression "iVar2 * 2 & (uVar5 >> 1 ^ uVar5)" (binary_expression "iVar2 * 2" identifier * number_literal) & (parenthesized_expression "(uVar5 >> 1 ^ uVar5)" ( (binary_expression "uVar5 >> 1 ^ uVar5" (binary_expression "uVar5 >> 1" identifier >> number_literal) ^ identifier) )))) ;) })) }))) (labeled_statement "LAB_0002c897:\n  if (a == 1) {\n    iVar6 = 1 - (uVar3 & 2);\n  }\n  else {\n    if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {\n      __gmpn_cpuvec_init();\n    }\n    if (iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)) {\n      uVar3 = uVar3 ^ a;\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);\n    }\n    else {\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }\n    iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a);\n  }" statement_identifier : (if_statement "if (a == 1) {\n    iVar6 = 1 - (uVar3 & 2);\n  }\n  else {\n    if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {\n      __gmpn_cpuvec_init();\n    }\n    if (iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)) {\n      uVar3 = uVar3 ^ a;\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);\n    }\n    else {\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }\n    iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a);\n  }" if (parenthesized_expression "(a == 1)" ( (binary_expression "a == 1" identifier == number_literal) )) (compound_statement "{\n    iVar6 = 1 - (uVar3 & 2);\n  }" { (expression_statement "iVar6 = 1 - (uVar3 & 2);" (assignment_expression "iVar6 = 1 - (uVar3 & 2)" identifier = (binary_expression "1 - (uVar3 & 2)" number_literal - (parenthesized_expression "(uVar3 & 2)" ( (binary_expression "uVar3 & 2" identifier & number_literal) )))) ;) }) (else_clause "else {\n    if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {\n      __gmpn_cpuvec_init();\n    }\n    if (iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)) {\n      uVar3 = uVar3 ^ a;\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);\n    }\n    else {\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }\n    iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a);\n  }" else (compound_statement "{\n    if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {\n      __gmpn_cpuvec_init();\n    }\n    if (iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)) {\n      uVar3 = uVar3 ^ a;\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);\n    }\n    else {\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }\n    iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a);\n  }" { (if_statement "if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {\n      __gmpn_cpuvec_init();\n    }" if (parenthesized_expression "(*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0)" ( (binary_expression "*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0" (pointer_expression "*(int *)PTR___gmpn_cpuvec_initialized_0009dd58" * (cast_expression "(int *)PTR___gmpn_cpuvec_initialized_0009dd58" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) == number_literal) )) (compound_statement "{\n      __gmpn_cpuvec_init();\n    }" { (expression_statement "__gmpn_cpuvec_init();" (call_expression "__gmpn_cpuvec_init()" identifier (argument_list "()" ( ))) ;) })) (if_statement "if (iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)) {\n      uVar3 = uVar3 ^ a;\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);\n    }\n    else {\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }" if (parenthesized_expression "(iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4))" ( (binary_expression "iVar6 < *(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)" identifier < (pointer_expression "*(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)" * (cast_expression "(int *)(PTR___gmpn_cpuvec_0009dd94 + 0xa4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR___gmpn_cpuvec_0009dd94 + 0xa4)" ( (binary_expression "PTR___gmpn_cpuvec_0009dd94 + 0xa4" identifier + number_literal) ))))) )) (compound_statement "{\n      uVar3 = uVar3 ^ a;\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);\n    }" { (expression_statement "uVar3 = uVar3 ^ a;" (assignment_expression "uVar3 = uVar3 ^ a" identifier = (binary_expression "uVar3 ^ a" identifier ^ identifier)) ;) (expression_statement "a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0);" (assignment_expression "a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0)" identifier = (call_expression "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))(puVar4,iVar6,a,0)" (parenthesized_expression "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60))" ( (pointer_expression "**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60)" * (pointer_expression "*(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60)" * (cast_expression "(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x60)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR___gmpn_cpuvec_0009dd94 + 0x60)" ( (binary_expression "PTR___gmpn_cpuvec_0009dd94 + 0x60" identifier + number_literal) ))))) )) (argument_list "(puVar4,iVar6,a,0)" ( identifier , identifier , identifier , number_literal )))) ;) }) (else_clause "else {\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }" else (compound_statement "{\n      a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);\n    }" { (expression_statement "a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a);" (assignment_expression "a_00 = (**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a)" identifier = (call_expression "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))(puVar4,iVar6,a)" (parenthesized_expression "(**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40))" ( (pointer_expression "**(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40)" * (pointer_expression "*(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40)" * (cast_expression "(code **)(PTR___gmpn_cpuvec_0009dd94 + 0x40)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR___gmpn_cpuvec_0009dd94 + 0x40)" ( (binary_expression "PTR___gmpn_cpuvec_0009dd94 + 0x40" identifier + number_literal) ))))) )) (argument_list "(puVar4,iVar6,a)" ( identifier , identifier , identifier )))) ;) }))) (expression_statement "iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a);" (assignment_expression "iVar6 = __gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a)" identifier = (call_expression "__gmpn_jacobi_base(a_00,a,uVar3 ^ uVar5 & a)" identifier (argument_list "(a_00,a,uVar3 ^ uVar5 & a)" ( identifier , identifier , (binary_expression "uVar3 ^ uVar5 & a" identifier ^ (binary_expression "uVar5 & a" identifier & identifier)) )))) ;) })))) (return_statement "return iVar6;" return identifier ;) })))
(translation_unit "uint __regparm2 __gmpz_ui_kronecker(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  byte bVar2;\n  undefined4 uVar3;\n  uint uVar4;\n  uint *puVar5;\n  int unaff_EBX;\n  uint uVar6;\n  int iVar7;\n  uint unaff_retaddr;\n  \n  entry(param_2,0x2c839);\n  uVar6 = *(uint *)(param_3 + 4);\n  if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }\n  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n  puVar5 = *(uint **)(param_3 + 8);\n  uVar6 = *puVar5;\n  if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }\nLAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }\n  return uVar6;\n}\n\n" (function_definition "uint __regparm2 __gmpz_ui_kronecker(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  byte bVar2;\n  undefined4 uVar3;\n  uint uVar4;\n  uint *puVar5;\n  int unaff_EBX;\n  uint uVar6;\n  int iVar7;\n  uint unaff_retaddr;\n  \n  entry(param_2,0x2c839);\n  uVar6 = *(uint *)(param_3 + 4);\n  if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }\n  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n  puVar5 = *(uint **)(param_3 + 8);\n  uVar6 = *puVar5;\n  if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }\nLAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }\n  return uVar6;\n}" type_identifier (ERROR "__regparm2" identifier) (function_declarator "__gmpz_ui_kronecker(undefined4 param_1,undefined4 param_2,int param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,int param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  byte bVar2;\n  undefined4 uVar3;\n  uint uVar4;\n  uint *puVar5;\n  int unaff_EBX;\n  uint uVar6;\n  int iVar7;\n  uint unaff_retaddr;\n  \n  entry(param_2,0x2c839);\n  uVar6 = *(uint *)(param_3 + 4);\n  if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }\n  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n  puVar5 = *(uint **)(param_3 + 8);\n  uVar6 = *puVar5;\n  if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }\nLAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }\n  return uVar6;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "byte bVar2;" type_identifier identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "int unaff_EBX;" primitive_type identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "uint unaff_retaddr;" type_identifier identifier ;) (expression_statement "entry(param_2,0x2c839);" (call_expression "entry(param_2,0x2c839)" identifier (argument_list "(param_2,0x2c839)" ( identifier , number_literal ))) ;) (expression_statement "uVar6 = *(uint *)(param_3 + 4);" (assignment_expression "uVar6 = *(uint *)(param_3 + 4)" identifier = (pointer_expression "*(uint *)(param_3 + 4)" * (cast_expression "(uint *)(param_3 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + 4)" ( (binary_expression "param_3 + 4" identifier + number_literal) ))))) ;) (if_statement "if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n    return (uint)(unaff_retaddr == 1);\n  }" { (return_statement "return (uint)(unaff_retaddr == 1);" return (call_expression "(uint)(unaff_retaddr == 1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(unaff_retaddr == 1)" ( (binary_expression "unaff_retaddr == 1" identifier == number_literal) ))) ;) })) (expression_statement "iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);" (assignment_expression "iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f)" identifier = (binary_expression "(uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f)" (parenthesized_expression "(uVar6 ^ (int)uVar6 >> 0x1f)" ( (binary_expression "uVar6 ^ (int)uVar6 >> 0x1f" identifier ^ (binary_expression "(int)uVar6 >> 0x1f" (cast_expression "(int)uVar6" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal)) )) - (parenthesized_expression "((int)uVar6 >> 0x1f)" ( (binary_expression "(int)uVar6 >> 0x1f" (cast_expression "(int)uVar6" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "puVar5 = *(uint **)(param_3 + 8);" (assignment_expression "puVar5 = *(uint **)(param_3 + 8)" identifier = (pointer_expression "*(uint **)(param_3 + 8)" * (cast_expression "(uint **)(param_3 + 8)" ( (type_descriptor "uint **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_3 + 8)" ( (binary_expression "param_3 + 8" identifier + number_literal) ))))) ;) (expression_statement "uVar6 = *puVar5;" (assignment_expression "uVar6 = *puVar5" identifier = (pointer_expression "*puVar5" * identifier)) ;) (if_statement "if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }" if (parenthesized_expression "((uVar6 & 1) == 0)" ( (binary_expression "(uVar6 & 1) == 0" (parenthesized_expression "(uVar6 & 1)" ( (binary_expression "uVar6 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }" { (if_statement "if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }" if (parenthesized_expression "((unaff_retaddr & 1) == 0)" ( (binary_expression "(unaff_retaddr & 1) == 0" (parenthesized_expression "(unaff_retaddr & 1)" ( (binary_expression "unaff_retaddr & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }" { (do_statement "do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);" do (compound_statement "{\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      }" { (expression_statement "puVar5 = puVar5 + 1;" (assignment_expression "puVar5 = puVar5 + 1" identifier = (binary_expression "puVar5 + 1" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar5;" (assignment_expression "uVar6 = *puVar5" identifier = (pointer_expression "*puVar5" * identifier)) ;) (expression_statement "iVar7 = iVar7 + -1;" (assignment_expression "iVar7 = iVar7 + -1" identifier = (binary_expression "iVar7 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) ;) (if_statement "if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }" if (parenthesized_expression "((uVar6 & 1) != 0)" ( (binary_expression "(uVar6 & 1) != 0" (parenthesized_expression "(uVar6 & 1)" ( (binary_expression "uVar6 & 1" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }" { (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (goto_statement "goto LAB_0002c897;" goto statement_identifier ;) })) })) (if_statement "if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }" if (parenthesized_expression "(uVar6 == 0x80000000)" ( (binary_expression "uVar6 == 0x80000000" identifier == number_literal) )) (compound_statement "{\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }" { (if_statement "if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }" if (parenthesized_expression "(iVar7 == 1)" ( (binary_expression "iVar7 == 1" identifier == number_literal) )) (compound_statement "{\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }" { (return_statement "return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);" return (binary_expression "1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2)" number_literal - (parenthesized_expression "((unaff_retaddr ^ unaff_retaddr >> 1) & 2)" ( (binary_expression "(unaff_retaddr ^ unaff_retaddr >> 1) & 2" (parenthesized_expression "(unaff_retaddr ^ unaff_retaddr >> 1)" ( (binary_expression "unaff_retaddr ^ unaff_retaddr >> 1" identifier ^ (binary_expression "unaff_retaddr >> 1" identifier >> number_literal)) )) & number_literal) ))) ;) })) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "uVar6 = puVar5[1] * 2;" (assignment_expression "uVar6 = puVar5[1] * 2" identifier = (binary_expression "puVar5[1] * 2" (subscript_expression "puVar5[1]" identifier [ number_literal ]) * number_literal)) ;) }) (else_clause "else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }" else (compound_statement "{\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }" { (expression_statement "bVar2 = 0;" (assignment_expression "bVar2 = 0" identifier = number_literal) ;) (for_statement "for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }" for ( (assignment_expression "uVar4 = uVar6" identifier = identifier) ; (binary_expression "(uVar4 & 1) == 0" (parenthesized_expression "(uVar4 & 1)" ( (binary_expression "uVar4 & 1" identifier & number_literal) )) == number_literal) ; (assignment_expression "uVar4 = uVar4 >> 1 | 0x80000000" identifier = (binary_expression "uVar4 >> 1 | 0x80000000" (binary_expression "uVar4 >> 1" identifier >> number_literal) | number_literal)) ) (compound_statement "{\n        bVar2 = bVar2 + 1;\n      }" { (expression_statement "bVar2 = bVar2 + 1;" (assignment_expression "bVar2 = bVar2 + 1" identifier = (binary_expression "bVar2 + 1" identifier + number_literal)) ;) })) (expression_statement "uVar6 = uVar6 >> (bVar2 & 0x1f);" (assignment_expression "uVar6 = uVar6 >> (bVar2 & 0x1f)" identifier = (binary_expression "uVar6 >> (bVar2 & 0x1f)" identifier >> (parenthesized_expression "(bVar2 & 0x1f)" ( (binary_expression "bVar2 & 0x1f" identifier & number_literal) )))) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) }))) }) (else_clause "else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }" else (compound_statement "{\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }" { (if_statement "if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }" if (parenthesized_expression "(unaff_retaddr == 0)" ( (binary_expression "unaff_retaddr == 0" identifier == number_literal) )) (compound_statement "{\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }" { (return_statement "return (uint)(uVar6 == 1 && iVar7 == 1);" return (call_expression "(uint)(uVar6 == 1 && iVar7 == 1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar6 == 1 && iVar7 == 1)" ( (binary_expression "uVar6 == 1 && iVar7 == 1" (binary_expression "uVar6 == 1" identifier == number_literal) && (binary_expression "iVar7 == 1" identifier == number_literal)) ))) ;) })) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (if_statement "if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }" if (parenthesized_expression "((unaff_retaddr & 1) == 0)" ( (binary_expression "(unaff_retaddr & 1) == 0" (parenthesized_expression "(unaff_retaddr & 1)" ( (binary_expression "unaff_retaddr & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }" { (expression_statement "iVar1 = 0;" (assignment_expression "iVar1 = 0" identifier = number_literal) ;) (for_statement "for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }" for ( (assignment_expression "uVar4 = unaff_retaddr" identifier = identifier) ; (binary_expression "(uVar4 & 1) == 0" (parenthesized_expression "(uVar4 & 1)" ( (binary_expression "uVar4 & 1" identifier & number_literal) )) == number_literal) ; (assignment_expression "uVar4 = uVar4 >> 1 | 0x80000000" identifier = (binary_expression "uVar4 >> 1 | 0x80000000" (binary_expression "uVar4 >> 1" identifier >> number_literal) | number_literal)) ) (compound_statement "{\n        iVar1 = iVar1 + 1;\n      }" { (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) })) (expression_statement "unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);" (assignment_expression "unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f)" identifier = (binary_expression "unaff_retaddr >> ((byte)iVar1 & 0x1f)" identifier >> (parenthesized_expression "((byte)iVar1 & 0x1f)" ( (binary_expression "(byte)iVar1 & 0x1f" (cast_expression "(byte)iVar1" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (expression_statement "uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);" (assignment_expression "uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6)" identifier = (binary_expression "iVar1 * 2 & (uVar6 >> 1 ^ uVar6)" (binary_expression "iVar1 * 2" identifier * number_literal) & (parenthesized_expression "(uVar6 >> 1 ^ uVar6)" ( (binary_expression "uVar6 >> 1 ^ uVar6" (binary_expression "uVar6 >> 1" identifier >> number_literal) ^ identifier) )))) ;) })) }))) (labeled_statement "LAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" statement_identifier : (if_statement "if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" if (parenthesized_expression "(unaff_retaddr == 1)" ( (binary_expression "unaff_retaddr == 1" identifier == number_literal) )) (compound_statement "{\n    uVar6 = 1 - (uVar4 & 2);\n  }" { (expression_statement "uVar6 = 1 - (uVar4 & 2);" (assignment_expression "uVar6 = 1 - (uVar4 & 2)" identifier = (binary_expression "1 - (uVar4 & 2)" number_literal - (parenthesized_expression "(uVar4 & 2)" ( (binary_expression "uVar4 & 2" identifier & number_literal) )))) ;) }) (else_clause "else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" else (compound_statement "{\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" { (if_statement "if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }" if (parenthesized_expression "(**(int **)(unaff_EBX + 0x7151f) == 0)" ( (binary_expression "**(int **)(unaff_EBX + 0x7151f) == 0" (pointer_expression "**(int **)(unaff_EBX + 0x7151f)" * (pointer_expression "*(int **)(unaff_EBX + 0x7151f)" * (cast_expression "(int **)(unaff_EBX + 0x7151f)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(unaff_EBX + 0x7151f)" ( (binary_expression "unaff_EBX + 0x7151f" identifier + number_literal) ))))) == number_literal) )) (compound_statement "{\n      __gmpn_cpuvec_init();\n    }" { (expression_statement "__gmpn_cpuvec_init();" (call_expression "__gmpn_cpuvec_init()" identifier (argument_list "()" ( ))) ;) })) (expression_statement "iVar1 = *(int *)(unaff_EBX + 0x7155b);" (assignment_expression "iVar1 = *(int *)(unaff_EBX + 0x7155b)" identifier = (pointer_expression "*(int *)(unaff_EBX + 0x7155b)" * (cast_expression "(int *)(unaff_EBX + 0x7155b)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EBX + 0x7155b)" ( (binary_expression "unaff_EBX + 0x7155b" identifier + number_literal) ))))) ;) (if_statement "if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }" if (parenthesized_expression "(iVar7 < *(int *)(iVar1 + 0xa4))" ( (binary_expression "iVar7 < *(int *)(iVar1 + 0xa4)" identifier < (pointer_expression "*(int *)(iVar1 + 0xa4)" * (cast_expression "(int *)(iVar1 + 0xa4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0xa4)" ( (binary_expression "iVar1 + 0xa4" identifier + number_literal) ))))) )) (compound_statement "{\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }" { (expression_statement "uVar4 = uVar4 ^ unaff_retaddr;" (assignment_expression "uVar4 = uVar4 ^ unaff_retaddr" identifier = (binary_expression "uVar4 ^ unaff_retaddr" identifier ^ identifier)) ;) (expression_statement "uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);" (assignment_expression "uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0)" identifier = (call_expression "(**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0)" (parenthesized_expression "(**(code **)(iVar1 + 0x60))" ( (pointer_expression "**(code **)(iVar1 + 0x60)" * (pointer_expression "*(code **)(iVar1 + 0x60)" * (cast_expression "(code **)(iVar1 + 0x60)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(iVar1 + 0x60)" ( (binary_expression "iVar1 + 0x60" identifier + number_literal) ))))) )) (argument_list "(puVar5,iVar7,unaff_retaddr,0)" ( identifier , identifier , identifier , number_literal )))) ;) }) (else_clause "else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }" else (compound_statement "{\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }" { (expression_statement "uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);" (assignment_expression "uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr)" identifier = (call_expression "(**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr)" (parenthesized_expression "(**(code **)(iVar1 + 0x40))" ( (pointer_expression "**(code **)(iVar1 + 0x40)" * (pointer_expression "*(code **)(iVar1 + 0x40)" * (cast_expression "(code **)(iVar1 + 0x40)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(iVar1 + 0x40)" ( (binary_expression "iVar1 + 0x40" identifier + number_literal) ))))) )) (argument_list "(puVar5,iVar7,unaff_retaddr)" ( identifier , identifier , identifier )))) ;) }))) (expression_statement "uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);" (assignment_expression "uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr)" identifier = (call_expression "__gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr)" identifier (argument_list "(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr)" ( identifier , identifier , (binary_expression "uVar4 ^ uVar6 & unaff_retaddr" identifier ^ (binary_expression "uVar6 & unaff_retaddr" identifier & identifier)) )))) ;) })))) (return_statement "return uVar6;" return identifier ;) })))
(translation_unit (function_definition TYPE (ERROR IDENT) (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT ))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT == LIT) ))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT ^ (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT)) )) - (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) )) (compound_statement { (return_statement return LIT ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (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)) ;) }) while (parenthesized_expression ( (binary_expression IDENT == LIT) )) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (goto_statement goto statement_identifier ;) })) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return (binary_expression LIT - (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT ^ (binary_expression IDENT >> LIT)) )) & LIT) ))) ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) * LIT)) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (for_statement for ( (assignment_expression IDENT = IDENT) ; (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) ; (assignment_expression IDENT = (binary_expression (binary_expression IDENT >> LIT) | LIT)) ) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) }))) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression IDENT == LIT) && (binary_expression IDENT == LIT)) ))) ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (for_statement for ( (assignment_expression IDENT = IDENT) ; (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) ; (assignment_expression IDENT = (binary_expression (binary_expression IDENT >> LIT) | LIT)) ) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) & (parenthesized_expression ( (binary_expression (binary_expression IDENT >> LIT) ^ IDENT) )))) ;) })) }))) (labeled_statement statement_identifier : (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression LIT - (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( ))) ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT ^ IDENT)) ;) (expression_statement (assignment_expression IDENT = (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 , IDENT , IDENT , LIT )))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (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 , IDENT , IDENT )))) ;) }))) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT , (binary_expression IDENT ^ (binary_expression IDENT & IDENT)) )))) ;) })))) (return_statement return IDENT ;) })))
(function_definition "uint __regparm2 __gmpz_ui_kronecker(undefined4 param_1,undefined4 param_2,int param_3)\n\n{\n  int iVar1;\n  byte bVar2;\n  undefined4 uVar3;\n  uint uVar4;\n  uint *puVar5;\n  int unaff_EBX;\n  uint uVar6;\n  int iVar7;\n  uint unaff_retaddr;\n  \n  entry(param_2,0x2c839);\n  uVar6 = *(uint *)(param_3 + 4);\n  if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }\n  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n  puVar5 = *(uint **)(param_3 + 8);\n  uVar6 = *puVar5;\n  if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }\nLAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }\n  return uVar6;\n}" (type_identifier "uint") (ERROR "__regparm2" (identifier "__regparm2")) (function_declarator "__gmpz_ui_kronecker(undefined4 param_1,undefined4 param_2,int param_3)" (identifier "__gmpz_ui_kronecker") (parameter_list "(undefined4 param_1,undefined4 param_2,int param_3)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) (, ",") (parameter_declaration "int param_3" (primitive_type "int") (identifier "param_3")) () ")"))) (compound_statement "{\n  int iVar1;\n  byte bVar2;\n  undefined4 uVar3;\n  uint uVar4;\n  uint *puVar5;\n  int unaff_EBX;\n  uint uVar6;\n  int iVar7;\n  uint unaff_retaddr;\n  \n  entry(param_2,0x2c839);\n  uVar6 = *(uint *)(param_3 + 4);\n  if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }\n  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);\n  puVar5 = *(uint **)(param_3 + 8);\n  uVar6 = *puVar5;\n  if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }\nLAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }\n  return uVar6;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "byte bVar2;" (type_identifier "byte") (identifier "bVar2") (; ";")) (declaration "undefined4 uVar3;" (type_identifier "undefined4") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint *puVar5;" (type_identifier "uint") (pointer_declarator "*puVar5" (* "*") (identifier "puVar5")) (; ";")) (declaration "int unaff_EBX;" (primitive_type "int") (identifier "unaff_EBX") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "int iVar7;" (primitive_type "int") (identifier "iVar7") (; ";")) (declaration "uint unaff_retaddr;" (type_identifier "uint") (identifier "unaff_retaddr") (; ";")) (expression_statement "entry(param_2,0x2c839);" (call_expression "entry(param_2,0x2c839)" (identifier "entry") (argument_list "(param_2,0x2c839)" (( "(") (identifier "param_2") (, ",") (number_literal "0x2c839") () ")"))) (; ";")) (expression_statement "uVar6 = *(uint *)(param_3 + 4);" (assignment_expression "uVar6 = *(uint *)(param_3 + 4)" (identifier "uVar6") (= "=") (pointer_expression "*(uint *)(param_3 + 4)" (* "*") (cast_expression "(uint *)(param_3 + 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_3 + 4)" (( "(") (binary_expression "param_3 + 4" (identifier "param_3") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (if_statement "if (uVar6 == 0) {\n    return (uint)(unaff_retaddr == 1);\n  }" (if "if") (parenthesized_expression "(uVar6 == 0)" (( "(") (binary_expression "uVar6 == 0" (identifier "uVar6") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    return (uint)(unaff_retaddr == 1);\n  }" ({ "{") (return_statement "return (uint)(unaff_retaddr == 1);" (return "return") (call_expression "(uint)(unaff_retaddr == 1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(unaff_retaddr == 1)" (( "(") (binary_expression "unaff_retaddr == 1" (identifier "unaff_retaddr") (== "==") (number_literal "1")) () ")"))) (; ";")) (} "}"))) (expression_statement "iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);" (assignment_expression "iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f)" (identifier "iVar7") (= "=") (binary_expression "(uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f)" (parenthesized_expression "(uVar6 ^ (int)uVar6 >> 0x1f)" (( "(") (binary_expression "uVar6 ^ (int)uVar6 >> 0x1f" (identifier "uVar6") (^ "^") (binary_expression "(int)uVar6 >> 0x1f" (cast_expression "(int)uVar6" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar6")) (>> ">>") (number_literal "0x1f"))) () ")")) (- "-") (parenthesized_expression "((int)uVar6 >> 0x1f)" (( "(") (binary_expression "(int)uVar6 >> 0x1f" (cast_expression "(int)uVar6" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar6")) (>> ">>") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "puVar5 = *(uint **)(param_3 + 8);" (assignment_expression "puVar5 = *(uint **)(param_3 + 8)" (identifier "puVar5") (= "=") (pointer_expression "*(uint **)(param_3 + 8)" (* "*") (cast_expression "(uint **)(param_3 + 8)" (( "(") (type_descriptor "uint **" (type_identifier "uint") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(param_3 + 8)" (( "(") (binary_expression "param_3 + 8" (identifier "param_3") (+ "+") (number_literal "8")) () ")"))))) (; ";")) (expression_statement "uVar6 = *puVar5;" (assignment_expression "uVar6 = *puVar5" (identifier "uVar6") (= "=") (pointer_expression "*puVar5" (* "*") (identifier "puVar5"))) (; ";")) (if_statement "if ((uVar6 & 1) == 0) {\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }\n  else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }" (if "if") (parenthesized_expression "((uVar6 & 1) == 0)" (( "(") (binary_expression "(uVar6 & 1) == 0" (parenthesized_expression "(uVar6 & 1)" (( "(") (binary_expression "uVar6 & 1" (identifier "uVar6") (& "&") (number_literal "1")) () ")")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }\n    if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }\n    if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }\n  }" ({ "{") (if_statement "if ((unaff_retaddr & 1) == 0) {\n      return 0;\n    }" (if "if") (parenthesized_expression "((unaff_retaddr & 1) == 0)" (( "(") (binary_expression "(unaff_retaddr & 1) == 0" (parenthesized_expression "(unaff_retaddr & 1)" (( "(") (binary_expression "unaff_retaddr & 1" (identifier "unaff_retaddr") (& "&") (number_literal "1")) () ")")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (if_statement "if (uVar6 == 0) {\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }" (if "if") (parenthesized_expression "(uVar6 == 0)" (( "(") (binary_expression "uVar6 == 0" (identifier "uVar6") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);\n      if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }\n    }" ({ "{") (do_statement "do {\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      } while (uVar6 == 0);" (do "do") (compound_statement "{\n        puVar5 = puVar5 + 1;\n        uVar6 = *puVar5;\n        iVar7 = iVar7 + -1;\n      }" ({ "{") (expression_statement "puVar5 = puVar5 + 1;" (assignment_expression "puVar5 = puVar5 + 1" (identifier "puVar5") (= "=") (binary_expression "puVar5 + 1" (identifier "puVar5") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar6 = *puVar5;" (assignment_expression "uVar6 = *puVar5" (identifier "uVar6") (= "=") (pointer_expression "*puVar5" (* "*") (identifier "puVar5"))) (; ";")) (expression_statement "iVar7 = iVar7 + -1;" (assignment_expression "iVar7 = iVar7 + -1" (identifier "iVar7") (= "=") (binary_expression "iVar7 + -1" (identifier "iVar7") (+ "+") (number_literal "-1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar6 == 0)" (( "(") (binary_expression "uVar6 == 0" (identifier "uVar6") (== "==") (number_literal "0")) () ")")) (; ";")) (if_statement "if ((uVar6 & 1) != 0) {\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }" (if "if") (parenthesized_expression "((uVar6 & 1) != 0)" (( "(") (binary_expression "(uVar6 & 1) != 0" (parenthesized_expression "(uVar6 & 1)" (( "(") (binary_expression "uVar6 & 1" (identifier "uVar6") (& "&") (number_literal "1")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        uVar4 = 0;\n        goto LAB_0002c897;\n      }" ({ "{") (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (goto_statement "goto LAB_0002c897;" (goto "goto") (statement_identifier "LAB_0002c897") (; ";")) (} "}"))) (} "}"))) (if_statement "if (uVar6 == 0x80000000) {\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }\n    else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }" (if "if") (parenthesized_expression "(uVar6 == 0x80000000)" (( "(") (binary_expression "uVar6 == 0x80000000" (identifier "uVar6") (== "==") (number_literal "0x80000000")) () ")")) (compound_statement "{\n      if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }\n      uVar4 = 0;\n      uVar6 = puVar5[1] * 2;\n    }" ({ "{") (if_statement "if (iVar7 == 1) {\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }" (if "if") (parenthesized_expression "(iVar7 == 1)" (( "(") (binary_expression "iVar7 == 1" (identifier "iVar7") (== "==") (number_literal "1")) () ")")) (compound_statement "{\n        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);\n      }" ({ "{") (return_statement "return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);" (return "return") (binary_expression "1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2)" (number_literal "1") (- "-") (parenthesized_expression "((unaff_retaddr ^ unaff_retaddr >> 1) & 2)" (( "(") (binary_expression "(unaff_retaddr ^ unaff_retaddr >> 1) & 2" (parenthesized_expression "(unaff_retaddr ^ unaff_retaddr >> 1)" (( "(") (binary_expression "unaff_retaddr ^ unaff_retaddr >> 1" (identifier "unaff_retaddr") (^ "^") (binary_expression "unaff_retaddr >> 1" (identifier "unaff_retaddr") (>> ">>") (number_literal "1"))) () ")")) (& "&") (number_literal "2")) () ")"))) (; ";")) (} "}"))) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar6 = puVar5[1] * 2;" (assignment_expression "uVar6 = puVar5[1] * 2" (identifier "uVar6") (= "=") (binary_expression "puVar5[1] * 2" (subscript_expression "puVar5[1]" (identifier "puVar5") ([ "[") (number_literal "1") (] "]")) (* "*") (number_literal "2"))) (; ";")) (} "}")) (else_clause "else {\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }" (else "else") (compound_statement "{\n      bVar2 = 0;\n      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }\n      uVar6 = uVar6 >> (bVar2 & 0x1f);\n      uVar4 = 0;\n    }" ({ "{") (expression_statement "bVar2 = 0;" (assignment_expression "bVar2 = 0" (identifier "bVar2") (= "=") (number_literal "0")) (; ";")) (for_statement "for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        bVar2 = bVar2 + 1;\n      }" (for "for") (( "(") (assignment_expression "uVar4 = uVar6" (identifier "uVar4") (= "=") (identifier "uVar6")) (; ";") (binary_expression "(uVar4 & 1) == 0" (parenthesized_expression "(uVar4 & 1)" (( "(") (binary_expression "uVar4 & 1" (identifier "uVar4") (& "&") (number_literal "1")) () ")")) (== "==") (number_literal "0")) (; ";") (assignment_expression "uVar4 = uVar4 >> 1 | 0x80000000" (identifier "uVar4") (= "=") (binary_expression "uVar4 >> 1 | 0x80000000" (binary_expression "uVar4 >> 1" (identifier "uVar4") (>> ">>") (number_literal "1")) (| "|") (number_literal "0x80000000"))) () ")") (compound_statement "{\n        bVar2 = bVar2 + 1;\n      }" ({ "{") (expression_statement "bVar2 = bVar2 + 1;" (assignment_expression "bVar2 = bVar2 + 1" (identifier "bVar2") (= "=") (binary_expression "bVar2 + 1" (identifier "bVar2") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (expression_statement "uVar6 = uVar6 >> (bVar2 & 0x1f);" (assignment_expression "uVar6 = uVar6 >> (bVar2 & 0x1f)" (identifier "uVar6") (= "=") (binary_expression "uVar6 >> (bVar2 & 0x1f)" (identifier "uVar6") (>> ">>") (parenthesized_expression "(bVar2 & 0x1f)" (( "(") (binary_expression "bVar2 & 0x1f" (identifier "bVar2") (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (} "}")))) (} "}")) (else_clause "else {\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }" (else "else") (compound_statement "{\n    if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }\n    uVar4 = 0;\n    if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }\n  }" ({ "{") (if_statement "if (unaff_retaddr == 0) {\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }" (if "if") (parenthesized_expression "(unaff_retaddr == 0)" (( "(") (binary_expression "unaff_retaddr == 0" (identifier "unaff_retaddr") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      return (uint)(uVar6 == 1 && iVar7 == 1);\n    }" ({ "{") (return_statement "return (uint)(uVar6 == 1 && iVar7 == 1);" (return "return") (call_expression "(uint)(uVar6 == 1 && iVar7 == 1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar6 == 1 && iVar7 == 1)" (( "(") (binary_expression "uVar6 == 1 && iVar7 == 1" (binary_expression "uVar6 == 1" (identifier "uVar6") (== "==") (number_literal "1")) (&& "&&") (binary_expression "iVar7 == 1" (identifier "iVar7") (== "==") (number_literal "1"))) () ")"))) (; ";")) (} "}"))) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (if_statement "if ((unaff_retaddr & 1) == 0) {\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }" (if "if") (parenthesized_expression "((unaff_retaddr & 1) == 0)" (( "(") (binary_expression "(unaff_retaddr & 1) == 0" (parenthesized_expression "(unaff_retaddr & 1)" (( "(") (binary_expression "unaff_retaddr & 1" (identifier "unaff_retaddr") (& "&") (number_literal "1")) () ")")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      iVar1 = 0;\n      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }\n      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);\n      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);\n    }" ({ "{") (expression_statement "iVar1 = 0;" (assignment_expression "iVar1 = 0" (identifier "iVar1") (= "=") (number_literal "0")) (; ";")) (for_statement "for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {\n        iVar1 = iVar1 + 1;\n      }" (for "for") (( "(") (assignment_expression "uVar4 = unaff_retaddr" (identifier "uVar4") (= "=") (identifier "unaff_retaddr")) (; ";") (binary_expression "(uVar4 & 1) == 0" (parenthesized_expression "(uVar4 & 1)" (( "(") (binary_expression "uVar4 & 1" (identifier "uVar4") (& "&") (number_literal "1")) () ")")) (== "==") (number_literal "0")) (; ";") (assignment_expression "uVar4 = uVar4 >> 1 | 0x80000000" (identifier "uVar4") (= "=") (binary_expression "uVar4 >> 1 | 0x80000000" (binary_expression "uVar4 >> 1" (identifier "uVar4") (>> ">>") (number_literal "1")) (| "|") (number_literal "0x80000000"))) () ")") (compound_statement "{\n        iVar1 = iVar1 + 1;\n      }" ({ "{") (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" (identifier "iVar1") (= "=") (binary_expression "iVar1 + 1" (identifier "iVar1") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (expression_statement "unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);" (assignment_expression "unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f)" (identifier "unaff_retaddr") (= "=") (binary_expression "unaff_retaddr >> ((byte)iVar1 & 0x1f)" (identifier "unaff_retaddr") (>> ">>") (parenthesized_expression "((byte)iVar1 & 0x1f)" (( "(") (binary_expression "(byte)iVar1 & 0x1f" (cast_expression "(byte)iVar1" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "iVar1")) (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);" (assignment_expression "uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6)" (identifier "uVar4") (= "=") (binary_expression "iVar1 * 2 & (uVar6 >> 1 ^ uVar6)" (binary_expression "iVar1 * 2" (identifier "iVar1") (* "*") (number_literal "2")) (& "&") (parenthesized_expression "(uVar6 >> 1 ^ uVar6)" (( "(") (binary_expression "uVar6 >> 1 ^ uVar6" (binary_expression "uVar6 >> 1" (identifier "uVar6") (>> ">>") (number_literal "1")) (^ "^") (identifier "uVar6")) () ")")))) (; ";")) (} "}"))) (} "}")))) (labeled_statement "LAB_0002c897:\n  if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" (statement_identifier "LAB_0002c897") (: ":") (if_statement "if (unaff_retaddr == 1) {\n    uVar6 = 1 - (uVar4 & 2);\n  }\n  else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" (if "if") (parenthesized_expression "(unaff_retaddr == 1)" (( "(") (binary_expression "unaff_retaddr == 1" (identifier "unaff_retaddr") (== "==") (number_literal "1")) () ")")) (compound_statement "{\n    uVar6 = 1 - (uVar4 & 2);\n  }" ({ "{") (expression_statement "uVar6 = 1 - (uVar4 & 2);" (assignment_expression "uVar6 = 1 - (uVar4 & 2)" (identifier "uVar6") (= "=") (binary_expression "1 - (uVar4 & 2)" (number_literal "1") (- "-") (parenthesized_expression "(uVar4 & 2)" (( "(") (binary_expression "uVar4 & 2" (identifier "uVar4") (& "&") (number_literal "2")) () ")")))) (; ";")) (} "}")) (else_clause "else {\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" (else "else") (compound_statement "{\n    if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }\n    iVar1 = *(int *)(unaff_EBX + 0x7155b);\n    if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }\n    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);\n  }" ({ "{") (if_statement "if (**(int **)(unaff_EBX + 0x7151f) == 0) {\n      __gmpn_cpuvec_init();\n    }" (if "if") (parenthesized_expression "(**(int **)(unaff_EBX + 0x7151f) == 0)" (( "(") (binary_expression "**(int **)(unaff_EBX + 0x7151f) == 0" (pointer_expression "**(int **)(unaff_EBX + 0x7151f)" (* "*") (pointer_expression "*(int **)(unaff_EBX + 0x7151f)" (* "*") (cast_expression "(int **)(unaff_EBX + 0x7151f)" (( "(") (type_descriptor "int **" (primitive_type "int") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(unaff_EBX + 0x7151f)" (( "(") (binary_expression "unaff_EBX + 0x7151f" (identifier "unaff_EBX") (+ "+") (number_literal "0x7151f")) () ")"))))) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      __gmpn_cpuvec_init();\n    }" ({ "{") (expression_statement "__gmpn_cpuvec_init();" (call_expression "__gmpn_cpuvec_init()" (identifier "__gmpn_cpuvec_init") (argument_list "()" (( "(") () ")"))) (; ";")) (} "}"))) (expression_statement "iVar1 = *(int *)(unaff_EBX + 0x7155b);" (assignment_expression "iVar1 = *(int *)(unaff_EBX + 0x7155b)" (identifier "iVar1") (= "=") (pointer_expression "*(int *)(unaff_EBX + 0x7155b)" (* "*") (cast_expression "(int *)(unaff_EBX + 0x7155b)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(unaff_EBX + 0x7155b)" (( "(") (binary_expression "unaff_EBX + 0x7155b" (identifier "unaff_EBX") (+ "+") (number_literal "0x7155b")) () ")"))))) (; ";")) (if_statement "if (iVar7 < *(int *)(iVar1 + 0xa4)) {\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }\n    else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }" (if "if") (parenthesized_expression "(iVar7 < *(int *)(iVar1 + 0xa4))" (( "(") (binary_expression "iVar7 < *(int *)(iVar1 + 0xa4)" (identifier "iVar7") (< "<") (pointer_expression "*(int *)(iVar1 + 0xa4)" (* "*") (cast_expression "(int *)(iVar1 + 0xa4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar1 + 0xa4)" (( "(") (binary_expression "iVar1 + 0xa4" (identifier "iVar1") (+ "+") (number_literal "0xa4")) () ")"))))) () ")")) (compound_statement "{\n      uVar4 = uVar4 ^ unaff_retaddr;\n      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);\n    }" ({ "{") (expression_statement "uVar4 = uVar4 ^ unaff_retaddr;" (assignment_expression "uVar4 = uVar4 ^ unaff_retaddr" (identifier "uVar4") (= "=") (binary_expression "uVar4 ^ unaff_retaddr" (identifier "uVar4") (^ "^") (identifier "unaff_retaddr"))) (; ";")) (expression_statement "uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);" (assignment_expression "uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0)" (identifier "uVar3") (= "=") (call_expression "(**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0)" (parenthesized_expression "(**(code **)(iVar1 + 0x60))" (( "(") (pointer_expression "**(code **)(iVar1 + 0x60)" (* "*") (pointer_expression "*(code **)(iVar1 + 0x60)" (* "*") (cast_expression "(code **)(iVar1 + 0x60)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(iVar1 + 0x60)" (( "(") (binary_expression "iVar1 + 0x60" (identifier "iVar1") (+ "+") (number_literal "0x60")) () ")"))))) () ")")) (argument_list "(puVar5,iVar7,unaff_retaddr,0)" (( "(") (identifier "puVar5") (, ",") (identifier "iVar7") (, ",") (identifier "unaff_retaddr") (, ",") (number_literal "0") () ")")))) (; ";")) (} "}")) (else_clause "else {\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }" (else "else") (compound_statement "{\n      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);\n    }" ({ "{") (expression_statement "uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);" (assignment_expression "uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr)" (identifier "uVar3") (= "=") (call_expression "(**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr)" (parenthesized_expression "(**(code **)(iVar1 + 0x40))" (( "(") (pointer_expression "**(code **)(iVar1 + 0x40)" (* "*") (pointer_expression "*(code **)(iVar1 + 0x40)" (* "*") (cast_expression "(code **)(iVar1 + 0x40)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(iVar1 + 0x40)" (( "(") (binary_expression "iVar1 + 0x40" (identifier "iVar1") (+ "+") (number_literal "0x40")) () ")"))))) () ")")) (argument_list "(puVar5,iVar7,unaff_retaddr)" (( "(") (identifier "puVar5") (, ",") (identifier "iVar7") (, ",") (identifier "unaff_retaddr") () ")")))) (; ";")) (} "}")))) (expression_statement "uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);" (assignment_expression "uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr)" (identifier "uVar6") (= "=") (call_expression "__gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr)" (identifier "__gmpn_jacobi_base") (argument_list "(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr)" (( "(") (identifier "uVar3") (, ",") (identifier "unaff_retaddr") (, ",") (binary_expression "uVar4 ^ uVar6 & unaff_retaddr" (identifier "uVar4") (^ "^") (binary_expression "uVar6 & unaff_retaddr" (identifier "uVar6") (& "&") (identifier "unaff_retaddr"))) () ")")))) (; ";")) (} "}"))))) (return_statement "return uVar6;" (return "return") (identifier "uVar6") (; ";")) (} "}")))

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

int function_1(type_1 var_2,type_2 b)

{
  type_3 var_6;
  int var_7;
  type_4 a_00;
  type_5 var_5;
  type_5 *var_3;
  type_5 var_1;
  int var_4;
  
  var_1 = b->_mp_size;
  if (var_1 == 0) {
    return (type_5)(var_2 == 1);
  }
  var_4 = (var_1 ^ (int)var_1 >> 0x1f) - ((int)var_1 >> 0x1f);
  var_3 = b->_mp_d;
  var_1 = *var_3;
  if ((var_1 & 1) == 0) {
    if ((var_2 & 1) == 0) {
      return 0;
    }
    if (var_1 == 0) {
      do {
        var_3 = var_3 + 1;
        var_1 = *var_3;
        var_4 = var_4 + -1;
      } while (var_1 == 0);
      if ((var_1 & 1) != 0) {
        var_5 = 0;
        goto LAB_0002c897;
      }
    }
    if (var_1 == 0x80000000) {
      if (var_4 == 1) {
        return 1 - ((var_2 ^ var_2 >> 1) & 2);
      }
      var_5 = 0;
      var_1 = var_3[1] * 2;
    }
    else {
      var_6 = 0;
      for (var_5 = var_1; (var_5 & 1) == 0; var_5 = var_5 >> 1 | 0x80000000) {
        var_6 = var_6 + 1;
      }
      var_1 = var_1 >> (var_6 & 0x1f);
      var_5 = 0;
    }
  }
  else {
    if (var_2 == 0) {
      return (type_5)(var_1 == 1 && var_4 == 1);
    }
    var_5 = 0;
    if ((var_2 & 1) == 0) {
      var_7 = 0;
      for (var_5 = var_2; (var_5 & 1) == 0; var_5 = var_5 >> 1 | 0x80000000) {
        var_7 = var_7 + 1;
      }
      var_2 = var_2 >> ((type_3)var_7 & 0x1f);
      var_5 = var_7 * 2 & (var_1 >> 1 ^ var_1);
    }
  }
LAB_0002c897:
  if (var_2 == 1) {
    var_4 = 1 - (var_5 & 2);
  }
  else {
    if (*(int *)PTR___gmpn_cpuvec_initialized_0009dd58 == 0) {
      var_8();
    }
    if (var_4 < *(int *)(var_9 + 0xa4)) {
      var_5 = var_5 ^ var_2;
      a_00 = (**(type_6 **)(var_9 + 0x60))(var_3,var_4,var_2,0);
    }
    else {
      a_00 = (**(type_6 **)(var_9 + 0x40))(var_3,var_4,var_2);
    }
    var_4 = var_10(a_00,var_2,var_5 ^ var_1 & var_2);
  }
  return var_4;
}


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

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

{
  int iVar1;
  byte bVar2;
  undefined4 uVar3;
  uint uVar4;
  uint *puVar5;
  int unaff_EBX;
  uint uVar6;
  int iVar7;
  uint unaff_retaddr;
  
  entry(param_2,0x2c839);
  uVar6 = *(uint *)(param_3 + 4);
  if (uVar6 == 0) {
    return (uint)(unaff_retaddr == 1);
  }
  iVar7 = (uVar6 ^ (int)uVar6 >> 0x1f) - ((int)uVar6 >> 0x1f);
  puVar5 = *(uint **)(param_3 + 8);
  uVar6 = *puVar5;
  if ((uVar6 & 1) == 0) {
    if ((unaff_retaddr & 1) == 0) {
      return 0;
    }
    if (uVar6 == 0) {
      do {
        puVar5 = puVar5 + 1;
        uVar6 = *puVar5;
        iVar7 = iVar7 + -1;
      } while (uVar6 == 0);
      if ((uVar6 & 1) != 0) {
        uVar4 = 0;
        goto LAB_0002c897;
      }
    }
    if (uVar6 == 0x80000000) {
      if (iVar7 == 1) {
        return 1 - ((unaff_retaddr ^ unaff_retaddr >> 1) & 2);
      }
      uVar4 = 0;
      uVar6 = puVar5[1] * 2;
    }
    else {
      bVar2 = 0;
      for (uVar4 = uVar6; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {
        bVar2 = bVar2 + 1;
      }
      uVar6 = uVar6 >> (bVar2 & 0x1f);
      uVar4 = 0;
    }
  }
  else {
    if (unaff_retaddr == 0) {
      return (uint)(uVar6 == 1 && iVar7 == 1);
    }
    uVar4 = 0;
    if ((unaff_retaddr & 1) == 0) {
      iVar1 = 0;
      for (uVar4 = unaff_retaddr; (uVar4 & 1) == 0; uVar4 = uVar4 >> 1 | 0x80000000) {
        iVar1 = iVar1 + 1;
      }
      unaff_retaddr = unaff_retaddr >> ((byte)iVar1 & 0x1f);
      uVar4 = iVar1 * 2 & (uVar6 >> 1 ^ uVar6);
    }
  }
LAB_0002c897:
  if (unaff_retaddr == 1) {
    uVar6 = 1 - (uVar4 & 2);
  }
  else {
    if (**(int **)(unaff_EBX + 0x7151f) == 0) {
      __gmpn_cpuvec_init();
    }
    iVar1 = *(int *)(unaff_EBX + 0x7155b);
    if (iVar7 < *(int *)(iVar1 + 0xa4)) {
      uVar4 = uVar4 ^ unaff_retaddr;
      uVar3 = (**(code **)(iVar1 + 0x60))(puVar5,iVar7,unaff_retaddr,0);
    }
    else {
      uVar3 = (**(code **)(iVar1 + 0x40))(puVar5,iVar7,unaff_retaddr);
    }
    uVar6 = __gmpn_jacobi_base(uVar3,unaff_retaddr,uVar4 ^ uVar6 & unaff_retaddr);
  }
  return uVar6;
}

