
mp_limb_t __gmpn_add_1(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)

{
  undefined8 *puVar1;
  undefined8 *puVar2;
  undefined8 uVar3;
  mp_limb_t mVar4;
  long lVar5;
  long lVar6;
  ulong uVar7;
  mp_limb_t *__gmp_x;
  
  uVar7 = *__gmp_src;
  *__gmp_dst = __gmp_n + *__gmp_src;
  if (CARRY8(__gmp_n,uVar7)) {
    if (__gmp_size < 2) {
      return 1;
    }
    mVar4 = __gmp_src[1];
    __gmp_dst[1] = mVar4 + 1;
    if (mVar4 + 1 == 0) {
      if (__gmp_size == 2) {
        return 1;
      }
      mVar4 = __gmp_src[2] + 1;
      __gmp_dst[2] = mVar4;
      lVar5 = 3;
      while (mVar4 == 0) {
        if (__gmp_size == lVar5) {
          return 1;
        }
        mVar4 = __gmp_src[lVar5] + 1;
        __gmp_dst[lVar5] = mVar4;
        lVar5 = lVar5 + 1;
      }
    }
    else {
      lVar5 = 2;
    }
    if (__gmp_src == __gmp_dst) {
      return 0;
    }
    if (__gmp_size <= lVar5) {
      return 0;
    }
    if ((__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2) ||
       ((ulong)((__gmp_size + -1) - lVar5) < 4)) {
      do {
        __gmp_dst[lVar5] = __gmp_src[lVar5];
        lVar5 = lVar5 + 1;
      } while (__gmp_size != lVar5);
      return 0;
    }
    uVar7 = __gmp_size - lVar5;
    lVar6 = 0;
    do {
      puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6);
      uVar3 = puVar1[1];
      puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6);
      *puVar2 = *puVar1;
      puVar2[1] = uVar3;
      lVar6 = lVar6 + 0x10;
    } while ((uVar7 >> 1) * 0x10 != lVar6);
    lVar5 = lVar5 + (uVar7 & 0xfffffffffffffffe);
    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {
      return 0;
    }
  }
  else {
    if (__gmp_src == __gmp_dst) {
      return 0;
    }
    if (__gmp_size < 2) {
      return 0;
    }
    if ((__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4)) {
      lVar5 = 1;
      do {
        __gmp_dst[lVar5] = __gmp_src[lVar5];
        lVar5 = lVar5 + 1;
      } while (__gmp_size != lVar5);
      return 0;
    }
    uVar7 = __gmp_size - 1;
    lVar5 = 8;
    do {
      uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];
      *(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);
      ((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;
      lVar5 = lVar5 + 0x10;
    } while ((uVar7 >> 1) * 0x10 + 8 != lVar5);
    lVar5 = (uVar7 & 0xfffffffffffffffe) + 1;
    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {
      return 0;
    }
  }
  __gmp_dst[lVar5] = __gmp_src[lVar5];
  return 0;
}



undefined8 __gmpn_add_1(ulong *param_1,ulong *param_2,long param_3,ulong param_4)

{
  undefined8 *puVar1;
  undefined8 *puVar2;
  undefined8 uVar3;
  ulong uVar4;
  long lVar5;
  long lVar6;
  
  uVar4 = *param_2;
  *param_1 = param_4 + *param_2;
  if (CARRY8(param_4,uVar4)) {
    if (param_3 < 2) {
      return 1;
    }
    uVar4 = param_2[1];
    param_1[1] = uVar4 + 1;
    if (uVar4 + 1 == 0) {
      if (param_3 == 2) {
        return 1;
      }
      uVar4 = param_2[2] + 1;
      param_1[2] = uVar4;
      lVar5 = 3;
      while (uVar4 == 0) {
        if (param_3 == lVar5) {
          return 1;
        }
        uVar4 = param_2[lVar5] + 1;
        param_1[lVar5] = uVar4;
        lVar5 = lVar5 + 1;
      }
    }
    else {
      lVar5 = 2;
    }
    if (param_2 == param_1) {
      return 0;
    }
    if (param_3 <= lVar5) {
      return 0;
    }
    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||
       ((ulong)((param_3 + -1) - lVar5) < 4)) {
      do {
        param_1[lVar5] = param_2[lVar5];
        lVar5 = lVar5 + 1;
      } while (param_3 != lVar5);
      return 0;
    }
    uVar4 = param_3 - lVar5;
    lVar6 = 0;
    do {
      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);
      uVar3 = puVar1[1];
      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);
      *puVar2 = *puVar1;
      puVar2[1] = uVar3;
      lVar6 = lVar6 + 0x10;
    } while ((uVar4 >> 1) * 0x10 != lVar6);
    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);
    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {
      return 0;
    }
  }
  else {
    if (param_2 == param_1) {
      return 0;
    }
    if (param_3 < 2) {
      return 0;
    }
    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {
      lVar5 = 1;
      do {
        param_1[lVar5] = param_2[lVar5];
        lVar5 = lVar5 + 1;
      } while (param_3 != lVar5);
      return 0;
    }
    uVar4 = param_3 - 1;
    lVar5 = 8;
    do {
      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];
      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);
      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;
      lVar5 = lVar5 + 0x10;
    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);
    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;
    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {
      return 0;
    }
  }
  param_1[lVar5] = param_2[lVar5];
  return 0;
}


ADD RCX,qword ptr [RSI]
MOV qword ptr [RDI],RCX
JNC 0x00129fe8
CMP RDX,0x1
JLE 0x00129fde
MOV RAX,qword ptr [RSI + 0x8]
ADD RAX,0x1
MOV qword ptr [RDI + 0x8],RAX
JNZ 0x0012a06d
CMP RDX,0x2
JZ 0x00129fde
MOV RAX,qword ptr [RSI + 0x10]
ADD RAX,0x1
MOV qword ptr [RDI + 0x10],RAX
MOV EAX,0x3
JZ 0x00129fd9
JMP 0x0012a078
MOV RCX,qword ptr [RSI + RAX*0x8]
ADD RCX,0x1
MOV qword ptr [RDI + RAX*0x8],RCX
ADD RAX,0x1
TEST RCX,RCX
JNZ 0x0012a078
CMP RDX,RAX
JNZ 0x00129fc0
MOV EAX,0x1
RET
CMP RSI,RDI
JZ 0x0012a06a
CMP RDX,0x1
JLE 0x0012a06a
LEA RCX,[RSI + 0x18]
LEA RAX,[RDI + 0x8]
CMP RCX,RAX
LEA R8,[RDI + 0x18]
LEA RAX,[RSI + 0x8]
SETBE CL
CMP R8,RAX
SETBE AL
OR CL,AL
JZ 0x0012a120
LEA RAX,[RDX + -0x2]
CMP RAX,0x3
JBE 0x0012a120
LEA RCX,[RDX + -0x1]
MOV EAX,0x8
MOV RDX,RCX
SHR RDX,0x1
SHL RDX,0x4
ADD RDX,0x8
NOP dword ptr [RAX]
MOVDQU XMM0,xmmword ptr [RSI + RAX*0x1]
MOVUPS xmmword ptr [RDI + RAX*0x1],XMM0
ADD RAX,0x10
CMP RDX,RAX
JNZ 0x0012a040
MOV RDX,RCX
AND RDX,-0x2
LEA RAX,[RDX + 0x1]
CMP RCX,RDX
JZ 0x0012a06a
MOV RDX,qword ptr [RSI + RAX*0x8]
MOV qword ptr [RDI + RAX*0x8],RDX
XOR EAX,EAX
RET
MOV EAX,0x2
NOP word ptr [RAX + RAX*0x1]
CMP RSI,RDI
JZ 0x0012a06a
CMP RDX,RAX
JLE 0x0012a06a
LEA RCX,[0x10 + RAX*0x8]
LEA R8,[RCX + -0x10]
LEA R9,[RSI + RCX*0x1]
LEA R10,[RDI + R8*0x1]
ADD R8,RSI
CMP R10,R9
SETNC R9B
ADD RCX,RDI
CMP R8,RCX
SETNC CL
OR R9B,CL
JZ 0x0012a100
LEA RCX,[RDX + -0x1]
SUB RCX,RAX
CMP RCX,0x3
JBE 0x0012a100
SUB RDX,RAX
XOR ECX,ECX
MOV R9,RDX
SHR R9,0x1
SHL R9,0x4
NOP word ptr [RAX + RAX*0x1]
MOVDQU XMM1,xmmword ptr [R8 + RCX*0x1]
MOVUPS xmmword ptr [R10 + RCX*0x1],XMM1
ADD RCX,0x10
CMP R9,RCX
JNZ 0x0012a0d0
MOV RCX,RDX
AND RCX,-0x2
ADD RAX,RCX
CMP RDX,RCX
JNZ 0x0012a062
JMP 0x0012a06a
MOV RCX,qword ptr [RSI + RAX*0x8]
MOV qword ptr [RDI + RAX*0x8],RCX
ADD RAX,0x1
CMP RDX,RAX
JNZ 0x0012a100
JMP 0x0012a06a
MOV EAX,0x1
NOP dword ptr [RAX]
MOV RCX,qword ptr [RSI + RAX*0x8]
MOV qword ptr [RDI + RAX*0x8],RCX
ADD RAX,0x1
CMP RDX,RAX
JNZ 0x0012a128
JMP 0x0012a06a
(translation_unit "undefined8 __gmpn_add_1(ulong *param_1,ulong *param_2,long param_3,ulong param_4)\n\n{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  ulong uVar4;\n  long lVar5;\n  long lVar6;\n  \n  uVar4 = *param_2;\n  *param_1 = param_4 + *param_2;\n  if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  param_1[lVar5] = param_2[lVar5];\n  return 0;\n}\n\n" (function_definition "undefined8 __gmpn_add_1(ulong *param_1,ulong *param_2,long param_3,ulong param_4)\n\n{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  ulong uVar4;\n  long lVar5;\n  long lVar6;\n  \n  uVar4 = *param_2;\n  *param_1 = param_4 + *param_2;\n  if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  param_1[lVar5] = param_2[lVar5];\n  return 0;\n}" type_identifier (function_declarator "__gmpn_add_1(ulong *param_1,ulong *param_2,long param_3,ulong param_4)" identifier (parameter_list "(ulong *param_1,ulong *param_2,long param_3,ulong param_4)" ( (parameter_declaration "ulong *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) , (parameter_declaration "ulong param_4" type_identifier identifier) ))) (compound_statement "{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  ulong uVar4;\n  long lVar5;\n  long lVar6;\n  \n  uVar4 = *param_2;\n  *param_1 = param_4 + *param_2;\n  if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  param_1[lVar5] = param_2[lVar5];\n  return 0;\n}" { (declaration "undefined8 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined8 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined8 uVar3;" type_identifier identifier ;) (declaration "ulong uVar4;" type_identifier identifier ;) (declaration "long lVar5;" (sized_type_specifier "long" long) identifier ;) (declaration "long lVar6;" (sized_type_specifier "long" long) identifier ;) (expression_statement "uVar4 = *param_2;" (assignment_expression "uVar4 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "*param_1 = param_4 + *param_2;" (assignment_expression "*param_1 = param_4 + *param_2" (pointer_expression "*param_1" * identifier) = (binary_expression "param_4 + *param_2" identifier + (pointer_expression "*param_2" * identifier))) ;) (if_statement "if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" if (parenthesized_expression "(CARRY8(param_4,uVar4))" ( (call_expression "CARRY8(param_4,uVar4)" identifier (argument_list "(param_4,uVar4)" ( identifier , identifier ))) )) (compound_statement "{\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" { (if_statement "if (param_3 < 2) {\n      return 1;\n    }" if (parenthesized_expression "(param_3 < 2)" ( (binary_expression "param_3 < 2" identifier < number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar4 = param_2[1];" (assignment_expression "uVar4 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1[1] = uVar4 + 1;" (assignment_expression "param_1[1] = uVar4 + 1" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (if_statement "if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }" if (parenthesized_expression "(uVar4 + 1 == 0)" ( (binary_expression "uVar4 + 1 == 0" (binary_expression "uVar4 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }" { (if_statement "if (param_3 == 2) {\n        return 1;\n      }" if (parenthesized_expression "(param_3 == 2)" ( (binary_expression "param_3 == 2" identifier == number_literal) )) (compound_statement "{\n        return 1;\n      }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar4 = param_2[2] + 1;" (assignment_expression "uVar4 = param_2[2] + 1" identifier = (binary_expression "param_2[2] + 1" (subscript_expression "param_2[2]" identifier [ number_literal ]) + number_literal)) ;) (expression_statement "param_1[2] = uVar4;" (assignment_expression "param_1[2] = uVar4" (subscript_expression "param_1[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "lVar5 = 3;" (assignment_expression "lVar5 = 3" identifier = number_literal) ;) (while_statement "while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }" while (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (compound_statement "{\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }" { (if_statement "if (param_3 == lVar5) {\n          return 1;\n        }" if (parenthesized_expression "(param_3 == lVar5)" ( (binary_expression "param_3 == lVar5" identifier == identifier) )) (compound_statement "{\n          return 1;\n        }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar4 = param_2[lVar5] + 1;" (assignment_expression "uVar4 = param_2[lVar5] + 1" identifier = (binary_expression "param_2[lVar5] + 1" (subscript_expression "param_2[lVar5]" identifier [ identifier ]) + number_literal)) ;) (expression_statement "param_1[lVar5] = uVar4;" (assignment_expression "param_1[lVar5] = uVar4" (subscript_expression "param_1[lVar5]" identifier [ identifier ]) = identifier) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n      lVar5 = 2;\n    }" else (compound_statement "{\n      lVar5 = 2;\n    }" { (expression_statement "lVar5 = 2;" (assignment_expression "lVar5 = 2" identifier = number_literal) ;) }))) (if_statement "if (param_2 == param_1) {\n      return 0;\n    }" if (parenthesized_expression "(param_2 == param_1)" ( (binary_expression "param_2 == param_1" identifier == identifier) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (param_3 <= lVar5) {\n      return 0;\n    }" if (parenthesized_expression "(param_3 <= lVar5)" ( (binary_expression "param_3 <= lVar5" identifier <= identifier) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" if (parenthesized_expression "((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4))" ( (binary_expression "(param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)" (parenthesized_expression "(param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2)" ( (binary_expression "param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2" (binary_expression "param_1 + lVar5 < param_2 + lVar5 + 2" (binary_expression "param_1 + lVar5" identifier + identifier) < (binary_expression "param_2 + lVar5 + 2" (binary_expression "param_2 + lVar5" identifier + identifier) + number_literal)) && (binary_expression "param_2 + lVar5 < param_1 + lVar5 + 2" (binary_expression "param_2 + lVar5" identifier + identifier) < (binary_expression "param_1 + lVar5 + 2" (binary_expression "param_1 + lVar5" identifier + identifier) + number_literal))) )) || (parenthesized_expression "((ulong)((param_3 + -1) - lVar5) < 4)" ( (binary_expression "(ulong)((param_3 + -1) - lVar5) < 4" (call_expression "(ulong)((param_3 + -1) - lVar5)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "((param_3 + -1) - lVar5)" ( (binary_expression "(param_3 + -1) - lVar5" (parenthesized_expression "(param_3 + -1)" ( (binary_expression "param_3 + -1" identifier + number_literal) )) - identifier) ))) < number_literal) ))) )) (compound_statement "{\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" { (do_statement "do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);" do (compound_statement "{\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      }" { (expression_statement "param_1[lVar5] = param_2[lVar5];" (assignment_expression "param_1[lVar5] = param_2[lVar5]" (subscript_expression "param_1[lVar5]" identifier [ identifier ]) = (subscript_expression "param_2[lVar5]" identifier [ identifier ])) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != lVar5)" ( (binary_expression "param_3 != lVar5" identifier != identifier) )) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar4 = param_3 - lVar5;" (assignment_expression "uVar4 = param_3 - lVar5" identifier = (binary_expression "param_3 - lVar5" identifier - identifier)) ;) (expression_statement "lVar6 = 0;" (assignment_expression "lVar6 = 0" identifier = number_literal) ;) (do_statement "do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);" do (compound_statement "{\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    }" { (expression_statement "puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);" (assignment_expression "puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6)" identifier = (cast_expression "(undefined8 *)((long)(param_2 + lVar5) + lVar6)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)(param_2 + lVar5) + lVar6)" ( (binary_expression "(long)(param_2 + lVar5) + lVar6" (cast_expression "(long)(param_2 + lVar5)" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) (parenthesized_expression "(param_2 + lVar5)" ( (binary_expression "param_2 + lVar5" identifier + identifier) ))) + identifier) )))) ;) (expression_statement "uVar3 = puVar1[1];" (assignment_expression "uVar3 = puVar1[1]" identifier = (subscript_expression "puVar1[1]" identifier [ number_literal ])) ;) (expression_statement "puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);" (assignment_expression "puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6)" identifier = (cast_expression "(undefined8 *)((long)(param_1 + lVar5) + lVar6)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)(param_1 + lVar5) + lVar6)" ( (binary_expression "(long)(param_1 + lVar5) + lVar6" (cast_expression "(long)(param_1 + lVar5)" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) (parenthesized_expression "(param_1 + lVar5)" ( (binary_expression "param_1 + lVar5" identifier + identifier) ))) + identifier) )))) ;) (expression_statement "*puVar2 = *puVar1;" (assignment_expression "*puVar2 = *puVar1" (pointer_expression "*puVar2" * identifier) = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "puVar2[1] = uVar3;" (assignment_expression "puVar2[1] = uVar3" (subscript_expression "puVar2[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "lVar6 = lVar6 + 0x10;" (assignment_expression "lVar6 = lVar6 + 0x10" identifier = (binary_expression "lVar6 + 0x10" identifier + number_literal)) ;) }) while (parenthesized_expression "((uVar4 >> 1) * 0x10 != lVar6)" ( (binary_expression "(uVar4 >> 1) * 0x10 != lVar6" (binary_expression "(uVar4 >> 1) * 0x10" (parenthesized_expression "(uVar4 >> 1)" ( (binary_expression "uVar4 >> 1" identifier >> number_literal) )) * number_literal) != identifier) )) ;) (expression_statement "lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);" (assignment_expression "lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe)" identifier = (binary_expression "lVar5 + (uVar4 & 0xfffffffffffffffe)" identifier + (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" ( (binary_expression "uVar4 & 0xfffffffffffffffe" identifier & number_literal) )))) ;) (if_statement "if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }" if (parenthesized_expression "(uVar4 == (uVar4 & 0xfffffffffffffffe))" ( (binary_expression "uVar4 == (uVar4 & 0xfffffffffffffffe)" identifier == (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" ( (binary_expression "uVar4 & 0xfffffffffffffffe" identifier & number_literal) ))) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) }) (else_clause "else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" else (compound_statement "{\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" { (if_statement "if (param_2 == param_1) {\n      return 0;\n    }" if (parenthesized_expression "(param_2 == param_1)" ( (binary_expression "param_2 == param_1" identifier == identifier) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (param_3 < 2) {\n      return 0;\n    }" if (parenthesized_expression "(param_3 < 2)" ( (binary_expression "param_3 < 2" identifier < number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" if (parenthesized_expression "((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4))" ( (binary_expression "(param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)" (parenthesized_expression "(param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3)" ( (binary_expression "param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3" (binary_expression "param_1 + 1 < param_2 + 3" (binary_expression "param_1 + 1" identifier + number_literal) < (binary_expression "param_2 + 3" identifier + number_literal)) && (binary_expression "param_2 + 1 < param_1 + 3" (binary_expression "param_2 + 1" identifier + number_literal) < (binary_expression "param_1 + 3" identifier + number_literal))) )) || (parenthesized_expression "(param_3 - 2U < 4)" ( (binary_expression "param_3 - 2U < 4" (binary_expression "param_3 - 2U" identifier - number_literal) < number_literal) ))) )) (compound_statement "{\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" { (expression_statement "lVar5 = 1;" (assignment_expression "lVar5 = 1" identifier = number_literal) ;) (do_statement "do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);" do (compound_statement "{\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      }" { (expression_statement "param_1[lVar5] = param_2[lVar5];" (assignment_expression "param_1[lVar5] = param_2[lVar5]" (subscript_expression "param_1[lVar5]" identifier [ identifier ]) = (subscript_expression "param_2[lVar5]" identifier [ identifier ])) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != lVar5)" ( (binary_expression "param_3 != lVar5" identifier != identifier) )) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar4 = param_3 - 1;" (assignment_expression "uVar4 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "lVar5 = 8;" (assignment_expression "lVar5 = 8" identifier = number_literal) ;) (do_statement "do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);" do (compound_statement "{\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    }" { (expression_statement "uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];" (assignment_expression "uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1]" identifier = (subscript_expression "((undefined8 *)((long)param_2 + lVar5))[1]" (parenthesized_expression "((undefined8 *)((long)param_2 + lVar5))" ( (cast_expression "(undefined8 *)((long)param_2 + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)param_2 + lVar5)" ( (binary_expression "(long)param_2 + lVar5" (cast_expression "(long)param_2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) ))) )) [ number_literal ])) ;) (expression_statement "*(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);" (assignment_expression "*(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5)" (pointer_expression "*(undefined8 *)((long)param_1 + lVar5)" * (cast_expression "(undefined8 *)((long)param_1 + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)param_1 + lVar5)" ( (binary_expression "(long)param_1 + lVar5" (cast_expression "(long)param_1" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) )))) = (pointer_expression "*(undefined8 *)((long)param_2 + lVar5)" * (cast_expression "(undefined8 *)((long)param_2 + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)param_2 + lVar5)" ( (binary_expression "(long)param_2 + lVar5" (cast_expression "(long)param_2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) ))))) ;) (expression_statement "((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;" (assignment_expression "((undefined8 *)((long)param_1 + lVar5))[1] = uVar3" (subscript_expression "((undefined8 *)((long)param_1 + lVar5))[1]" (parenthesized_expression "((undefined8 *)((long)param_1 + lVar5))" ( (cast_expression "(undefined8 *)((long)param_1 + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)param_1 + lVar5)" ( (binary_expression "(long)param_1 + lVar5" (cast_expression "(long)param_1" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) ))) )) [ number_literal ]) = identifier) ;) (expression_statement "lVar5 = lVar5 + 0x10;" (assignment_expression "lVar5 = lVar5 + 0x10" identifier = (binary_expression "lVar5 + 0x10" identifier + number_literal)) ;) }) while (parenthesized_expression "((uVar4 >> 1) * 0x10 + 8 != lVar5)" ( (binary_expression "(uVar4 >> 1) * 0x10 + 8 != lVar5" (binary_expression "(uVar4 >> 1) * 0x10 + 8" (binary_expression "(uVar4 >> 1) * 0x10" (parenthesized_expression "(uVar4 >> 1)" ( (binary_expression "uVar4 >> 1" identifier >> number_literal) )) * number_literal) + number_literal) != identifier) )) ;) (expression_statement "lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;" (assignment_expression "lVar5 = (uVar4 & 0xfffffffffffffffe) + 1" identifier = (binary_expression "(uVar4 & 0xfffffffffffffffe) + 1" (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" ( (binary_expression "uVar4 & 0xfffffffffffffffe" identifier & number_literal) )) + number_literal)) ;) (if_statement "if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }" if (parenthesized_expression "(uVar4 == (uVar4 & 0xfffffffffffffffe))" ( (binary_expression "uVar4 == (uVar4 & 0xfffffffffffffffe)" identifier == (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" ( (binary_expression "uVar4 & 0xfffffffffffffffe" identifier & number_literal) ))) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) }))) (expression_statement "param_1[lVar5] = param_2[lVar5];" (assignment_expression "param_1[lVar5] = param_2[lVar5]" (subscript_expression "param_1[lVar5]" identifier [ identifier ]) = (subscript_expression "param_2[lVar5]" identifier [ identifier ])) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "mp_limb_t __gmpn_add_1(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)\n\n{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  mp_limb_t mVar4;\n  long lVar5;\n  long lVar6;\n  ulong uVar7;\n  mp_limb_t *__gmp_x;\n  \n  uVar7 = *__gmp_src;\n  *__gmp_dst = __gmp_n + *__gmp_src;\n  if (CARRY8(__gmp_n,uVar7)) {\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar4 = __gmp_src[1];\n    __gmp_dst[1] = mVar4 + 1;\n    if (mVar4 + 1 == 0) {\n      if (__gmp_size == 2) {\n        return 1;\n      }\n      mVar4 = __gmp_src[2] + 1;\n      __gmp_dst[2] = mVar4;\n      lVar5 = 3;\n      while (mVar4 == 0) {\n        if (__gmp_size == lVar5) {\n          return 1;\n        }\n        mVar4 = __gmp_src[lVar5] + 1;\n        __gmp_dst[lVar5] = mVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size <= lVar5) {\n      return 0;\n    }\n    if ((__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2) ||\n       ((ulong)((__gmp_size + -1) - lVar5) < 4)) {\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar7 & 0xfffffffffffffffe);\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size < 2) {\n      return 0;\n    }\n    if ((__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];\n      *(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);\n      ((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar7 & 0xfffffffffffffffe) + 1;\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  __gmp_dst[lVar5] = __gmp_src[lVar5];\n  return 0;\n}\n\n" (function_definition "mp_limb_t __gmpn_add_1(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)\n\n{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  mp_limb_t mVar4;\n  long lVar5;\n  long lVar6;\n  ulong uVar7;\n  mp_limb_t *__gmp_x;\n  \n  uVar7 = *__gmp_src;\n  *__gmp_dst = __gmp_n + *__gmp_src;\n  if (CARRY8(__gmp_n,uVar7)) {\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar4 = __gmp_src[1];\n    __gmp_dst[1] = mVar4 + 1;\n    if (mVar4 + 1 == 0) {\n      if (__gmp_size == 2) {\n        return 1;\n      }\n      mVar4 = __gmp_src[2] + 1;\n      __gmp_dst[2] = mVar4;\n      lVar5 = 3;\n      while (mVar4 == 0) {\n        if (__gmp_size == lVar5) {\n          return 1;\n        }\n        mVar4 = __gmp_src[lVar5] + 1;\n        __gmp_dst[lVar5] = mVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size <= lVar5) {\n      return 0;\n    }\n    if ((__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2) ||\n       ((ulong)((__gmp_size + -1) - lVar5) < 4)) {\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar7 & 0xfffffffffffffffe);\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size < 2) {\n      return 0;\n    }\n    if ((__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];\n      *(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);\n      ((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar7 & 0xfffffffffffffffe) + 1;\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  __gmp_dst[lVar5] = __gmp_src[lVar5];\n  return 0;\n}" type_identifier (function_declarator "__gmpn_add_1(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)" identifier (parameter_list "(mp_ptr __gmp_dst,mp_srcptr __gmp_src,mp_size_t __gmp_size,mp_limb_t __gmp_n)" ( (parameter_declaration "mp_ptr __gmp_dst" type_identifier identifier) , (parameter_declaration "mp_srcptr __gmp_src" type_identifier identifier) , (parameter_declaration "mp_size_t __gmp_size" type_identifier identifier) , (parameter_declaration "mp_limb_t __gmp_n" type_identifier identifier) ))) (compound_statement "{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  mp_limb_t mVar4;\n  long lVar5;\n  long lVar6;\n  ulong uVar7;\n  mp_limb_t *__gmp_x;\n  \n  uVar7 = *__gmp_src;\n  *__gmp_dst = __gmp_n + *__gmp_src;\n  if (CARRY8(__gmp_n,uVar7)) {\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar4 = __gmp_src[1];\n    __gmp_dst[1] = mVar4 + 1;\n    if (mVar4 + 1 == 0) {\n      if (__gmp_size == 2) {\n        return 1;\n      }\n      mVar4 = __gmp_src[2] + 1;\n      __gmp_dst[2] = mVar4;\n      lVar5 = 3;\n      while (mVar4 == 0) {\n        if (__gmp_size == lVar5) {\n          return 1;\n        }\n        mVar4 = __gmp_src[lVar5] + 1;\n        __gmp_dst[lVar5] = mVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size <= lVar5) {\n      return 0;\n    }\n    if ((__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2) ||\n       ((ulong)((__gmp_size + -1) - lVar5) < 4)) {\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar7 & 0xfffffffffffffffe);\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size < 2) {\n      return 0;\n    }\n    if ((__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];\n      *(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);\n      ((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar7 & 0xfffffffffffffffe) + 1;\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  __gmp_dst[lVar5] = __gmp_src[lVar5];\n  return 0;\n}" { (declaration "undefined8 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined8 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined8 uVar3;" type_identifier identifier ;) (declaration "mp_limb_t mVar4;" type_identifier identifier ;) (declaration "long lVar5;" (sized_type_specifier "long" long) identifier ;) (declaration "long lVar6;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar7;" type_identifier identifier ;) (declaration "mp_limb_t *__gmp_x;" type_identifier (pointer_declarator "*__gmp_x" * identifier) ;) (expression_statement "uVar7 = *__gmp_src;" (assignment_expression "uVar7 = *__gmp_src" identifier = (pointer_expression "*__gmp_src" * identifier)) ;) (expression_statement "*__gmp_dst = __gmp_n + *__gmp_src;" (assignment_expression "*__gmp_dst = __gmp_n + *__gmp_src" (pointer_expression "*__gmp_dst" * identifier) = (binary_expression "__gmp_n + *__gmp_src" identifier + (pointer_expression "*__gmp_src" * identifier))) ;) (if_statement "if (CARRY8(__gmp_n,uVar7)) {\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar4 = __gmp_src[1];\n    __gmp_dst[1] = mVar4 + 1;\n    if (mVar4 + 1 == 0) {\n      if (__gmp_size == 2) {\n        return 1;\n      }\n      mVar4 = __gmp_src[2] + 1;\n      __gmp_dst[2] = mVar4;\n      lVar5 = 3;\n      while (mVar4 == 0) {\n        if (__gmp_size == lVar5) {\n          return 1;\n        }\n        mVar4 = __gmp_src[lVar5] + 1;\n        __gmp_dst[lVar5] = mVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size <= lVar5) {\n      return 0;\n    }\n    if ((__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2) ||\n       ((ulong)((__gmp_size + -1) - lVar5) < 4)) {\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar7 & 0xfffffffffffffffe);\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size < 2) {\n      return 0;\n    }\n    if ((__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];\n      *(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);\n      ((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar7 & 0xfffffffffffffffe) + 1;\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" if (parenthesized_expression "(CARRY8(__gmp_n,uVar7))" ( (call_expression "CARRY8(__gmp_n,uVar7)" identifier (argument_list "(__gmp_n,uVar7)" ( identifier , identifier ))) )) (compound_statement "{\n    if (__gmp_size < 2) {\n      return 1;\n    }\n    mVar4 = __gmp_src[1];\n    __gmp_dst[1] = mVar4 + 1;\n    if (mVar4 + 1 == 0) {\n      if (__gmp_size == 2) {\n        return 1;\n      }\n      mVar4 = __gmp_src[2] + 1;\n      __gmp_dst[2] = mVar4;\n      lVar5 = 3;\n      while (mVar4 == 0) {\n        if (__gmp_size == lVar5) {\n          return 1;\n        }\n        mVar4 = __gmp_src[lVar5] + 1;\n        __gmp_dst[lVar5] = mVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size <= lVar5) {\n      return 0;\n    }\n    if ((__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2) ||\n       ((ulong)((__gmp_size + -1) - lVar5) < 4)) {\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar7 & 0xfffffffffffffffe);\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" { (if_statement "if (__gmp_size < 2) {\n      return 1;\n    }" if (parenthesized_expression "(__gmp_size < 2)" ( (binary_expression "__gmp_size < 2" identifier < number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "mVar4 = __gmp_src[1];" (assignment_expression "mVar4 = __gmp_src[1]" identifier = (subscript_expression "__gmp_src[1]" identifier [ number_literal ])) ;) (expression_statement "__gmp_dst[1] = mVar4 + 1;" (assignment_expression "__gmp_dst[1] = mVar4 + 1" (subscript_expression "__gmp_dst[1]" identifier [ number_literal ]) = (binary_expression "mVar4 + 1" identifier + number_literal)) ;) (if_statement "if (mVar4 + 1 == 0) {\n      if (__gmp_size == 2) {\n        return 1;\n      }\n      mVar4 = __gmp_src[2] + 1;\n      __gmp_dst[2] = mVar4;\n      lVar5 = 3;\n      while (mVar4 == 0) {\n        if (__gmp_size == lVar5) {\n          return 1;\n        }\n        mVar4 = __gmp_src[lVar5] + 1;\n        __gmp_dst[lVar5] = mVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }" if (parenthesized_expression "(mVar4 + 1 == 0)" ( (binary_expression "mVar4 + 1 == 0" (binary_expression "mVar4 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      if (__gmp_size == 2) {\n        return 1;\n      }\n      mVar4 = __gmp_src[2] + 1;\n      __gmp_dst[2] = mVar4;\n      lVar5 = 3;\n      while (mVar4 == 0) {\n        if (__gmp_size == lVar5) {\n          return 1;\n        }\n        mVar4 = __gmp_src[lVar5] + 1;\n        __gmp_dst[lVar5] = mVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }" { (if_statement "if (__gmp_size == 2) {\n        return 1;\n      }" if (parenthesized_expression "(__gmp_size == 2)" ( (binary_expression "__gmp_size == 2" identifier == number_literal) )) (compound_statement "{\n        return 1;\n      }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "mVar4 = __gmp_src[2] + 1;" (assignment_expression "mVar4 = __gmp_src[2] + 1" identifier = (binary_expression "__gmp_src[2] + 1" (subscript_expression "__gmp_src[2]" identifier [ number_literal ]) + number_literal)) ;) (expression_statement "__gmp_dst[2] = mVar4;" (assignment_expression "__gmp_dst[2] = mVar4" (subscript_expression "__gmp_dst[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "lVar5 = 3;" (assignment_expression "lVar5 = 3" identifier = number_literal) ;) (while_statement "while (mVar4 == 0) {\n        if (__gmp_size == lVar5) {\n          return 1;\n        }\n        mVar4 = __gmp_src[lVar5] + 1;\n        __gmp_dst[lVar5] = mVar4;\n        lVar5 = lVar5 + 1;\n      }" while (parenthesized_expression "(mVar4 == 0)" ( (binary_expression "mVar4 == 0" identifier == number_literal) )) (compound_statement "{\n        if (__gmp_size == lVar5) {\n          return 1;\n        }\n        mVar4 = __gmp_src[lVar5] + 1;\n        __gmp_dst[lVar5] = mVar4;\n        lVar5 = lVar5 + 1;\n      }" { (if_statement "if (__gmp_size == lVar5) {\n          return 1;\n        }" if (parenthesized_expression "(__gmp_size == lVar5)" ( (binary_expression "__gmp_size == lVar5" identifier == identifier) )) (compound_statement "{\n          return 1;\n        }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "mVar4 = __gmp_src[lVar5] + 1;" (assignment_expression "mVar4 = __gmp_src[lVar5] + 1" identifier = (binary_expression "__gmp_src[lVar5] + 1" (subscript_expression "__gmp_src[lVar5]" identifier [ identifier ]) + number_literal)) ;) (expression_statement "__gmp_dst[lVar5] = mVar4;" (assignment_expression "__gmp_dst[lVar5] = mVar4" (subscript_expression "__gmp_dst[lVar5]" identifier [ identifier ]) = identifier) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n      lVar5 = 2;\n    }" else (compound_statement "{\n      lVar5 = 2;\n    }" { (expression_statement "lVar5 = 2;" (assignment_expression "lVar5 = 2" identifier = number_literal) ;) }))) (if_statement "if (__gmp_src == __gmp_dst) {\n      return 0;\n    }" if (parenthesized_expression "(__gmp_src == __gmp_dst)" ( (binary_expression "__gmp_src == __gmp_dst" identifier == identifier) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (__gmp_size <= lVar5) {\n      return 0;\n    }" if (parenthesized_expression "(__gmp_size <= lVar5)" ( (binary_expression "__gmp_size <= lVar5" identifier <= identifier) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if ((__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2) ||\n       ((ulong)((__gmp_size + -1) - lVar5) < 4)) {\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }" if (parenthesized_expression "((__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2) ||\n       ((ulong)((__gmp_size + -1) - lVar5) < 4))" ( (binary_expression "(__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2) ||\n       ((ulong)((__gmp_size + -1) - lVar5) < 4)" (parenthesized_expression "(__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2)" ( (binary_expression "__gmp_dst + lVar5 < __gmp_src + lVar5 + 2 && __gmp_src + lVar5 < __gmp_dst + lVar5 + 2" (binary_expression "__gmp_dst + lVar5 < __gmp_src + lVar5 + 2" (binary_expression "__gmp_dst + lVar5" identifier + identifier) < (binary_expression "__gmp_src + lVar5 + 2" (binary_expression "__gmp_src + lVar5" identifier + identifier) + number_literal)) && (binary_expression "__gmp_src + lVar5 < __gmp_dst + lVar5 + 2" (binary_expression "__gmp_src + lVar5" identifier + identifier) < (binary_expression "__gmp_dst + lVar5 + 2" (binary_expression "__gmp_dst + lVar5" identifier + identifier) + number_literal))) )) || (parenthesized_expression "((ulong)((__gmp_size + -1) - lVar5) < 4)" ( (binary_expression "(ulong)((__gmp_size + -1) - lVar5) < 4" (call_expression "(ulong)((__gmp_size + -1) - lVar5)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "((__gmp_size + -1) - lVar5)" ( (binary_expression "(__gmp_size + -1) - lVar5" (parenthesized_expression "(__gmp_size + -1)" ( (binary_expression "__gmp_size + -1" identifier + number_literal) )) - identifier) ))) < number_literal) ))) )) (compound_statement "{\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }" { (do_statement "do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);" do (compound_statement "{\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      }" { (expression_statement "__gmp_dst[lVar5] = __gmp_src[lVar5];" (assignment_expression "__gmp_dst[lVar5] = __gmp_src[lVar5]" (subscript_expression "__gmp_dst[lVar5]" identifier [ identifier ]) = (subscript_expression "__gmp_src[lVar5]" identifier [ identifier ])) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(__gmp_size != lVar5)" ( (binary_expression "__gmp_size != lVar5" identifier != identifier) )) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar7 = __gmp_size - lVar5;" (assignment_expression "uVar7 = __gmp_size - lVar5" identifier = (binary_expression "__gmp_size - lVar5" identifier - identifier)) ;) (expression_statement "lVar6 = 0;" (assignment_expression "lVar6 = 0" identifier = number_literal) ;) (do_statement "do {\n      puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 != lVar6);" do (compound_statement "{\n      puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    }" { (expression_statement "puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6);" (assignment_expression "puVar1 = (undefined8 *)((long)(__gmp_src + lVar5) + lVar6)" identifier = (cast_expression "(undefined8 *)((long)(__gmp_src + lVar5) + lVar6)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)(__gmp_src + lVar5) + lVar6)" ( (binary_expression "(long)(__gmp_src + lVar5) + lVar6" (cast_expression "(long)(__gmp_src + lVar5)" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) (parenthesized_expression "(__gmp_src + lVar5)" ( (binary_expression "__gmp_src + lVar5" identifier + identifier) ))) + identifier) )))) ;) (expression_statement "uVar3 = puVar1[1];" (assignment_expression "uVar3 = puVar1[1]" identifier = (subscript_expression "puVar1[1]" identifier [ number_literal ])) ;) (expression_statement "puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6);" (assignment_expression "puVar2 = (undefined8 *)((long)(__gmp_dst + lVar5) + lVar6)" identifier = (cast_expression "(undefined8 *)((long)(__gmp_dst + lVar5) + lVar6)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)(__gmp_dst + lVar5) + lVar6)" ( (binary_expression "(long)(__gmp_dst + lVar5) + lVar6" (cast_expression "(long)(__gmp_dst + lVar5)" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) (parenthesized_expression "(__gmp_dst + lVar5)" ( (binary_expression "__gmp_dst + lVar5" identifier + identifier) ))) + identifier) )))) ;) (expression_statement "*puVar2 = *puVar1;" (assignment_expression "*puVar2 = *puVar1" (pointer_expression "*puVar2" * identifier) = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "puVar2[1] = uVar3;" (assignment_expression "puVar2[1] = uVar3" (subscript_expression "puVar2[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "lVar6 = lVar6 + 0x10;" (assignment_expression "lVar6 = lVar6 + 0x10" identifier = (binary_expression "lVar6 + 0x10" identifier + number_literal)) ;) }) while (parenthesized_expression "((uVar7 >> 1) * 0x10 != lVar6)" ( (binary_expression "(uVar7 >> 1) * 0x10 != lVar6" (binary_expression "(uVar7 >> 1) * 0x10" (parenthesized_expression "(uVar7 >> 1)" ( (binary_expression "uVar7 >> 1" identifier >> number_literal) )) * number_literal) != identifier) )) ;) (expression_statement "lVar5 = lVar5 + (uVar7 & 0xfffffffffffffffe);" (assignment_expression "lVar5 = lVar5 + (uVar7 & 0xfffffffffffffffe)" identifier = (binary_expression "lVar5 + (uVar7 & 0xfffffffffffffffe)" identifier + (parenthesized_expression "(uVar7 & 0xfffffffffffffffe)" ( (binary_expression "uVar7 & 0xfffffffffffffffe" identifier & number_literal) )))) ;) (if_statement "if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }" if (parenthesized_expression "(uVar7 == (uVar7 & 0xfffffffffffffffe))" ( (binary_expression "uVar7 == (uVar7 & 0xfffffffffffffffe)" identifier == (parenthesized_expression "(uVar7 & 0xfffffffffffffffe)" ( (binary_expression "uVar7 & 0xfffffffffffffffe" identifier & number_literal) ))) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) }) (else_clause "else {\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size < 2) {\n      return 0;\n    }\n    if ((__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];\n      *(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);\n      ((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar7 & 0xfffffffffffffffe) + 1;\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" else (compound_statement "{\n    if (__gmp_src == __gmp_dst) {\n      return 0;\n    }\n    if (__gmp_size < 2) {\n      return 0;\n    }\n    if ((__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }\n    uVar7 = __gmp_size - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];\n      *(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);\n      ((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar7 & 0xfffffffffffffffe) + 1;\n    if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" { (if_statement "if (__gmp_src == __gmp_dst) {\n      return 0;\n    }" if (parenthesized_expression "(__gmp_src == __gmp_dst)" ( (binary_expression "__gmp_src == __gmp_dst" identifier == identifier) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (__gmp_size < 2) {\n      return 0;\n    }" if (parenthesized_expression "(__gmp_size < 2)" ( (binary_expression "__gmp_size < 2" identifier < number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if ((__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }" if (parenthesized_expression "((__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4))" ( (binary_expression "(__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3) || (__gmp_size - 2U < 4)" (parenthesized_expression "(__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3)" ( (binary_expression "__gmp_dst + 1 < __gmp_src + 3 && __gmp_src + 1 < __gmp_dst + 3" (binary_expression "__gmp_dst + 1 < __gmp_src + 3" (binary_expression "__gmp_dst + 1" identifier + number_literal) < (binary_expression "__gmp_src + 3" identifier + number_literal)) && (binary_expression "__gmp_src + 1 < __gmp_dst + 3" (binary_expression "__gmp_src + 1" identifier + number_literal) < (binary_expression "__gmp_dst + 3" identifier + number_literal))) )) || (parenthesized_expression "(__gmp_size - 2U < 4)" ( (binary_expression "__gmp_size - 2U < 4" (binary_expression "__gmp_size - 2U" identifier - number_literal) < number_literal) ))) )) (compound_statement "{\n      lVar5 = 1;\n      do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);\n      return 0;\n    }" { (expression_statement "lVar5 = 1;" (assignment_expression "lVar5 = 1" identifier = number_literal) ;) (do_statement "do {\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (__gmp_size != lVar5);" do (compound_statement "{\n        __gmp_dst[lVar5] = __gmp_src[lVar5];\n        lVar5 = lVar5 + 1;\n      }" { (expression_statement "__gmp_dst[lVar5] = __gmp_src[lVar5];" (assignment_expression "__gmp_dst[lVar5] = __gmp_src[lVar5]" (subscript_expression "__gmp_dst[lVar5]" identifier [ identifier ]) = (subscript_expression "__gmp_src[lVar5]" identifier [ identifier ])) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(__gmp_size != lVar5)" ( (binary_expression "__gmp_size != lVar5" identifier != identifier) )) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar7 = __gmp_size - 1;" (assignment_expression "uVar7 = __gmp_size - 1" identifier = (binary_expression "__gmp_size - 1" identifier - number_literal)) ;) (expression_statement "lVar5 = 8;" (assignment_expression "lVar5 = 8" identifier = number_literal) ;) (do_statement "do {\n      uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];\n      *(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);\n      ((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar7 >> 1) * 0x10 + 8 != lVar5);" do (compound_statement "{\n      uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];\n      *(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);\n      ((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    }" { (expression_statement "uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1];" (assignment_expression "uVar3 = ((undefined8 *)((long)__gmp_src + lVar5))[1]" identifier = (subscript_expression "((undefined8 *)((long)__gmp_src + lVar5))[1]" (parenthesized_expression "((undefined8 *)((long)__gmp_src + lVar5))" ( (cast_expression "(undefined8 *)((long)__gmp_src + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)__gmp_src + lVar5)" ( (binary_expression "(long)__gmp_src + lVar5" (cast_expression "(long)__gmp_src" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) ))) )) [ number_literal ])) ;) (expression_statement "*(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5);" (assignment_expression "*(undefined8 *)((long)__gmp_dst + lVar5) = *(undefined8 *)((long)__gmp_src + lVar5)" (pointer_expression "*(undefined8 *)((long)__gmp_dst + lVar5)" * (cast_expression "(undefined8 *)((long)__gmp_dst + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)__gmp_dst + lVar5)" ( (binary_expression "(long)__gmp_dst + lVar5" (cast_expression "(long)__gmp_dst" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) )))) = (pointer_expression "*(undefined8 *)((long)__gmp_src + lVar5)" * (cast_expression "(undefined8 *)((long)__gmp_src + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)__gmp_src + lVar5)" ( (binary_expression "(long)__gmp_src + lVar5" (cast_expression "(long)__gmp_src" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) ))))) ;) (expression_statement "((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3;" (assignment_expression "((undefined8 *)((long)__gmp_dst + lVar5))[1] = uVar3" (subscript_expression "((undefined8 *)((long)__gmp_dst + lVar5))[1]" (parenthesized_expression "((undefined8 *)((long)__gmp_dst + lVar5))" ( (cast_expression "(undefined8 *)((long)__gmp_dst + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)__gmp_dst + lVar5)" ( (binary_expression "(long)__gmp_dst + lVar5" (cast_expression "(long)__gmp_dst" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) ))) )) [ number_literal ]) = identifier) ;) (expression_statement "lVar5 = lVar5 + 0x10;" (assignment_expression "lVar5 = lVar5 + 0x10" identifier = (binary_expression "lVar5 + 0x10" identifier + number_literal)) ;) }) while (parenthesized_expression "((uVar7 >> 1) * 0x10 + 8 != lVar5)" ( (binary_expression "(uVar7 >> 1) * 0x10 + 8 != lVar5" (binary_expression "(uVar7 >> 1) * 0x10 + 8" (binary_expression "(uVar7 >> 1) * 0x10" (parenthesized_expression "(uVar7 >> 1)" ( (binary_expression "uVar7 >> 1" identifier >> number_literal) )) * number_literal) + number_literal) != identifier) )) ;) (expression_statement "lVar5 = (uVar7 & 0xfffffffffffffffe) + 1;" (assignment_expression "lVar5 = (uVar7 & 0xfffffffffffffffe) + 1" identifier = (binary_expression "(uVar7 & 0xfffffffffffffffe) + 1" (parenthesized_expression "(uVar7 & 0xfffffffffffffffe)" ( (binary_expression "uVar7 & 0xfffffffffffffffe" identifier & number_literal) )) + number_literal)) ;) (if_statement "if (uVar7 == (uVar7 & 0xfffffffffffffffe)) {\n      return 0;\n    }" if (parenthesized_expression "(uVar7 == (uVar7 & 0xfffffffffffffffe))" ( (binary_expression "uVar7 == (uVar7 & 0xfffffffffffffffe)" identifier == (parenthesized_expression "(uVar7 & 0xfffffffffffffffe)" ( (binary_expression "uVar7 & 0xfffffffffffffffe" identifier & number_literal) ))) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) }))) (expression_statement "__gmp_dst[lVar5] = __gmp_src[lVar5];" (assignment_expression "__gmp_dst[lVar5] = __gmp_src[lVar5]" (subscript_expression "__gmp_dst[lVar5]" identifier [ identifier ]) = (subscript_expression "__gmp_src[lVar5]" identifier [ identifier ])) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "undefined8 __gmpn_add_1(ulong *param_1,ulong *param_2,long param_3,ulong param_4)\n\n{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  ulong uVar4;\n  long lVar5;\n  long lVar6;\n  \n  uVar4 = *param_2;\n  *param_1 = param_4 + *param_2;\n  if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  param_1[lVar5] = param_2[lVar5];\n  return 0;\n}\n\n" (function_definition "undefined8 __gmpn_add_1(ulong *param_1,ulong *param_2,long param_3,ulong param_4)\n\n{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  ulong uVar4;\n  long lVar5;\n  long lVar6;\n  \n  uVar4 = *param_2;\n  *param_1 = param_4 + *param_2;\n  if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  param_1[lVar5] = param_2[lVar5];\n  return 0;\n}" type_identifier (function_declarator "__gmpn_add_1(ulong *param_1,ulong *param_2,long param_3,ulong param_4)" identifier (parameter_list "(ulong *param_1,ulong *param_2,long param_3,ulong param_4)" ( (parameter_declaration "ulong *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) , (parameter_declaration "ulong param_4" type_identifier identifier) ))) (compound_statement "{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  ulong uVar4;\n  long lVar5;\n  long lVar6;\n  \n  uVar4 = *param_2;\n  *param_1 = param_4 + *param_2;\n  if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  param_1[lVar5] = param_2[lVar5];\n  return 0;\n}" { (declaration "undefined8 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined8 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined8 uVar3;" type_identifier identifier ;) (declaration "ulong uVar4;" type_identifier identifier ;) (declaration "long lVar5;" (sized_type_specifier "long" long) identifier ;) (declaration "long lVar6;" (sized_type_specifier "long" long) identifier ;) (expression_statement "uVar4 = *param_2;" (assignment_expression "uVar4 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "*param_1 = param_4 + *param_2;" (assignment_expression "*param_1 = param_4 + *param_2" (pointer_expression "*param_1" * identifier) = (binary_expression "param_4 + *param_2" identifier + (pointer_expression "*param_2" * identifier))) ;) (if_statement "if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" if (parenthesized_expression "(CARRY8(param_4,uVar4))" ( (call_expression "CARRY8(param_4,uVar4)" identifier (argument_list "(param_4,uVar4)" ( identifier , identifier ))) )) (compound_statement "{\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" { (if_statement "if (param_3 < 2) {\n      return 1;\n    }" if (parenthesized_expression "(param_3 < 2)" ( (binary_expression "param_3 < 2" identifier < number_literal) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar4 = param_2[1];" (assignment_expression "uVar4 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_1[1] = uVar4 + 1;" (assignment_expression "param_1[1] = uVar4 + 1" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (if_statement "if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }" if (parenthesized_expression "(uVar4 + 1 == 0)" ( (binary_expression "uVar4 + 1 == 0" (binary_expression "uVar4 + 1" identifier + number_literal) == number_literal) )) (compound_statement "{\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }" { (if_statement "if (param_3 == 2) {\n        return 1;\n      }" if (parenthesized_expression "(param_3 == 2)" ( (binary_expression "param_3 == 2" identifier == number_literal) )) (compound_statement "{\n        return 1;\n      }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar4 = param_2[2] + 1;" (assignment_expression "uVar4 = param_2[2] + 1" identifier = (binary_expression "param_2[2] + 1" (subscript_expression "param_2[2]" identifier [ number_literal ]) + number_literal)) ;) (expression_statement "param_1[2] = uVar4;" (assignment_expression "param_1[2] = uVar4" (subscript_expression "param_1[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "lVar5 = 3;" (assignment_expression "lVar5 = 3" identifier = number_literal) ;) (while_statement "while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }" while (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (compound_statement "{\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }" { (if_statement "if (param_3 == lVar5) {\n          return 1;\n        }" if (parenthesized_expression "(param_3 == lVar5)" ( (binary_expression "param_3 == lVar5" identifier == identifier) )) (compound_statement "{\n          return 1;\n        }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar4 = param_2[lVar5] + 1;" (assignment_expression "uVar4 = param_2[lVar5] + 1" identifier = (binary_expression "param_2[lVar5] + 1" (subscript_expression "param_2[lVar5]" identifier [ identifier ]) + number_literal)) ;) (expression_statement "param_1[lVar5] = uVar4;" (assignment_expression "param_1[lVar5] = uVar4" (subscript_expression "param_1[lVar5]" identifier [ identifier ]) = identifier) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) })) }) (else_clause "else {\n      lVar5 = 2;\n    }" else (compound_statement "{\n      lVar5 = 2;\n    }" { (expression_statement "lVar5 = 2;" (assignment_expression "lVar5 = 2" identifier = number_literal) ;) }))) (if_statement "if (param_2 == param_1) {\n      return 0;\n    }" if (parenthesized_expression "(param_2 == param_1)" ( (binary_expression "param_2 == param_1" identifier == identifier) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (param_3 <= lVar5) {\n      return 0;\n    }" if (parenthesized_expression "(param_3 <= lVar5)" ( (binary_expression "param_3 <= lVar5" identifier <= identifier) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" if (parenthesized_expression "((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4))" ( (binary_expression "(param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)" (parenthesized_expression "(param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2)" ( (binary_expression "param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2" (binary_expression "param_1 + lVar5 < param_2 + lVar5 + 2" (binary_expression "param_1 + lVar5" identifier + identifier) < (binary_expression "param_2 + lVar5 + 2" (binary_expression "param_2 + lVar5" identifier + identifier) + number_literal)) && (binary_expression "param_2 + lVar5 < param_1 + lVar5 + 2" (binary_expression "param_2 + lVar5" identifier + identifier) < (binary_expression "param_1 + lVar5 + 2" (binary_expression "param_1 + lVar5" identifier + identifier) + number_literal))) )) || (parenthesized_expression "((ulong)((param_3 + -1) - lVar5) < 4)" ( (binary_expression "(ulong)((param_3 + -1) - lVar5) < 4" (call_expression "(ulong)((param_3 + -1) - lVar5)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "((param_3 + -1) - lVar5)" ( (binary_expression "(param_3 + -1) - lVar5" (parenthesized_expression "(param_3 + -1)" ( (binary_expression "param_3 + -1" identifier + number_literal) )) - identifier) ))) < number_literal) ))) )) (compound_statement "{\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" { (do_statement "do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);" do (compound_statement "{\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      }" { (expression_statement "param_1[lVar5] = param_2[lVar5];" (assignment_expression "param_1[lVar5] = param_2[lVar5]" (subscript_expression "param_1[lVar5]" identifier [ identifier ]) = (subscript_expression "param_2[lVar5]" identifier [ identifier ])) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != lVar5)" ( (binary_expression "param_3 != lVar5" identifier != identifier) )) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar4 = param_3 - lVar5;" (assignment_expression "uVar4 = param_3 - lVar5" identifier = (binary_expression "param_3 - lVar5" identifier - identifier)) ;) (expression_statement "lVar6 = 0;" (assignment_expression "lVar6 = 0" identifier = number_literal) ;) (do_statement "do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);" do (compound_statement "{\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    }" { (expression_statement "puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);" (assignment_expression "puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6)" identifier = (cast_expression "(undefined8 *)((long)(param_2 + lVar5) + lVar6)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)(param_2 + lVar5) + lVar6)" ( (binary_expression "(long)(param_2 + lVar5) + lVar6" (cast_expression "(long)(param_2 + lVar5)" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) (parenthesized_expression "(param_2 + lVar5)" ( (binary_expression "param_2 + lVar5" identifier + identifier) ))) + identifier) )))) ;) (expression_statement "uVar3 = puVar1[1];" (assignment_expression "uVar3 = puVar1[1]" identifier = (subscript_expression "puVar1[1]" identifier [ number_literal ])) ;) (expression_statement "puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);" (assignment_expression "puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6)" identifier = (cast_expression "(undefined8 *)((long)(param_1 + lVar5) + lVar6)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)(param_1 + lVar5) + lVar6)" ( (binary_expression "(long)(param_1 + lVar5) + lVar6" (cast_expression "(long)(param_1 + lVar5)" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) (parenthesized_expression "(param_1 + lVar5)" ( (binary_expression "param_1 + lVar5" identifier + identifier) ))) + identifier) )))) ;) (expression_statement "*puVar2 = *puVar1;" (assignment_expression "*puVar2 = *puVar1" (pointer_expression "*puVar2" * identifier) = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "puVar2[1] = uVar3;" (assignment_expression "puVar2[1] = uVar3" (subscript_expression "puVar2[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "lVar6 = lVar6 + 0x10;" (assignment_expression "lVar6 = lVar6 + 0x10" identifier = (binary_expression "lVar6 + 0x10" identifier + number_literal)) ;) }) while (parenthesized_expression "((uVar4 >> 1) * 0x10 != lVar6)" ( (binary_expression "(uVar4 >> 1) * 0x10 != lVar6" (binary_expression "(uVar4 >> 1) * 0x10" (parenthesized_expression "(uVar4 >> 1)" ( (binary_expression "uVar4 >> 1" identifier >> number_literal) )) * number_literal) != identifier) )) ;) (expression_statement "lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);" (assignment_expression "lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe)" identifier = (binary_expression "lVar5 + (uVar4 & 0xfffffffffffffffe)" identifier + (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" ( (binary_expression "uVar4 & 0xfffffffffffffffe" identifier & number_literal) )))) ;) (if_statement "if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }" if (parenthesized_expression "(uVar4 == (uVar4 & 0xfffffffffffffffe))" ( (binary_expression "uVar4 == (uVar4 & 0xfffffffffffffffe)" identifier == (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" ( (binary_expression "uVar4 & 0xfffffffffffffffe" identifier & number_literal) ))) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) }) (else_clause "else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" else (compound_statement "{\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" { (if_statement "if (param_2 == param_1) {\n      return 0;\n    }" if (parenthesized_expression "(param_2 == param_1)" ( (binary_expression "param_2 == param_1" identifier == identifier) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (param_3 < 2) {\n      return 0;\n    }" if (parenthesized_expression "(param_3 < 2)" ( (binary_expression "param_3 < 2" identifier < number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" if (parenthesized_expression "((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4))" ( (binary_expression "(param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)" (parenthesized_expression "(param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3)" ( (binary_expression "param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3" (binary_expression "param_1 + 1 < param_2 + 3" (binary_expression "param_1 + 1" identifier + number_literal) < (binary_expression "param_2 + 3" identifier + number_literal)) && (binary_expression "param_2 + 1 < param_1 + 3" (binary_expression "param_2 + 1" identifier + number_literal) < (binary_expression "param_1 + 3" identifier + number_literal))) )) || (parenthesized_expression "(param_3 - 2U < 4)" ( (binary_expression "param_3 - 2U < 4" (binary_expression "param_3 - 2U" identifier - number_literal) < number_literal) ))) )) (compound_statement "{\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" { (expression_statement "lVar5 = 1;" (assignment_expression "lVar5 = 1" identifier = number_literal) ;) (do_statement "do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);" do (compound_statement "{\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      }" { (expression_statement "param_1[lVar5] = param_2[lVar5];" (assignment_expression "param_1[lVar5] = param_2[lVar5]" (subscript_expression "param_1[lVar5]" identifier [ identifier ]) = (subscript_expression "param_2[lVar5]" identifier [ identifier ])) ;) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" identifier = (binary_expression "lVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != lVar5)" ( (binary_expression "param_3 != lVar5" identifier != identifier) )) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar4 = param_3 - 1;" (assignment_expression "uVar4 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "lVar5 = 8;" (assignment_expression "lVar5 = 8" identifier = number_literal) ;) (do_statement "do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);" do (compound_statement "{\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    }" { (expression_statement "uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];" (assignment_expression "uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1]" identifier = (subscript_expression "((undefined8 *)((long)param_2 + lVar5))[1]" (parenthesized_expression "((undefined8 *)((long)param_2 + lVar5))" ( (cast_expression "(undefined8 *)((long)param_2 + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)param_2 + lVar5)" ( (binary_expression "(long)param_2 + lVar5" (cast_expression "(long)param_2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) ))) )) [ number_literal ])) ;) (expression_statement "*(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);" (assignment_expression "*(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5)" (pointer_expression "*(undefined8 *)((long)param_1 + lVar5)" * (cast_expression "(undefined8 *)((long)param_1 + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)param_1 + lVar5)" ( (binary_expression "(long)param_1 + lVar5" (cast_expression "(long)param_1" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) )))) = (pointer_expression "*(undefined8 *)((long)param_2 + lVar5)" * (cast_expression "(undefined8 *)((long)param_2 + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)param_2 + lVar5)" ( (binary_expression "(long)param_2 + lVar5" (cast_expression "(long)param_2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) ))))) ;) (expression_statement "((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;" (assignment_expression "((undefined8 *)((long)param_1 + lVar5))[1] = uVar3" (subscript_expression "((undefined8 *)((long)param_1 + lVar5))[1]" (parenthesized_expression "((undefined8 *)((long)param_1 + lVar5))" ( (cast_expression "(undefined8 *)((long)param_1 + lVar5)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)param_1 + lVar5)" ( (binary_expression "(long)param_1 + lVar5" (cast_expression "(long)param_1" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + identifier) ))) )) [ number_literal ]) = identifier) ;) (expression_statement "lVar5 = lVar5 + 0x10;" (assignment_expression "lVar5 = lVar5 + 0x10" identifier = (binary_expression "lVar5 + 0x10" identifier + number_literal)) ;) }) while (parenthesized_expression "((uVar4 >> 1) * 0x10 + 8 != lVar5)" ( (binary_expression "(uVar4 >> 1) * 0x10 + 8 != lVar5" (binary_expression "(uVar4 >> 1) * 0x10 + 8" (binary_expression "(uVar4 >> 1) * 0x10" (parenthesized_expression "(uVar4 >> 1)" ( (binary_expression "uVar4 >> 1" identifier >> number_literal) )) * number_literal) + number_literal) != identifier) )) ;) (expression_statement "lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;" (assignment_expression "lVar5 = (uVar4 & 0xfffffffffffffffe) + 1" identifier = (binary_expression "(uVar4 & 0xfffffffffffffffe) + 1" (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" ( (binary_expression "uVar4 & 0xfffffffffffffffe" identifier & number_literal) )) + number_literal)) ;) (if_statement "if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }" if (parenthesized_expression "(uVar4 == (uVar4 & 0xfffffffffffffffe))" ( (binary_expression "uVar4 == (uVar4 & 0xfffffffffffffffe)" identifier == (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" ( (binary_expression "uVar4 & 0xfffffffffffffffe" identifier & number_literal) ))) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) }))) (expression_statement "param_1[lVar5] = param_2[lVar5];" (assignment_expression "param_1[lVar5] = param_2[lVar5]" (subscript_expression "param_1[lVar5]" identifier [ identifier ]) = (subscript_expression "param_2[lVar5]" identifier [ identifier ])) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration (sized_type_specifier long) IDENT ;) (declaration (sized_type_specifier long) IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT + (pointer_expression * IDENT))) ;) (if_statement if (parenthesized_expression ( (call_expression IDENT (argument_list ( IDENT , IDENT ))) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) + LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ IDENT ]) + LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (return_statement return LIT ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (return_statement return LIT ;) })) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT + IDENT) < (binary_expression (binary_expression IDENT + IDENT) + LIT)) && (binary_expression (binary_expression IDENT + IDENT) < (binary_expression (binary_expression IDENT + IDENT) + LIT))) )) || (parenthesized_expression ( (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) - IDENT) ))) < LIT) ))) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = (subscript_expression IDENT [ IDENT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != IDENT) )) ;) (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) ))) + IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) ))) + IDENT) )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) * LIT) != IDENT) )) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (parenthesized_expression ( (binary_expression IDENT & LIT) ))) )) (compound_statement { (return_statement return LIT ;) })) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (return_statement return LIT ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (return_statement return LIT ;) })) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT + LIT) < (binary_expression IDENT + LIT)) && (binary_expression (binary_expression IDENT + LIT) < (binary_expression IDENT + LIT))) )) || (parenthesized_expression ( (binary_expression (binary_expression IDENT - LIT) < LIT) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = (subscript_expression IDENT [ IDENT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != IDENT) )) ;) (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression (parenthesized_expression ( (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT) + IDENT) ))) )) [ LIT ])) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT) + IDENT) )))) = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT) + IDENT) ))))) ;) (expression_statement (assignment_expression (subscript_expression (parenthesized_expression ( (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT) + IDENT) ))) )) [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) * LIT) + LIT) != IDENT) )) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (parenthesized_expression ( (binary_expression IDENT & LIT) ))) )) (compound_statement { (return_statement return LIT ;) })) }))) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = (subscript_expression IDENT [ IDENT ])) ;) (return_statement return LIT ;) })))
(function_definition "undefined8 __gmpn_add_1(ulong *param_1,ulong *param_2,long param_3,ulong param_4)\n\n{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  ulong uVar4;\n  long lVar5;\n  long lVar6;\n  \n  uVar4 = *param_2;\n  *param_1 = param_4 + *param_2;\n  if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  param_1[lVar5] = param_2[lVar5];\n  return 0;\n}" (type_identifier "undefined8") (function_declarator "__gmpn_add_1(ulong *param_1,ulong *param_2,long param_3,ulong param_4)" (identifier "__gmpn_add_1") (parameter_list "(ulong *param_1,ulong *param_2,long param_3,ulong param_4)" (( "(") (parameter_declaration "ulong *param_1" (type_identifier "ulong") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "ulong *param_2" (type_identifier "ulong") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "long param_3" (sized_type_specifier "long" (long "long")) (identifier "param_3")) (, ",") (parameter_declaration "ulong param_4" (type_identifier "ulong") (identifier "param_4")) () ")"))) (compound_statement "{\n  undefined8 *puVar1;\n  undefined8 *puVar2;\n  undefined8 uVar3;\n  ulong uVar4;\n  long lVar5;\n  long lVar6;\n  \n  uVar4 = *param_2;\n  *param_1 = param_4 + *param_2;\n  if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  param_1[lVar5] = param_2[lVar5];\n  return 0;\n}" ({ "{") (declaration "undefined8 *puVar1;" (type_identifier "undefined8") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "undefined8 *puVar2;" (type_identifier "undefined8") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "undefined8 uVar3;" (type_identifier "undefined8") (identifier "uVar3") (; ";")) (declaration "ulong uVar4;" (type_identifier "ulong") (identifier "uVar4") (; ";")) (declaration "long lVar5;" (sized_type_specifier "long" (long "long")) (identifier "lVar5") (; ";")) (declaration "long lVar6;" (sized_type_specifier "long" (long "long")) (identifier "lVar6") (; ";")) (expression_statement "uVar4 = *param_2;" (assignment_expression "uVar4 = *param_2" (identifier "uVar4") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "*param_1 = param_4 + *param_2;" (assignment_expression "*param_1 = param_4 + *param_2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "param_4 + *param_2" (identifier "param_4") (+ "+") (pointer_expression "*param_2" (* "*") (identifier "param_2")))) (; ";")) (if_statement "if (CARRY8(param_4,uVar4)) {\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }\n  else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" (if "if") (parenthesized_expression "(CARRY8(param_4,uVar4))" (( "(") (call_expression "CARRY8(param_4,uVar4)" (identifier "CARRY8") (argument_list "(param_4,uVar4)" (( "(") (identifier "param_4") (, ",") (identifier "uVar4") () ")"))) () ")")) (compound_statement "{\n    if (param_3 < 2) {\n      return 1;\n    }\n    uVar4 = param_2[1];\n    param_1[1] = uVar4 + 1;\n    if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 <= lVar5) {\n      return 0;\n    }\n    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - lVar5;\n    lVar6 = 0;\n    do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);\n    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" ({ "{") (if_statement "if (param_3 < 2) {\n      return 1;\n    }" (if "if") (parenthesized_expression "(param_3 < 2)" (( "(") (binary_expression "param_3 < 2" (identifier "param_3") (< "<") (number_literal "2")) () ")")) (compound_statement "{\n      return 1;\n    }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))) (expression_statement "uVar4 = param_2[1];" (assignment_expression "uVar4 = param_2[1]" (identifier "uVar4") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "param_1[1] = uVar4 + 1;" (assignment_expression "param_1[1] = uVar4 + 1" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (uVar4 + 1 == 0) {\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }\n    else {\n      lVar5 = 2;\n    }" (if "if") (parenthesized_expression "(uVar4 + 1 == 0)" (( "(") (binary_expression "uVar4 + 1 == 0" (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      if (param_3 == 2) {\n        return 1;\n      }\n      uVar4 = param_2[2] + 1;\n      param_1[2] = uVar4;\n      lVar5 = 3;\n      while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }\n    }" ({ "{") (if_statement "if (param_3 == 2) {\n        return 1;\n      }" (if "if") (parenthesized_expression "(param_3 == 2)" (( "(") (binary_expression "param_3 == 2" (identifier "param_3") (== "==") (number_literal "2")) () ")")) (compound_statement "{\n        return 1;\n      }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))) (expression_statement "uVar4 = param_2[2] + 1;" (assignment_expression "uVar4 = param_2[2] + 1" (identifier "uVar4") (= "=") (binary_expression "param_2[2] + 1" (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]")) (+ "+") (number_literal "1"))) (; ";")) (expression_statement "param_1[2] = uVar4;" (assignment_expression "param_1[2] = uVar4" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "uVar4")) (; ";")) (expression_statement "lVar5 = 3;" (assignment_expression "lVar5 = 3" (identifier "lVar5") (= "=") (number_literal "3")) (; ";")) (while_statement "while (uVar4 == 0) {\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }" (while "while") (parenthesized_expression "(uVar4 == 0)" (( "(") (binary_expression "uVar4 == 0" (identifier "uVar4") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n        if (param_3 == lVar5) {\n          return 1;\n        }\n        uVar4 = param_2[lVar5] + 1;\n        param_1[lVar5] = uVar4;\n        lVar5 = lVar5 + 1;\n      }" ({ "{") (if_statement "if (param_3 == lVar5) {\n          return 1;\n        }" (if "if") (parenthesized_expression "(param_3 == lVar5)" (( "(") (binary_expression "param_3 == lVar5" (identifier "param_3") (== "==") (identifier "lVar5")) () ")")) (compound_statement "{\n          return 1;\n        }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))) (expression_statement "uVar4 = param_2[lVar5] + 1;" (assignment_expression "uVar4 = param_2[lVar5] + 1" (identifier "uVar4") (= "=") (binary_expression "param_2[lVar5] + 1" (subscript_expression "param_2[lVar5]" (identifier "param_2") ([ "[") (identifier "lVar5") (] "]")) (+ "+") (number_literal "1"))) (; ";")) (expression_statement "param_1[lVar5] = uVar4;" (assignment_expression "param_1[lVar5] = uVar4" (subscript_expression "param_1[lVar5]" (identifier "param_1") ([ "[") (identifier "lVar5") (] "]")) (= "=") (identifier "uVar4")) (; ";")) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" (identifier "lVar5") (= "=") (binary_expression "lVar5 + 1" (identifier "lVar5") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (} "}")) (else_clause "else {\n      lVar5 = 2;\n    }" (else "else") (compound_statement "{\n      lVar5 = 2;\n    }" ({ "{") (expression_statement "lVar5 = 2;" (assignment_expression "lVar5 = 2" (identifier "lVar5") (= "=") (number_literal "2")) (; ";")) (} "}")))) (if_statement "if (param_2 == param_1) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(param_2 == param_1)" (( "(") (binary_expression "param_2 == param_1" (identifier "param_2") (== "==") (identifier "param_1")) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (if_statement "if (param_3 <= lVar5) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(param_3 <= lVar5)" (( "(") (binary_expression "param_3 <= lVar5" (identifier "param_3") (<= "<=") (identifier "lVar5")) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (if_statement "if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)) {\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" (if "if") (parenthesized_expression "((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4))" (( "(") (binary_expression "(param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||\n       ((ulong)((param_3 + -1) - lVar5) < 4)" (parenthesized_expression "(param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2)" (( "(") (binary_expression "param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2" (binary_expression "param_1 + lVar5 < param_2 + lVar5 + 2" (binary_expression "param_1 + lVar5" (identifier "param_1") (+ "+") (identifier "lVar5")) (< "<") (binary_expression "param_2 + lVar5 + 2" (binary_expression "param_2 + lVar5" (identifier "param_2") (+ "+") (identifier "lVar5")) (+ "+") (number_literal "2"))) (&& "&&") (binary_expression "param_2 + lVar5 < param_1 + lVar5 + 2" (binary_expression "param_2 + lVar5" (identifier "param_2") (+ "+") (identifier "lVar5")) (< "<") (binary_expression "param_1 + lVar5 + 2" (binary_expression "param_1 + lVar5" (identifier "param_1") (+ "+") (identifier "lVar5")) (+ "+") (number_literal "2")))) () ")")) (|| "||") (parenthesized_expression "((ulong)((param_3 + -1) - lVar5) < 4)" (( "(") (binary_expression "(ulong)((param_3 + -1) - lVar5) < 4" (call_expression "(ulong)((param_3 + -1) - lVar5)" (parenthesized_expression "(ulong)" (( "(") (identifier "ulong") () ")")) (argument_list "((param_3 + -1) - lVar5)" (( "(") (binary_expression "(param_3 + -1) - lVar5" (parenthesized_expression "(param_3 + -1)" (( "(") (binary_expression "param_3 + -1" (identifier "param_3") (+ "+") (number_literal "-1")) () ")")) (- "-") (identifier "lVar5")) () ")"))) (< "<") (number_literal "4")) () ")"))) () ")")) (compound_statement "{\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" ({ "{") (do_statement "do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);" (do "do") (compound_statement "{\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      }" ({ "{") (expression_statement "param_1[lVar5] = param_2[lVar5];" (assignment_expression "param_1[lVar5] = param_2[lVar5]" (subscript_expression "param_1[lVar5]" (identifier "param_1") ([ "[") (identifier "lVar5") (] "]")) (= "=") (subscript_expression "param_2[lVar5]" (identifier "param_2") ([ "[") (identifier "lVar5") (] "]"))) (; ";")) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" (identifier "lVar5") (= "=") (binary_expression "lVar5 + 1" (identifier "lVar5") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_3 != lVar5)" (( "(") (binary_expression "param_3 != lVar5" (identifier "param_3") (!= "!=") (identifier "lVar5")) () ")")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "uVar4 = param_3 - lVar5;" (assignment_expression "uVar4 = param_3 - lVar5" (identifier "uVar4") (= "=") (binary_expression "param_3 - lVar5" (identifier "param_3") (- "-") (identifier "lVar5"))) (; ";")) (expression_statement "lVar6 = 0;" (assignment_expression "lVar6 = 0" (identifier "lVar6") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 != lVar6);" (do "do") (compound_statement "{\n      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);\n      uVar3 = puVar1[1];\n      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);\n      *puVar2 = *puVar1;\n      puVar2[1] = uVar3;\n      lVar6 = lVar6 + 0x10;\n    }" ({ "{") (expression_statement "puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);" (assignment_expression "puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6)" (identifier "puVar1") (= "=") (cast_expression "(undefined8 *)((long)(param_2 + lVar5) + lVar6)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((long)(param_2 + lVar5) + lVar6)" (( "(") (binary_expression "(long)(param_2 + lVar5) + lVar6" (cast_expression "(long)(param_2 + lVar5)" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (parenthesized_expression "(param_2 + lVar5)" (( "(") (binary_expression "param_2 + lVar5" (identifier "param_2") (+ "+") (identifier "lVar5")) () ")"))) (+ "+") (identifier "lVar6")) () ")")))) (; ";")) (expression_statement "uVar3 = puVar1[1];" (assignment_expression "uVar3 = puVar1[1]" (identifier "uVar3") (= "=") (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);" (assignment_expression "puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6)" (identifier "puVar2") (= "=") (cast_expression "(undefined8 *)((long)(param_1 + lVar5) + lVar6)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((long)(param_1 + lVar5) + lVar6)" (( "(") (binary_expression "(long)(param_1 + lVar5) + lVar6" (cast_expression "(long)(param_1 + lVar5)" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (parenthesized_expression "(param_1 + lVar5)" (( "(") (binary_expression "param_1 + lVar5" (identifier "param_1") (+ "+") (identifier "lVar5")) () ")"))) (+ "+") (identifier "lVar6")) () ")")))) (; ";")) (expression_statement "*puVar2 = *puVar1;" (assignment_expression "*puVar2 = *puVar1" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (expression_statement "puVar2[1] = uVar3;" (assignment_expression "puVar2[1] = uVar3" (subscript_expression "puVar2[1]" (identifier "puVar2") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "uVar3")) (; ";")) (expression_statement "lVar6 = lVar6 + 0x10;" (assignment_expression "lVar6 = lVar6 + 0x10" (identifier "lVar6") (= "=") (binary_expression "lVar6 + 0x10" (identifier "lVar6") (+ "+") (number_literal "0x10"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "((uVar4 >> 1) * 0x10 != lVar6)" (( "(") (binary_expression "(uVar4 >> 1) * 0x10 != lVar6" (binary_expression "(uVar4 >> 1) * 0x10" (parenthesized_expression "(uVar4 >> 1)" (( "(") (binary_expression "uVar4 >> 1" (identifier "uVar4") (>> ">>") (number_literal "1")) () ")")) (* "*") (number_literal "0x10")) (!= "!=") (identifier "lVar6")) () ")")) (; ";")) (expression_statement "lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);" (assignment_expression "lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe)" (identifier "lVar5") (= "=") (binary_expression "lVar5 + (uVar4 & 0xfffffffffffffffe)" (identifier "lVar5") (+ "+") (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" (( "(") (binary_expression "uVar4 & 0xfffffffffffffffe" (identifier "uVar4") (& "&") (number_literal "0xfffffffffffffffe")) () ")")))) (; ";")) (if_statement "if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(uVar4 == (uVar4 & 0xfffffffffffffffe))" (( "(") (binary_expression "uVar4 == (uVar4 & 0xfffffffffffffffe)" (identifier "uVar4") (== "==") (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" (( "(") (binary_expression "uVar4 & 0xfffffffffffffffe" (identifier "uVar4") (& "&") (number_literal "0xfffffffffffffffe")) () ")"))) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}")) (else_clause "else {\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" (else "else") (compound_statement "{\n    if (param_2 == param_1) {\n      return 0;\n    }\n    if (param_3 < 2) {\n      return 0;\n    }\n    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }\n    uVar4 = param_3 - 1;\n    lVar5 = 8;\n    do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);\n    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;\n    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }\n  }" ({ "{") (if_statement "if (param_2 == param_1) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(param_2 == param_1)" (( "(") (binary_expression "param_2 == param_1" (identifier "param_2") (== "==") (identifier "param_1")) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (if_statement "if (param_3 < 2) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(param_3 < 2)" (( "(") (binary_expression "param_3 < 2" (identifier "param_3") (< "<") (number_literal "2")) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (if_statement "if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" (if "if") (parenthesized_expression "((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4))" (( "(") (binary_expression "(param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)" (parenthesized_expression "(param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3)" (( "(") (binary_expression "param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3" (binary_expression "param_1 + 1 < param_2 + 3" (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1")) (< "<") (binary_expression "param_2 + 3" (identifier "param_2") (+ "+") (number_literal "3"))) (&& "&&") (binary_expression "param_2 + 1 < param_1 + 3" (binary_expression "param_2 + 1" (identifier "param_2") (+ "+") (number_literal "1")) (< "<") (binary_expression "param_1 + 3" (identifier "param_1") (+ "+") (number_literal "3")))) () ")")) (|| "||") (parenthesized_expression "(param_3 - 2U < 4)" (( "(") (binary_expression "param_3 - 2U < 4" (binary_expression "param_3 - 2U" (identifier "param_3") (- "-") (number_literal "2U")) (< "<") (number_literal "4")) () ")"))) () ")")) (compound_statement "{\n      lVar5 = 1;\n      do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);\n      return 0;\n    }" ({ "{") (expression_statement "lVar5 = 1;" (assignment_expression "lVar5 = 1" (identifier "lVar5") (= "=") (number_literal "1")) (; ";")) (do_statement "do {\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      } while (param_3 != lVar5);" (do "do") (compound_statement "{\n        param_1[lVar5] = param_2[lVar5];\n        lVar5 = lVar5 + 1;\n      }" ({ "{") (expression_statement "param_1[lVar5] = param_2[lVar5];" (assignment_expression "param_1[lVar5] = param_2[lVar5]" (subscript_expression "param_1[lVar5]" (identifier "param_1") ([ "[") (identifier "lVar5") (] "]")) (= "=") (subscript_expression "param_2[lVar5]" (identifier "param_2") ([ "[") (identifier "lVar5") (] "]"))) (; ";")) (expression_statement "lVar5 = lVar5 + 1;" (assignment_expression "lVar5 = lVar5 + 1" (identifier "lVar5") (= "=") (binary_expression "lVar5 + 1" (identifier "lVar5") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_3 != lVar5)" (( "(") (binary_expression "param_3 != lVar5" (identifier "param_3") (!= "!=") (identifier "lVar5")) () ")")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "uVar4 = param_3 - 1;" (assignment_expression "uVar4 = param_3 - 1" (identifier "uVar4") (= "=") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) (; ";")) (expression_statement "lVar5 = 8;" (assignment_expression "lVar5 = 8" (identifier "lVar5") (= "=") (number_literal "8")) (; ";")) (do_statement "do {\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);" (do "do") (compound_statement "{\n      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];\n      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);\n      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;\n      lVar5 = lVar5 + 0x10;\n    }" ({ "{") (expression_statement "uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];" (assignment_expression "uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1]" (identifier "uVar3") (= "=") (subscript_expression "((undefined8 *)((long)param_2 + lVar5))[1]" (parenthesized_expression "((undefined8 *)((long)param_2 + lVar5))" (( "(") (cast_expression "(undefined8 *)((long)param_2 + lVar5)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((long)param_2 + lVar5)" (( "(") (binary_expression "(long)param_2 + lVar5" (cast_expression "(long)param_2" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "param_2")) (+ "+") (identifier "lVar5")) () ")"))) () ")")) ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "*(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);" (assignment_expression "*(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5)" (pointer_expression "*(undefined8 *)((long)param_1 + lVar5)" (* "*") (cast_expression "(undefined8 *)((long)param_1 + lVar5)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((long)param_1 + lVar5)" (( "(") (binary_expression "(long)param_1 + lVar5" (cast_expression "(long)param_1" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "param_1")) (+ "+") (identifier "lVar5")) () ")")))) (= "=") (pointer_expression "*(undefined8 *)((long)param_2 + lVar5)" (* "*") (cast_expression "(undefined8 *)((long)param_2 + lVar5)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((long)param_2 + lVar5)" (( "(") (binary_expression "(long)param_2 + lVar5" (cast_expression "(long)param_2" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "param_2")) (+ "+") (identifier "lVar5")) () ")"))))) (; ";")) (expression_statement "((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;" (assignment_expression "((undefined8 *)((long)param_1 + lVar5))[1] = uVar3" (subscript_expression "((undefined8 *)((long)param_1 + lVar5))[1]" (parenthesized_expression "((undefined8 *)((long)param_1 + lVar5))" (( "(") (cast_expression "(undefined8 *)((long)param_1 + lVar5)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((long)param_1 + lVar5)" (( "(") (binary_expression "(long)param_1 + lVar5" (cast_expression "(long)param_1" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "param_1")) (+ "+") (identifier "lVar5")) () ")"))) () ")")) ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "uVar3")) (; ";")) (expression_statement "lVar5 = lVar5 + 0x10;" (assignment_expression "lVar5 = lVar5 + 0x10" (identifier "lVar5") (= "=") (binary_expression "lVar5 + 0x10" (identifier "lVar5") (+ "+") (number_literal "0x10"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "((uVar4 >> 1) * 0x10 + 8 != lVar5)" (( "(") (binary_expression "(uVar4 >> 1) * 0x10 + 8 != lVar5" (binary_expression "(uVar4 >> 1) * 0x10 + 8" (binary_expression "(uVar4 >> 1) * 0x10" (parenthesized_expression "(uVar4 >> 1)" (( "(") (binary_expression "uVar4 >> 1" (identifier "uVar4") (>> ">>") (number_literal "1")) () ")")) (* "*") (number_literal "0x10")) (+ "+") (number_literal "8")) (!= "!=") (identifier "lVar5")) () ")")) (; ";")) (expression_statement "lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;" (assignment_expression "lVar5 = (uVar4 & 0xfffffffffffffffe) + 1" (identifier "lVar5") (= "=") (binary_expression "(uVar4 & 0xfffffffffffffffe) + 1" (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" (( "(") (binary_expression "uVar4 & 0xfffffffffffffffe" (identifier "uVar4") (& "&") (number_literal "0xfffffffffffffffe")) () ")")) (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(uVar4 == (uVar4 & 0xfffffffffffffffe))" (( "(") (binary_expression "uVar4 == (uVar4 & 0xfffffffffffffffe)" (identifier "uVar4") (== "==") (parenthesized_expression "(uVar4 & 0xfffffffffffffffe)" (( "(") (binary_expression "uVar4 & 0xfffffffffffffffe" (identifier "uVar4") (& "&") (number_literal "0xfffffffffffffffe")) () ")"))) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}")))) (expression_statement "param_1[lVar5] = param_2[lVar5];" (assignment_expression "param_1[lVar5] = param_2[lVar5]" (subscript_expression "param_1[lVar5]" (identifier "param_1") ([ "[") (identifier "lVar5") (] "]")) (= "=") (subscript_expression "param_2[lVar5]" (identifier "param_2") ([ "[") (identifier "lVar5") (] "]"))) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

type_1 function_1(type_2 var_7,type_3 var_6,type_4 var_3,type_1 var_1)

{
  type_5 *puVar1;
  type_5 *puVar2;
  type_5 uVar3;
  type_1 var_4;
  long var_5;
  long var_8;
  type_6 var_9;
  type_1 *__gmp_x;
  
  var_9 = *var_6;
  *var_7 = var_1 + *var_6;
  if (var_2(var_1,var_9)) {
    if (var_3 < 2) {
      return 1;
    }
    var_4 = var_6[1];
    var_7[1] = var_4 + 1;
    if (var_4 + 1 == 0) {
      if (var_3 == 2) {
        return 1;
      }
      var_4 = var_6[2] + 1;
      var_7[2] = var_4;
      var_5 = 3;
      while (var_4 == 0) {
        if (var_3 == var_5) {
          return 1;
        }
        var_4 = var_6[var_5] + 1;
        var_7[var_5] = var_4;
        var_5 = var_5 + 1;
      }
    }
    else {
      var_5 = 2;
    }
    if (var_6 == var_7) {
      return 0;
    }
    if (var_3 <= var_5) {
      return 0;
    }
    if ((var_7 + var_5 < var_6 + var_5 + 2 && var_6 + var_5 < var_7 + var_5 + 2) ||
       ((type_6)((var_3 + -1) - var_5) < 4)) {
      do {
        var_7[var_5] = var_6[var_5];
        var_5 = var_5 + 1;
      } while (var_3 != var_5);
      return 0;
    }
    var_9 = var_3 - var_5;
    var_8 = 0;
    do {
      puVar1 = (type_5 *)((long)(var_6 + var_5) + var_8);
      uVar3 = puVar1[1];
      puVar2 = (type_5 *)((long)(var_7 + var_5) + var_8);
      *puVar2 = *puVar1;
      puVar2[1] = uVar3;
      var_8 = var_8 + 0x10;
    } while ((var_9 >> 1) * 0x10 != var_8);
    var_5 = var_5 + (var_9 & 0xfffffffffffffffe);
    if (var_9 == (var_9 & 0xfffffffffffffffe)) {
      return 0;
    }
  }
  else {
    if (var_6 == var_7) {
      return 0;
    }
    if (var_3 < 2) {
      return 0;
    }
    if ((var_7 + 1 < var_6 + 3 && var_6 + 1 < var_7 + 3) || (var_3 - 2U < 4)) {
      var_5 = 1;
      do {
        var_7[var_5] = var_6[var_5];
        var_5 = var_5 + 1;
      } while (var_3 != var_5);
      return 0;
    }
    var_9 = var_3 - 1;
    var_5 = 8;
    do {
      uVar3 = ((type_5 *)((long)var_6 + var_5))[1];
      *(type_5 *)((long)var_7 + var_5) = *(type_5 *)((long)var_6 + var_5);
      ((type_5 *)((long)var_7 + var_5))[1] = uVar3;
      var_5 = var_5 + 0x10;
    } while ((var_9 >> 1) * 0x10 + 8 != var_5);
    var_5 = (var_9 & 0xfffffffffffffffe) + 1;
    if (var_9 == (var_9 & 0xfffffffffffffffe)) {
      return 0;
    }
  }
  var_7[var_5] = var_6[var_5];
  return 0;
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (sized_type_specifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (sized_type_specifier) declarator: (identifier)) (declaration type: (sized_type_specifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (pointer_expression argument: (identifier))))) (if_statement condition: (parenthesized_expression (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier)))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (while_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (return_statement (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (return_statement (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (number_literal))) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (number_literal))))) right: (parenthesized_expression (binary_expression left: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (identifier)))) right: (number_literal))))) consequence: (compound_statement (do_statement body: (compound_statement (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (subscript_expression argument: (identifier) index: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))) (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))) right: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))) right: (identifier)))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) consequence: (compound_statement (return_statement (number_literal))))) alternative: (else_clause (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (return_statement (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal))) right: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal))))) right: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (subscript_expression argument: (identifier) index: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))) (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (parenthesized_expression (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (identifier)) right: (identifier))))) index: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (identifier)) right: (identifier))))) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (identifier)) right: (identifier))))))) (expression_statement (assignment_expression left: (subscript_expression argument: (parenthesized_expression (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (identifier)) right: (identifier))))) index: (number_literal)) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)) right: (number_literal)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) consequence: (compound_statement (return_statement (number_literal))))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (identifier)) right: (subscript_expression argument: (identifier) index: (identifier)))) (return_statement (number_literal)))))

undefined8 MASKED(ulong *param_1,ulong *param_2,long param_3,ulong param_4)

{
  undefined8 *puVar1;
  undefined8 *puVar2;
  undefined8 uVar3;
  ulong uVar4;
  long lVar5;
  long lVar6;
  
  uVar4 = *param_2;
  *param_1 = param_4 + *param_2;
  if (CARRY8(param_4,uVar4)) {
    if (param_3 < 2) {
      return 1;
    }
    uVar4 = param_2[1];
    param_1[1] = uVar4 + 1;
    if (uVar4 + 1 == 0) {
      if (param_3 == 2) {
        return 1;
      }
      uVar4 = param_2[2] + 1;
      param_1[2] = uVar4;
      lVar5 = 3;
      while (uVar4 == 0) {
        if (param_3 == lVar5) {
          return 1;
        }
        uVar4 = param_2[lVar5] + 1;
        param_1[lVar5] = uVar4;
        lVar5 = lVar5 + 1;
      }
    }
    else {
      lVar5 = 2;
    }
    if (param_2 == param_1) {
      return 0;
    }
    if (param_3 <= lVar5) {
      return 0;
    }
    if ((param_1 + lVar5 < param_2 + lVar5 + 2 && param_2 + lVar5 < param_1 + lVar5 + 2) ||
       ((ulong)((param_3 + -1) - lVar5) < 4)) {
      do {
        param_1[lVar5] = param_2[lVar5];
        lVar5 = lVar5 + 1;
      } while (param_3 != lVar5);
      return 0;
    }
    uVar4 = param_3 - lVar5;
    lVar6 = 0;
    do {
      puVar1 = (undefined8 *)((long)(param_2 + lVar5) + lVar6);
      uVar3 = puVar1[1];
      puVar2 = (undefined8 *)((long)(param_1 + lVar5) + lVar6);
      *puVar2 = *puVar1;
      puVar2[1] = uVar3;
      lVar6 = lVar6 + 0x10;
    } while ((uVar4 >> 1) * 0x10 != lVar6);
    lVar5 = lVar5 + (uVar4 & 0xfffffffffffffffe);
    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {
      return 0;
    }
  }
  else {
    if (param_2 == param_1) {
      return 0;
    }
    if (param_3 < 2) {
      return 0;
    }
    if ((param_1 + 1 < param_2 + 3 && param_2 + 1 < param_1 + 3) || (param_3 - 2U < 4)) {
      lVar5 = 1;
      do {
        param_1[lVar5] = param_2[lVar5];
        lVar5 = lVar5 + 1;
      } while (param_3 != lVar5);
      return 0;
    }
    uVar4 = param_3 - 1;
    lVar5 = 8;
    do {
      uVar3 = ((undefined8 *)((long)param_2 + lVar5))[1];
      *(undefined8 *)((long)param_1 + lVar5) = *(undefined8 *)((long)param_2 + lVar5);
      ((undefined8 *)((long)param_1 + lVar5))[1] = uVar3;
      lVar5 = lVar5 + 0x10;
    } while ((uVar4 >> 1) * 0x10 + 8 != lVar5);
    lVar5 = (uVar4 & 0xfffffffffffffffe) + 1;
    if (uVar4 == (uVar4 & 0xfffffffffffffffe)) {
      return 0;
    }
  }
  param_1[lVar5] = param_2[lVar5];
  return 0;
}

