
int rc6_ecb_decrypt(uchar *ct,uchar *pt,symmetric_key *skey)

{
  ulong32 uVar1;
  ulong32 uVar2;
  byte bVar3;
  uint uVar4;
  symmetric_key *psVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  uint uVar12;
  
  if (skey == (symmetric_key *)0x0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);
  }
  if (pt != (uchar *)0x0) {
    if (ct != (uchar *)0x0) {
      uVar8 = *(uint *)(ct + 4);
      uVar10 = *(uint *)(ct + 0xc);
      uVar6 = *(int *)ct - (skey->des).dk[10];
      uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb];
      psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8);
      do {
        uVar11 = (uVar6 * 2 + 1) * uVar6;
        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;
        uVar11 = (uVar4 * 2 + 1) * uVar4;
        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;
        uVar8 = uVar8 - (psVar5->des).ek[1];
        bVar3 = (byte)uVar12 & 0x1f;
        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;
        uVar10 = uVar10 - (psVar5->des).ek[0];
        bVar3 = (byte)uVar11 & 0x1f;
        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;
        uVar8 = (uVar12 * 2 + 1) * uVar12;
        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;
        uVar8 = (uVar9 * 2 + 1) * uVar9;
        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;
        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);
        bVar3 = (byte)uVar11 & 0x1f;
        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;
        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);
        bVar3 = (byte)uVar8 & 0x1f;
        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;
        uVar8 = (uVar11 * 2 + 1) * uVar11;
        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;
        uVar10 = (uVar7 * 2 + 1) * uVar7;
        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;
        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);
        bVar3 = (byte)uVar8 & 0x1f;
        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;
        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);
        bVar3 = (byte)uVar4 & 0x1f;
        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;
        uVar4 = (uVar8 * 2 + 1) * uVar8;
        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;
        uVar4 = (uVar10 * 2 + 1) * uVar10;
        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;
        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);
        bVar3 = (byte)uVar6 & 0x1f;
        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;
        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);
        bVar3 = (byte)uVar9 & 0x1f;
        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;
        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);
      } while (skey != psVar5);
      uVar1 = (skey->des).ek[0];
      uVar2 = (skey->des).ek[1];
      *(uint *)pt = uVar6;
      *(uint *)(pt + 4) = uVar8 - uVar1;
      *(uint *)(pt + 8) = uVar4;
      *(uint *)(pt + 0xc) = uVar10 - uVar2;
      return 0;
    }
                    /* WARNING: Subroutine does not return */
    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);
  }
                    /* WARNING: Subroutine does not return */
  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);
}



undefined8 rc6_ecb_decrypt(int *param_1,uint *param_2,int *param_3)

{
  int iVar1;
  int iVar2;
  byte bVar3;
  uint uVar4;
  uint uVar5;
  int *piVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  uint uVar12;
  
  if (param_3 == (int *)0x0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);
  }
  if (param_2 != (uint *)0x0) {
    if (param_1 != (int *)0x0) {
      uVar12 = param_1[1];
      uVar5 = param_1[3];
      uVar7 = *param_1 - param_3[0x2a];
      uVar4 = param_1[2] - param_3[0x2b];
      piVar6 = param_3 + 0x28;
      do {
        uVar10 = (uVar7 * 2 + 1) * uVar7;
        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;
        uVar10 = (uVar4 * 2 + 1) * uVar4;
        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;
        bVar3 = (byte)uVar11 & 0x1f;
        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;
        bVar3 = (byte)uVar10 & 0x1f;
        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;
        uVar12 = (uVar11 * 2 + 1) * uVar11;
        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;
        uVar12 = (uVar9 * 2 + 1) * uVar9;
        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;
        bVar3 = (byte)uVar10 & 0x1f;
        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;
        bVar3 = (byte)uVar12 & 0x1f;
        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;
        uVar12 = (uVar10 * 2 + 1) * uVar10;
        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;
        uVar5 = (uVar8 * 2 + 1) * uVar8;
        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;
        bVar3 = (byte)uVar12 & 0x1f;
        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;
        bVar3 = (byte)uVar4 & 0x1f;
        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;
        uVar4 = (uVar12 * 2 + 1) * uVar12;
        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;
        uVar4 = (uVar5 * 2 + 1) * uVar5;
        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;
        bVar3 = (byte)uVar7 & 0x1f;
        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;
        bVar3 = (byte)uVar9 & 0x1f;
        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;
        piVar6 = piVar6 + -8;
      } while (param_3 != piVar6);
      iVar1 = *param_3;
      iVar2 = param_3[1];
      *param_2 = uVar7;
      param_2[1] = uVar12 - iVar1;
      param_2[2] = uVar4;
      param_2[3] = uVar5 - iVar2;
      return 0;
    }
                    /* WARNING: Subroutine does not return */
    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);
  }
                    /* WARNING: Subroutine does not return */
  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);
}


PUSH RBX
TEST RDX,RDX
JZ 0x00122225
TEST RSI,RSI
JZ 0x0012223d
TEST RDI,RDI
JZ 0x00122255
MOV R9D,dword ptr [RDI + 0x4]
MOV R10D,dword ptr [RDI + 0xc]
MOV R8D,dword ptr [RDI]
SUB R8D,dword ptr [RDX + 0xa8]
MOV EAX,dword ptr [RDI + 0x8]
SUB EAX,dword ptr [RDX + 0xac]
LEA RDI,[RDX + 0xa0]
LEA R11D,[R8 + R8*0x1 + 0x1]
IMUL R11D,R8D
ROL R11D,0x5
LEA EBX,[RAX + RAX*0x1 + 0x1]
IMUL EBX,EAX
ROL EBX,0x5
SUB R9D,dword ptr [RDI + 0x4]
MOV ECX,R11D
ROR R9D,CL
XOR R9D,EBX
SUB R10D,dword ptr [RDI]
MOV ECX,EBX
ROR R10D,CL
XOR R10D,R11D
LEA R11D,[R10 + R10*0x1 + 0x1]
IMUL R11D,R10D
ROL R11D,0x5
LEA EBX,[R9 + R9*0x1 + 0x1]
IMUL EBX,R9D
ROL EBX,0x5
SUB R8D,dword ptr [RDI + -0x4]
MOV ECX,R11D
ROR R8D,CL
XOR R8D,EBX
SUB EAX,dword ptr [RDI + -0x8]
MOV ECX,EBX
ROR EAX,CL
XOR EAX,R11D
LEA R11D,[RAX + RAX*0x1 + 0x1]
IMUL R11D,EAX
ROL R11D,0x5
LEA EBX,[R8 + R8*0x1 + 0x1]
IMUL EBX,R8D
ROL EBX,0x5
SUB R10D,dword ptr [RDI + -0xc]
MOV ECX,R11D
ROR R10D,CL
XOR R10D,EBX
SUB R9D,dword ptr [RDI + -0x10]
MOV ECX,EBX
ROR R9D,CL
XOR R9D,R11D
LEA R11D,[R9 + R9*0x1 + 0x1]
IMUL R11D,R9D
ROL R11D,0x5
LEA EBX,[R10 + R10*0x1 + 0x1]
IMUL EBX,R10D
ROL EBX,0x5
SUB EAX,dword ptr [RDI + -0x14]
MOV ECX,R11D
ROR EAX,CL
XOR EAX,EBX
SUB R8D,dword ptr [RDI + -0x18]
MOV ECX,EBX
ROR R8D,CL
XOR R8D,R11D
SUB RDI,0x20
CMP RDX,RDI
JNZ 0x0012213c
SUB R9D,dword ptr [RDX]
SUB R10D,dword ptr [RDX + 0x4]
MOV dword ptr [RSI],R8D
MOV dword ptr [RSI + 0x4],R9D
MOV dword ptr [RSI + 0x8],EAX
MOV dword ptr [RSI + 0xc],R10D
MOV EAX,0x0
POP RBX
RET
MOV EDX,0xb7
LEA RSI,[0x1ab528]
LEA RDI,[0x190026]
CALL 0x00114260
MOV EDX,0xb8
LEA RSI,[0x1ab528]
LEA RDI,[0x190033]
CALL 0x00114260
MOV EDX,0xb9
LEA RSI,[0x1ab528]
LEA RDI,[0x19003e]
CALL 0x00114260
(translation_unit "undefined8 rc6_ecb_decrypt(int *param_1,uint *param_2,int *param_3)\n\n{\n  int iVar1;\n  int iVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  int *piVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (param_3 == (int *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}\n\n" (function_definition "undefined8 rc6_ecb_decrypt(int *param_1,uint *param_2,int *param_3)\n\n{\n  int iVar1;\n  int iVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  int *piVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (param_3 == (int *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}" type_identifier (function_declarator "rc6_ecb_decrypt(int *param_1,uint *param_2,int *param_3)" identifier (parameter_list "(int *param_1,uint *param_2,int *param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int *param_3" primitive_type (pointer_declarator "*param_3" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  int *piVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (param_3 == (int *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int *piVar6;" primitive_type (pointer_declarator "*piVar6" * identifier) ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "uint uVar12;" type_identifier identifier ;) (if_statement "if (param_3 == (int *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }" if (parenthesized_expression "(param_3 == (int *)0x0)" ( (binary_expression "param_3 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }" { comment (expression_statement "crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);" (call_expression "crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7)" identifier (argument_list "("skey != NULL","src/ciphers/rc6.c",0xb7)" ( (string_literal ""skey != NULL"" " string_content ") , (string_literal ""src/ciphers/rc6.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }" if (parenthesized_expression "(param_2 != (uint *)0x0)" ( (binary_expression "param_2 != (uint *)0x0" identifier != (cast_expression "(uint *)0x0" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }" { (if_statement "if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }" if (parenthesized_expression "(param_1 != (int *)0x0)" ( (binary_expression "param_1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }" { (expression_statement "uVar12 = param_1[1];" (assignment_expression "uVar12 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) ;) (expression_statement "uVar5 = param_1[3];" (assignment_expression "uVar5 = param_1[3]" identifier = (subscript_expression "param_1[3]" identifier [ number_literal ])) ;) (expression_statement "uVar7 = *param_1 - param_3[0x2a];" (assignment_expression "uVar7 = *param_1 - param_3[0x2a]" identifier = (binary_expression "*param_1 - param_3[0x2a]" (pointer_expression "*param_1" * identifier) - (subscript_expression "param_3[0x2a]" identifier [ number_literal ]))) ;) (expression_statement "uVar4 = param_1[2] - param_3[0x2b];" (assignment_expression "uVar4 = param_1[2] - param_3[0x2b]" identifier = (binary_expression "param_1[2] - param_3[0x2b]" (subscript_expression "param_1[2]" identifier [ number_literal ]) - (subscript_expression "param_3[0x2b]" identifier [ number_literal ]))) ;) (expression_statement "piVar6 = param_3 + 0x28;" (assignment_expression "piVar6 = param_3 + 0x28" identifier = (binary_expression "param_3 + 0x28" identifier + number_literal)) ;) (do_statement "do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);" do (compound_statement "{\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      }" { (expression_statement "uVar10 = (uVar7 * 2 + 1) * uVar7;" (assignment_expression "uVar10 = (uVar7 * 2 + 1) * uVar7" identifier = (binary_expression "(uVar7 * 2 + 1) * uVar7" (parenthesized_expression "(uVar7 * 2 + 1)" ( (binary_expression "uVar7 * 2 + 1" (binary_expression "uVar7 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;" (assignment_expression "uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b" identifier = (binary_expression "uVar10 * 0x20 | uVar10 >> 0x1b" (binary_expression "uVar10 * 0x20" identifier * number_literal) | (binary_expression "uVar10 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar10 = (uVar4 * 2 + 1) * uVar4;" (assignment_expression "uVar10 = (uVar4 * 2 + 1) * uVar4" identifier = (binary_expression "(uVar4 * 2 + 1) * uVar4" (parenthesized_expression "(uVar4 * 2 + 1)" ( (binary_expression "uVar4 * 2 + 1" (binary_expression "uVar4 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;" (assignment_expression "uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b" identifier = (binary_expression "uVar10 * 0x20 | uVar10 >> 0x1b" (binary_expression "uVar10 * 0x20" identifier * number_literal) | (binary_expression "uVar10 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "bVar3 = (byte)uVar11 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar11 & 0x1f" identifier = (binary_expression "(byte)uVar11 & 0x1f" (cast_expression "(byte)uVar11" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;" (assignment_expression "uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10" identifier = (binary_expression "(uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10" (parenthesized_expression "(uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3)" ( (binary_expression "uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3" (binary_expression "uVar12 - piVar6[1] >> bVar3" (binary_expression "uVar12 - piVar6[1]" identifier - (subscript_expression "piVar6[1]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar12 - piVar6[1] << 0x20 - bVar3" (binary_expression "uVar12 - piVar6[1]" identifier - (subscript_expression "piVar6[1]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "bVar3 = (byte)uVar10 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar10 & 0x1f" identifier = (binary_expression "(byte)uVar10 & 0x1f" (cast_expression "(byte)uVar10" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;" (assignment_expression "uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11" identifier = (binary_expression "(uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11" (parenthesized_expression "(uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3)" ( (binary_expression "uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3" (binary_expression "uVar5 - *piVar6 >> bVar3" (binary_expression "uVar5 - *piVar6" identifier - (pointer_expression "*piVar6" * identifier)) >> identifier) | (binary_expression "uVar5 - *piVar6 << 0x20 - bVar3" (binary_expression "uVar5 - *piVar6" identifier - (pointer_expression "*piVar6" * identifier)) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar12 = (uVar11 * 2 + 1) * uVar11;" (assignment_expression "uVar12 = (uVar11 * 2 + 1) * uVar11" identifier = (binary_expression "(uVar11 * 2 + 1) * uVar11" (parenthesized_expression "(uVar11 * 2 + 1)" ( (binary_expression "uVar11 * 2 + 1" (binary_expression "uVar11 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;" (assignment_expression "uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b" identifier = (binary_expression "uVar12 * 0x20 | uVar12 >> 0x1b" (binary_expression "uVar12 * 0x20" identifier * number_literal) | (binary_expression "uVar12 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar12 = (uVar9 * 2 + 1) * uVar9;" (assignment_expression "uVar12 = (uVar9 * 2 + 1) * uVar9" identifier = (binary_expression "(uVar9 * 2 + 1) * uVar9" (parenthesized_expression "(uVar9 * 2 + 1)" ( (binary_expression "uVar9 * 2 + 1" (binary_expression "uVar9 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;" (assignment_expression "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b" identifier = (binary_expression "uVar12 * 0x20 | uVar12 >> 0x1b" (binary_expression "uVar12 * 0x20" identifier * number_literal) | (binary_expression "uVar12 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "bVar3 = (byte)uVar10 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar10 & 0x1f" identifier = (binary_expression "(byte)uVar10 & 0x1f" (cast_expression "(byte)uVar10" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;" (assignment_expression "uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12" identifier = (binary_expression "(uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12" (parenthesized_expression "(uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3)" ( (binary_expression "uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3" (binary_expression "uVar7 - piVar6[-1] >> bVar3" (binary_expression "uVar7 - piVar6[-1]" identifier - (subscript_expression "piVar6[-1]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar7 - piVar6[-1] << 0x20 - bVar3" (binary_expression "uVar7 - piVar6[-1]" identifier - (subscript_expression "piVar6[-1]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "bVar3 = (byte)uVar12 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar12 & 0x1f" identifier = (binary_expression "(byte)uVar12 & 0x1f" (cast_expression "(byte)uVar12" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;" (assignment_expression "uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10" identifier = (binary_expression "(uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10" (parenthesized_expression "(uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3)" ( (binary_expression "uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3" (binary_expression "uVar4 - piVar6[-2] >> bVar3" (binary_expression "uVar4 - piVar6[-2]" identifier - (subscript_expression "piVar6[-2]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar4 - piVar6[-2] << 0x20 - bVar3" (binary_expression "uVar4 - piVar6[-2]" identifier - (subscript_expression "piVar6[-2]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar12 = (uVar10 * 2 + 1) * uVar10;" (assignment_expression "uVar12 = (uVar10 * 2 + 1) * uVar10" identifier = (binary_expression "(uVar10 * 2 + 1) * uVar10" (parenthesized_expression "(uVar10 * 2 + 1)" ( (binary_expression "uVar10 * 2 + 1" (binary_expression "uVar10 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;" (assignment_expression "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b" identifier = (binary_expression "uVar12 * 0x20 | uVar12 >> 0x1b" (binary_expression "uVar12 * 0x20" identifier * number_literal) | (binary_expression "uVar12 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar5 = (uVar8 * 2 + 1) * uVar8;" (assignment_expression "uVar5 = (uVar8 * 2 + 1) * uVar8" identifier = (binary_expression "(uVar8 * 2 + 1) * uVar8" (parenthesized_expression "(uVar8 * 2 + 1)" ( (binary_expression "uVar8 * 2 + 1" (binary_expression "uVar8 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;" (assignment_expression "uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b" identifier = (binary_expression "uVar5 * 0x20 | uVar5 >> 0x1b" (binary_expression "uVar5 * 0x20" identifier * number_literal) | (binary_expression "uVar5 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "bVar3 = (byte)uVar12 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar12 & 0x1f" identifier = (binary_expression "(byte)uVar12 & 0x1f" (cast_expression "(byte)uVar12" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;" (assignment_expression "uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4" identifier = (binary_expression "(uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4" (parenthesized_expression "(uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3)" ( (binary_expression "uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3" (binary_expression "uVar11 - piVar6[-3] >> bVar3" (binary_expression "uVar11 - piVar6[-3]" identifier - (subscript_expression "piVar6[-3]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar11 - piVar6[-3] << 0x20 - bVar3" (binary_expression "uVar11 - piVar6[-3]" identifier - (subscript_expression "piVar6[-3]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "bVar3 = (byte)uVar4 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar4 & 0x1f" identifier = (binary_expression "(byte)uVar4 & 0x1f" (cast_expression "(byte)uVar4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;" (assignment_expression "uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12" identifier = (binary_expression "(uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12" (parenthesized_expression "(uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3)" ( (binary_expression "uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3" (binary_expression "uVar9 - piVar6[-4] >> bVar3" (binary_expression "uVar9 - piVar6[-4]" identifier - (subscript_expression "piVar6[-4]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar9 - piVar6[-4] << 0x20 - bVar3" (binary_expression "uVar9 - piVar6[-4]" identifier - (subscript_expression "piVar6[-4]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar4 = (uVar12 * 2 + 1) * uVar12;" (assignment_expression "uVar4 = (uVar12 * 2 + 1) * uVar12" identifier = (binary_expression "(uVar12 * 2 + 1) * uVar12" (parenthesized_expression "(uVar12 * 2 + 1)" ( (binary_expression "uVar12 * 2 + 1" (binary_expression "uVar12 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;" (assignment_expression "uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b" identifier = (binary_expression "uVar4 * 0x20 | uVar4 >> 0x1b" (binary_expression "uVar4 * 0x20" identifier * number_literal) | (binary_expression "uVar4 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar4 = (uVar5 * 2 + 1) * uVar5;" (assignment_expression "uVar4 = (uVar5 * 2 + 1) * uVar5" identifier = (binary_expression "(uVar5 * 2 + 1) * uVar5" (parenthesized_expression "(uVar5 * 2 + 1)" ( (binary_expression "uVar5 * 2 + 1" (binary_expression "uVar5 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;" (assignment_expression "uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b" identifier = (binary_expression "uVar4 * 0x20 | uVar4 >> 0x1b" (binary_expression "uVar4 * 0x20" identifier * number_literal) | (binary_expression "uVar4 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "bVar3 = (byte)uVar7 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar7 & 0x1f" identifier = (binary_expression "(byte)uVar7 & 0x1f" (cast_expression "(byte)uVar7" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;" (assignment_expression "uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9" identifier = (binary_expression "(uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9" (parenthesized_expression "(uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3)" ( (binary_expression "uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3" (binary_expression "uVar10 - piVar6[-5] >> bVar3" (binary_expression "uVar10 - piVar6[-5]" identifier - (subscript_expression "piVar6[-5]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar10 - piVar6[-5] << 0x20 - bVar3" (binary_expression "uVar10 - piVar6[-5]" identifier - (subscript_expression "piVar6[-5]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "bVar3 = (byte)uVar9 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar9 & 0x1f" identifier = (binary_expression "(byte)uVar9 & 0x1f" (cast_expression "(byte)uVar9" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;" (assignment_expression "uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7" identifier = (binary_expression "(uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7" (parenthesized_expression "(uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3)" ( (binary_expression "uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3" (binary_expression "uVar8 - piVar6[-6] >> bVar3" (binary_expression "uVar8 - piVar6[-6]" identifier - (subscript_expression "piVar6[-6]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar8 - piVar6[-6] << 0x20 - bVar3" (binary_expression "uVar8 - piVar6[-6]" identifier - (subscript_expression "piVar6[-6]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "piVar6 = piVar6 + -8;" (assignment_expression "piVar6 = piVar6 + -8" identifier = (binary_expression "piVar6 + -8" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != piVar6)" ( (binary_expression "param_3 != piVar6" identifier != identifier) )) ;) (expression_statement "iVar1 = *param_3;" (assignment_expression "iVar1 = *param_3" identifier = (pointer_expression "*param_3" * identifier)) ;) (expression_statement "iVar2 = param_3[1];" (assignment_expression "iVar2 = param_3[1]" identifier = (subscript_expression "param_3[1]" identifier [ number_literal ])) ;) (expression_statement "*param_2 = uVar7;" (assignment_expression "*param_2 = uVar7" (pointer_expression "*param_2" * identifier) = identifier) ;) (expression_statement "param_2[1] = uVar12 - iVar1;" (assignment_expression "param_2[1] = uVar12 - iVar1" (subscript_expression "param_2[1]" identifier [ number_literal ]) = (binary_expression "uVar12 - iVar1" identifier - identifier)) ;) (expression_statement "param_2[2] = uVar4;" (assignment_expression "param_2[2] = uVar4" (subscript_expression "param_2[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_2[3] = uVar5 - iVar2;" (assignment_expression "param_2[3] = uVar5 - iVar2" (subscript_expression "param_2[3]" identifier [ number_literal ]) = (binary_expression "uVar5 - iVar2" identifier - identifier)) ;) (return_statement "return 0;" return number_literal ;) })) comment (expression_statement "crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);" (call_expression "crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9)" identifier (argument_list "("ct != NULL","src/ciphers/rc6.c",0xb9)" ( (string_literal ""ct != NULL"" " string_content ") , (string_literal ""src/ciphers/rc6.c"" " string_content ") , number_literal ))) ;) })) comment (expression_statement "crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);" (call_expression "crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8)" identifier (argument_list "("pt != NULL","src/ciphers/rc6.c",0xb8)" ( (string_literal ""pt != NULL"" " string_content ") , (string_literal ""src/ciphers/rc6.c"" " string_content ") , number_literal ))) ;) })))
(translation_unit "int rc6_ecb_decrypt(uchar *ct,uchar *pt,symmetric_key *skey)\n\n{\n  ulong32 uVar1;\n  ulong32 uVar2;\n  byte bVar3;\n  uint uVar4;\n  symmetric_key *psVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (skey == (symmetric_key *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (pt != (uchar *)0x0) {\n    if (ct != (uchar *)0x0) {\n      uVar8 = *(uint *)(ct + 4);\n      uVar10 = *(uint *)(ct + 0xc);\n      uVar6 = *(int *)ct - (skey->des).dk[10];\n      uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb];\n      psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8);\n      do {\n        uVar11 = (uVar6 * 2 + 1) * uVar6;\n        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar11 = (uVar4 * 2 + 1) * uVar4;\n        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar8 = uVar8 - (psVar5->des).ek[1];\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;\n        uVar10 = uVar10 - (psVar5->des).ek[0];\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;\n        uVar8 = (uVar12 * 2 + 1) * uVar12;\n        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar8 = (uVar9 * 2 + 1) * uVar9;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;\n        uVar8 = (uVar11 * 2 + 1) * uVar11;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;\n        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = (uVar8 * 2 + 1) * uVar8;\n        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar10 * 2 + 1) * uVar10;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);\n        bVar3 = (byte)uVar6 & 0x1f;\n        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;\n        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;\n        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);\n      } while (skey != psVar5);\n      uVar1 = (skey->des).ek[0];\n      uVar2 = (skey->des).ek[1];\n      *(uint *)pt = uVar6;\n      *(uint *)(pt + 4) = uVar8 - uVar1;\n      *(uint *)(pt + 8) = uVar4;\n      *(uint *)(pt + 0xc) = uVar10 - uVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}\n\n" (function_definition "int rc6_ecb_decrypt(uchar *ct,uchar *pt,symmetric_key *skey)\n\n{\n  ulong32 uVar1;\n  ulong32 uVar2;\n  byte bVar3;\n  uint uVar4;\n  symmetric_key *psVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (skey == (symmetric_key *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (pt != (uchar *)0x0) {\n    if (ct != (uchar *)0x0) {\n      uVar8 = *(uint *)(ct + 4);\n      uVar10 = *(uint *)(ct + 0xc);\n      uVar6 = *(int *)ct - (skey->des).dk[10];\n      uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb];\n      psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8);\n      do {\n        uVar11 = (uVar6 * 2 + 1) * uVar6;\n        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar11 = (uVar4 * 2 + 1) * uVar4;\n        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar8 = uVar8 - (psVar5->des).ek[1];\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;\n        uVar10 = uVar10 - (psVar5->des).ek[0];\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;\n        uVar8 = (uVar12 * 2 + 1) * uVar12;\n        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar8 = (uVar9 * 2 + 1) * uVar9;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;\n        uVar8 = (uVar11 * 2 + 1) * uVar11;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;\n        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = (uVar8 * 2 + 1) * uVar8;\n        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar10 * 2 + 1) * uVar10;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);\n        bVar3 = (byte)uVar6 & 0x1f;\n        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;\n        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;\n        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);\n      } while (skey != psVar5);\n      uVar1 = (skey->des).ek[0];\n      uVar2 = (skey->des).ek[1];\n      *(uint *)pt = uVar6;\n      *(uint *)(pt + 4) = uVar8 - uVar1;\n      *(uint *)(pt + 8) = uVar4;\n      *(uint *)(pt + 0xc) = uVar10 - uVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}" primitive_type (function_declarator "rc6_ecb_decrypt(uchar *ct,uchar *pt,symmetric_key *skey)" identifier (parameter_list "(uchar *ct,uchar *pt,symmetric_key *skey)" ( (parameter_declaration "uchar *ct" type_identifier (pointer_declarator "*ct" * identifier)) , (parameter_declaration "uchar *pt" type_identifier (pointer_declarator "*pt" * identifier)) , (parameter_declaration "symmetric_key *skey" type_identifier (pointer_declarator "*skey" * identifier)) ))) (compound_statement "{\n  ulong32 uVar1;\n  ulong32 uVar2;\n  byte bVar3;\n  uint uVar4;\n  symmetric_key *psVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (skey == (symmetric_key *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (pt != (uchar *)0x0) {\n    if (ct != (uchar *)0x0) {\n      uVar8 = *(uint *)(ct + 4);\n      uVar10 = *(uint *)(ct + 0xc);\n      uVar6 = *(int *)ct - (skey->des).dk[10];\n      uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb];\n      psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8);\n      do {\n        uVar11 = (uVar6 * 2 + 1) * uVar6;\n        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar11 = (uVar4 * 2 + 1) * uVar4;\n        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar8 = uVar8 - (psVar5->des).ek[1];\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;\n        uVar10 = uVar10 - (psVar5->des).ek[0];\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;\n        uVar8 = (uVar12 * 2 + 1) * uVar12;\n        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar8 = (uVar9 * 2 + 1) * uVar9;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;\n        uVar8 = (uVar11 * 2 + 1) * uVar11;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;\n        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = (uVar8 * 2 + 1) * uVar8;\n        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar10 * 2 + 1) * uVar10;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);\n        bVar3 = (byte)uVar6 & 0x1f;\n        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;\n        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;\n        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);\n      } while (skey != psVar5);\n      uVar1 = (skey->des).ek[0];\n      uVar2 = (skey->des).ek[1];\n      *(uint *)pt = uVar6;\n      *(uint *)(pt + 4) = uVar8 - uVar1;\n      *(uint *)(pt + 8) = uVar4;\n      *(uint *)(pt + 0xc) = uVar10 - uVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}" { (declaration "ulong32 uVar1;" type_identifier identifier ;) (declaration "ulong32 uVar2;" type_identifier identifier ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "symmetric_key *psVar5;" type_identifier (pointer_declarator "*psVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "uint uVar12;" type_identifier identifier ;) (if_statement "if (skey == (symmetric_key *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }" if (parenthesized_expression "(skey == (symmetric_key *)0x0)" ( (binary_expression "skey == (symmetric_key *)0x0" identifier == (cast_expression "(symmetric_key *)0x0" ( (type_descriptor "symmetric_key *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }" { comment (expression_statement "crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);" (call_expression "crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7)" identifier (argument_list "("skey != NULL","src/ciphers/rc6.c",0xb7)" ( (string_literal ""skey != NULL"" " string_content ") , (string_literal ""src/ciphers/rc6.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (pt != (uchar *)0x0) {\n    if (ct != (uchar *)0x0) {\n      uVar8 = *(uint *)(ct + 4);\n      uVar10 = *(uint *)(ct + 0xc);\n      uVar6 = *(int *)ct - (skey->des).dk[10];\n      uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb];\n      psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8);\n      do {\n        uVar11 = (uVar6 * 2 + 1) * uVar6;\n        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar11 = (uVar4 * 2 + 1) * uVar4;\n        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar8 = uVar8 - (psVar5->des).ek[1];\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;\n        uVar10 = uVar10 - (psVar5->des).ek[0];\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;\n        uVar8 = (uVar12 * 2 + 1) * uVar12;\n        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar8 = (uVar9 * 2 + 1) * uVar9;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;\n        uVar8 = (uVar11 * 2 + 1) * uVar11;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;\n        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = (uVar8 * 2 + 1) * uVar8;\n        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar10 * 2 + 1) * uVar10;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);\n        bVar3 = (byte)uVar6 & 0x1f;\n        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;\n        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;\n        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);\n      } while (skey != psVar5);\n      uVar1 = (skey->des).ek[0];\n      uVar2 = (skey->des).ek[1];\n      *(uint *)pt = uVar6;\n      *(uint *)(pt + 4) = uVar8 - uVar1;\n      *(uint *)(pt + 8) = uVar4;\n      *(uint *)(pt + 0xc) = uVar10 - uVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }" if (parenthesized_expression "(pt != (uchar *)0x0)" ( (binary_expression "pt != (uchar *)0x0" identifier != (cast_expression "(uchar *)0x0" ( (type_descriptor "uchar *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    if (ct != (uchar *)0x0) {\n      uVar8 = *(uint *)(ct + 4);\n      uVar10 = *(uint *)(ct + 0xc);\n      uVar6 = *(int *)ct - (skey->des).dk[10];\n      uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb];\n      psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8);\n      do {\n        uVar11 = (uVar6 * 2 + 1) * uVar6;\n        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar11 = (uVar4 * 2 + 1) * uVar4;\n        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar8 = uVar8 - (psVar5->des).ek[1];\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;\n        uVar10 = uVar10 - (psVar5->des).ek[0];\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;\n        uVar8 = (uVar12 * 2 + 1) * uVar12;\n        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar8 = (uVar9 * 2 + 1) * uVar9;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;\n        uVar8 = (uVar11 * 2 + 1) * uVar11;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;\n        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = (uVar8 * 2 + 1) * uVar8;\n        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar10 * 2 + 1) * uVar10;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);\n        bVar3 = (byte)uVar6 & 0x1f;\n        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;\n        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;\n        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);\n      } while (skey != psVar5);\n      uVar1 = (skey->des).ek[0];\n      uVar2 = (skey->des).ek[1];\n      *(uint *)pt = uVar6;\n      *(uint *)(pt + 4) = uVar8 - uVar1;\n      *(uint *)(pt + 8) = uVar4;\n      *(uint *)(pt + 0xc) = uVar10 - uVar2;\n      return 0;\n    }\n                    /* WARNING: Subroutine does not return */\n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }" { (if_statement "if (ct != (uchar *)0x0) {\n      uVar8 = *(uint *)(ct + 4);\n      uVar10 = *(uint *)(ct + 0xc);\n      uVar6 = *(int *)ct - (skey->des).dk[10];\n      uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb];\n      psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8);\n      do {\n        uVar11 = (uVar6 * 2 + 1) * uVar6;\n        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar11 = (uVar4 * 2 + 1) * uVar4;\n        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar8 = uVar8 - (psVar5->des).ek[1];\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;\n        uVar10 = uVar10 - (psVar5->des).ek[0];\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;\n        uVar8 = (uVar12 * 2 + 1) * uVar12;\n        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar8 = (uVar9 * 2 + 1) * uVar9;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;\n        uVar8 = (uVar11 * 2 + 1) * uVar11;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;\n        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = (uVar8 * 2 + 1) * uVar8;\n        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar10 * 2 + 1) * uVar10;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);\n        bVar3 = (byte)uVar6 & 0x1f;\n        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;\n        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;\n        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);\n      } while (skey != psVar5);\n      uVar1 = (skey->des).ek[0];\n      uVar2 = (skey->des).ek[1];\n      *(uint *)pt = uVar6;\n      *(uint *)(pt + 4) = uVar8 - uVar1;\n      *(uint *)(pt + 8) = uVar4;\n      *(uint *)(pt + 0xc) = uVar10 - uVar2;\n      return 0;\n    }" if (parenthesized_expression "(ct != (uchar *)0x0)" ( (binary_expression "ct != (uchar *)0x0" identifier != (cast_expression "(uchar *)0x0" ( (type_descriptor "uchar *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      uVar8 = *(uint *)(ct + 4);\n      uVar10 = *(uint *)(ct + 0xc);\n      uVar6 = *(int *)ct - (skey->des).dk[10];\n      uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb];\n      psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8);\n      do {\n        uVar11 = (uVar6 * 2 + 1) * uVar6;\n        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar11 = (uVar4 * 2 + 1) * uVar4;\n        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar8 = uVar8 - (psVar5->des).ek[1];\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;\n        uVar10 = uVar10 - (psVar5->des).ek[0];\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;\n        uVar8 = (uVar12 * 2 + 1) * uVar12;\n        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar8 = (uVar9 * 2 + 1) * uVar9;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;\n        uVar8 = (uVar11 * 2 + 1) * uVar11;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;\n        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = (uVar8 * 2 + 1) * uVar8;\n        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar10 * 2 + 1) * uVar10;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);\n        bVar3 = (byte)uVar6 & 0x1f;\n        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;\n        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;\n        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);\n      } while (skey != psVar5);\n      uVar1 = (skey->des).ek[0];\n      uVar2 = (skey->des).ek[1];\n      *(uint *)pt = uVar6;\n      *(uint *)(pt + 4) = uVar8 - uVar1;\n      *(uint *)(pt + 8) = uVar4;\n      *(uint *)(pt + 0xc) = uVar10 - uVar2;\n      return 0;\n    }" { (expression_statement "uVar8 = *(uint *)(ct + 4);" (assignment_expression "uVar8 = *(uint *)(ct + 4)" identifier = (pointer_expression "*(uint *)(ct + 4)" * (cast_expression "(uint *)(ct + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(ct + 4)" ( (binary_expression "ct + 4" identifier + number_literal) ))))) ;) (expression_statement "uVar10 = *(uint *)(ct + 0xc);" (assignment_expression "uVar10 = *(uint *)(ct + 0xc)" identifier = (pointer_expression "*(uint *)(ct + 0xc)" * (cast_expression "(uint *)(ct + 0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(ct + 0xc)" ( (binary_expression "ct + 0xc" identifier + number_literal) ))))) ;) (expression_statement "uVar6 = *(int *)ct - (skey->des).dk[10];" (assignment_expression "uVar6 = *(int *)ct - (skey->des).dk[10]" identifier = (binary_expression "*(int *)ct - (skey->des).dk[10]" (pointer_expression "*(int *)ct" * (cast_expression "(int *)ct" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) - (subscript_expression "(skey->des).dk[10]" (field_expression "(skey->des).dk" (parenthesized_expression "(skey->des)" ( (field_expression "skey->des" identifier -> field_identifier) )) . field_identifier) [ number_literal ]))) ;) (expression_statement "uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb];" (assignment_expression "uVar4 = *(int *)(ct + 8) - (skey->des).dk[0xb]" identifier = (binary_expression "*(int *)(ct + 8) - (skey->des).dk[0xb]" (pointer_expression "*(int *)(ct + 8)" * (cast_expression "(int *)(ct + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(ct + 8)" ( (binary_expression "ct + 8" identifier + number_literal) )))) - (subscript_expression "(skey->des).dk[0xb]" (field_expression "(skey->des).dk" (parenthesized_expression "(skey->des)" ( (field_expression "skey->des" identifier -> field_identifier) )) . field_identifier) [ number_literal ]))) ;) (expression_statement "psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8);" (assignment_expression "psVar5 = (symmetric_key *)((skey->des3).ek[1] + 8)" identifier = (cast_expression "(symmetric_key *)((skey->des3).ek[1] + 8)" ( (type_descriptor "symmetric_key *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((skey->des3).ek[1] + 8)" ( (binary_expression "(skey->des3).ek[1] + 8" (subscript_expression "(skey->des3).ek[1]" (field_expression "(skey->des3).ek" (parenthesized_expression "(skey->des3)" ( (field_expression "skey->des3" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) + number_literal) )))) ;) (do_statement "do {\n        uVar11 = (uVar6 * 2 + 1) * uVar6;\n        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar11 = (uVar4 * 2 + 1) * uVar4;\n        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar8 = uVar8 - (psVar5->des).ek[1];\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;\n        uVar10 = uVar10 - (psVar5->des).ek[0];\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;\n        uVar8 = (uVar12 * 2 + 1) * uVar12;\n        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar8 = (uVar9 * 2 + 1) * uVar9;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;\n        uVar8 = (uVar11 * 2 + 1) * uVar11;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;\n        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = (uVar8 * 2 + 1) * uVar8;\n        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar10 * 2 + 1) * uVar10;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);\n        bVar3 = (byte)uVar6 & 0x1f;\n        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;\n        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;\n        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);\n      } while (skey != psVar5);" do (compound_statement "{\n        uVar11 = (uVar6 * 2 + 1) * uVar6;\n        uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar11 = (uVar4 * 2 + 1) * uVar4;\n        uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;\n        uVar8 = uVar8 - (psVar5->des).ek[1];\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;\n        uVar10 = uVar10 - (psVar5->des).ek[0];\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;\n        uVar8 = (uVar12 * 2 + 1) * uVar12;\n        uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar8 = (uVar9 * 2 + 1) * uVar9;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar6 = uVar6 - *(int *)((long)psVar5 + -4);\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = uVar4 - *(int *)((long)psVar5 + -8);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;\n        uVar8 = (uVar11 * 2 + 1) * uVar11;\n        uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);\n        bVar3 = (byte)uVar8 & 0x1f;\n        uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;\n        uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;\n        uVar4 = (uVar8 * 2 + 1) * uVar8;\n        uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar10 * 2 + 1) * uVar10;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);\n        bVar3 = (byte)uVar6 & 0x1f;\n        uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;\n        uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;\n        psVar5 = (symmetric_key *)((long)psVar5 + -0x20);\n      }" { (expression_statement "uVar11 = (uVar6 * 2 + 1) * uVar6;" (assignment_expression "uVar11 = (uVar6 * 2 + 1) * uVar6" identifier = (binary_expression "(uVar6 * 2 + 1) * uVar6" (parenthesized_expression "(uVar6 * 2 + 1)" ( (binary_expression "uVar6 * 2 + 1" (binary_expression "uVar6 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b;" (assignment_expression "uVar12 = uVar11 * 0x20 | uVar11 >> 0x1b" identifier = (binary_expression "uVar11 * 0x20 | uVar11 >> 0x1b" (binary_expression "uVar11 * 0x20" identifier * number_literal) | (binary_expression "uVar11 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar11 = (uVar4 * 2 + 1) * uVar4;" (assignment_expression "uVar11 = (uVar4 * 2 + 1) * uVar4" identifier = (binary_expression "(uVar4 * 2 + 1) * uVar4" (parenthesized_expression "(uVar4 * 2 + 1)" ( (binary_expression "uVar4 * 2 + 1" (binary_expression "uVar4 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b;" (assignment_expression "uVar11 = uVar11 * 0x20 | uVar11 >> 0x1b" identifier = (binary_expression "uVar11 * 0x20 | uVar11 >> 0x1b" (binary_expression "uVar11 * 0x20" identifier * number_literal) | (binary_expression "uVar11 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar8 = uVar8 - (psVar5->des).ek[1];" (assignment_expression "uVar8 = uVar8 - (psVar5->des).ek[1]" identifier = (binary_expression "uVar8 - (psVar5->des).ek[1]" identifier - (subscript_expression "(psVar5->des).ek[1]" (field_expression "(psVar5->des).ek" (parenthesized_expression "(psVar5->des)" ( (field_expression "psVar5->des" identifier -> field_identifier) )) . field_identifier) [ number_literal ]))) ;) (expression_statement "bVar3 = (byte)uVar12 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar12 & 0x1f" identifier = (binary_expression "(byte)uVar12 & 0x1f" (cast_expression "(byte)uVar12" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11;" (assignment_expression "uVar9 = (uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11" identifier = (binary_expression "(uVar8 >> bVar3 | uVar8 << 0x20 - bVar3) ^ uVar11" (parenthesized_expression "(uVar8 >> bVar3 | uVar8 << 0x20 - bVar3)" ( (binary_expression "uVar8 >> bVar3 | uVar8 << 0x20 - bVar3" (binary_expression "uVar8 >> bVar3" identifier >> identifier) | (binary_expression "uVar8 << 0x20 - bVar3" identifier << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar10 = uVar10 - (psVar5->des).ek[0];" (assignment_expression "uVar10 = uVar10 - (psVar5->des).ek[0]" identifier = (binary_expression "uVar10 - (psVar5->des).ek[0]" identifier - (subscript_expression "(psVar5->des).ek[0]" (field_expression "(psVar5->des).ek" (parenthesized_expression "(psVar5->des)" ( (field_expression "psVar5->des" identifier -> field_identifier) )) . field_identifier) [ number_literal ]))) ;) (expression_statement "bVar3 = (byte)uVar11 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar11 & 0x1f" identifier = (binary_expression "(byte)uVar11 & 0x1f" (cast_expression "(byte)uVar11" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12;" (assignment_expression "uVar12 = (uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12" identifier = (binary_expression "(uVar10 >> bVar3 | uVar10 << 0x20 - bVar3) ^ uVar12" (parenthesized_expression "(uVar10 >> bVar3 | uVar10 << 0x20 - bVar3)" ( (binary_expression "uVar10 >> bVar3 | uVar10 << 0x20 - bVar3" (binary_expression "uVar10 >> bVar3" identifier >> identifier) | (binary_expression "uVar10 << 0x20 - bVar3" identifier << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar8 = (uVar12 * 2 + 1) * uVar12;" (assignment_expression "uVar8 = (uVar12 * 2 + 1) * uVar12" identifier = (binary_expression "(uVar12 * 2 + 1) * uVar12" (parenthesized_expression "(uVar12 * 2 + 1)" ( (binary_expression "uVar12 * 2 + 1" (binary_expression "uVar12 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b;" (assignment_expression "uVar11 = uVar8 * 0x20 | uVar8 >> 0x1b" identifier = (binary_expression "uVar8 * 0x20 | uVar8 >> 0x1b" (binary_expression "uVar8 * 0x20" identifier * number_literal) | (binary_expression "uVar8 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar8 = (uVar9 * 2 + 1) * uVar9;" (assignment_expression "uVar8 = (uVar9 * 2 + 1) * uVar9" identifier = (binary_expression "(uVar9 * 2 + 1) * uVar9" (parenthesized_expression "(uVar9 * 2 + 1)" ( (binary_expression "uVar9 * 2 + 1" (binary_expression "uVar9 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;" (assignment_expression "uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b" identifier = (binary_expression "uVar8 * 0x20 | uVar8 >> 0x1b" (binary_expression "uVar8 * 0x20" identifier * number_literal) | (binary_expression "uVar8 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar6 = uVar6 - *(int *)((long)psVar5 + -4);" (assignment_expression "uVar6 = uVar6 - *(int *)((long)psVar5 + -4)" identifier = (binary_expression "uVar6 - *(int *)((long)psVar5 + -4)" identifier - (pointer_expression "*(int *)((long)psVar5 + -4)" * (cast_expression "(int *)((long)psVar5 + -4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)psVar5 + -4)" ( (binary_expression "(long)psVar5 + -4" (cast_expression "(long)psVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) )))))) ;) (expression_statement "bVar3 = (byte)uVar11 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar11 & 0x1f" identifier = (binary_expression "(byte)uVar11 & 0x1f" (cast_expression "(byte)uVar11" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8;" (assignment_expression "uVar7 = (uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8" identifier = (binary_expression "(uVar6 >> bVar3 | uVar6 << 0x20 - bVar3) ^ uVar8" (parenthesized_expression "(uVar6 >> bVar3 | uVar6 << 0x20 - bVar3)" ( (binary_expression "uVar6 >> bVar3 | uVar6 << 0x20 - bVar3" (binary_expression "uVar6 >> bVar3" identifier >> identifier) | (binary_expression "uVar6 << 0x20 - bVar3" identifier << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar4 = uVar4 - *(int *)((long)psVar5 + -8);" (assignment_expression "uVar4 = uVar4 - *(int *)((long)psVar5 + -8)" identifier = (binary_expression "uVar4 - *(int *)((long)psVar5 + -8)" identifier - (pointer_expression "*(int *)((long)psVar5 + -8)" * (cast_expression "(int *)((long)psVar5 + -8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)psVar5 + -8)" ( (binary_expression "(long)psVar5 + -8" (cast_expression "(long)psVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) )))))) ;) (expression_statement "bVar3 = (byte)uVar8 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar8 & 0x1f" identifier = (binary_expression "(byte)uVar8 & 0x1f" (cast_expression "(byte)uVar8" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11;" (assignment_expression "uVar11 = (uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11" identifier = (binary_expression "(uVar4 >> bVar3 | uVar4 << 0x20 - bVar3) ^ uVar11" (parenthesized_expression "(uVar4 >> bVar3 | uVar4 << 0x20 - bVar3)" ( (binary_expression "uVar4 >> bVar3 | uVar4 << 0x20 - bVar3" (binary_expression "uVar4 >> bVar3" identifier >> identifier) | (binary_expression "uVar4 << 0x20 - bVar3" identifier << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar8 = (uVar11 * 2 + 1) * uVar11;" (assignment_expression "uVar8 = (uVar11 * 2 + 1) * uVar11" identifier = (binary_expression "(uVar11 * 2 + 1) * uVar11" (parenthesized_expression "(uVar11 * 2 + 1)" ( (binary_expression "uVar11 * 2 + 1" (binary_expression "uVar11 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b;" (assignment_expression "uVar8 = uVar8 * 0x20 | uVar8 >> 0x1b" identifier = (binary_expression "uVar8 * 0x20 | uVar8 >> 0x1b" (binary_expression "uVar8 * 0x20" identifier * number_literal) | (binary_expression "uVar8 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar10 = (uVar7 * 2 + 1) * uVar7;" (assignment_expression "uVar10 = (uVar7 * 2 + 1) * uVar7" identifier = (binary_expression "(uVar7 * 2 + 1) * uVar7" (parenthesized_expression "(uVar7 * 2 + 1)" ( (binary_expression "uVar7 * 2 + 1" (binary_expression "uVar7 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b;" (assignment_expression "uVar4 = uVar10 * 0x20 | uVar10 >> 0x1b" identifier = (binary_expression "uVar10 * 0x20 | uVar10 >> 0x1b" (binary_expression "uVar10 * 0x20" identifier * number_literal) | (binary_expression "uVar10 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc);" (assignment_expression "uVar12 = uVar12 - *(int *)((long)psVar5 + -0xc)" identifier = (binary_expression "uVar12 - *(int *)((long)psVar5 + -0xc)" identifier - (pointer_expression "*(int *)((long)psVar5 + -0xc)" * (cast_expression "(int *)((long)psVar5 + -0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)psVar5 + -0xc)" ( (binary_expression "(long)psVar5 + -0xc" (cast_expression "(long)psVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) )))))) ;) (expression_statement "bVar3 = (byte)uVar8 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar8 & 0x1f" identifier = (binary_expression "(byte)uVar8 & 0x1f" (cast_expression "(byte)uVar8" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4;" (assignment_expression "uVar10 = (uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4" identifier = (binary_expression "(uVar12 >> bVar3 | uVar12 << 0x20 - bVar3) ^ uVar4" (parenthesized_expression "(uVar12 >> bVar3 | uVar12 << 0x20 - bVar3)" ( (binary_expression "uVar12 >> bVar3 | uVar12 << 0x20 - bVar3" (binary_expression "uVar12 >> bVar3" identifier >> identifier) | (binary_expression "uVar12 << 0x20 - bVar3" identifier << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10);" (assignment_expression "uVar9 = uVar9 - *(int *)((long)psVar5 + -0x10)" identifier = (binary_expression "uVar9 - *(int *)((long)psVar5 + -0x10)" identifier - (pointer_expression "*(int *)((long)psVar5 + -0x10)" * (cast_expression "(int *)((long)psVar5 + -0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)psVar5 + -0x10)" ( (binary_expression "(long)psVar5 + -0x10" (cast_expression "(long)psVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) )))))) ;) (expression_statement "bVar3 = (byte)uVar4 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar4 & 0x1f" identifier = (binary_expression "(byte)uVar4 & 0x1f" (cast_expression "(byte)uVar4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8;" (assignment_expression "uVar8 = (uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8" identifier = (binary_expression "(uVar9 >> bVar3 | uVar9 << 0x20 - bVar3) ^ uVar8" (parenthesized_expression "(uVar9 >> bVar3 | uVar9 << 0x20 - bVar3)" ( (binary_expression "uVar9 >> bVar3 | uVar9 << 0x20 - bVar3" (binary_expression "uVar9 >> bVar3" identifier >> identifier) | (binary_expression "uVar9 << 0x20 - bVar3" identifier << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar4 = (uVar8 * 2 + 1) * uVar8;" (assignment_expression "uVar4 = (uVar8 * 2 + 1) * uVar8" identifier = (binary_expression "(uVar8 * 2 + 1) * uVar8" (parenthesized_expression "(uVar8 * 2 + 1)" ( (binary_expression "uVar8 * 2 + 1" (binary_expression "uVar8 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b;" (assignment_expression "uVar6 = uVar4 * 0x20 | uVar4 >> 0x1b" identifier = (binary_expression "uVar4 * 0x20 | uVar4 >> 0x1b" (binary_expression "uVar4 * 0x20" identifier * number_literal) | (binary_expression "uVar4 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar4 = (uVar10 * 2 + 1) * uVar10;" (assignment_expression "uVar4 = (uVar10 * 2 + 1) * uVar10" identifier = (binary_expression "(uVar10 * 2 + 1) * uVar10" (parenthesized_expression "(uVar10 * 2 + 1)" ( (binary_expression "uVar10 * 2 + 1" (binary_expression "uVar10 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;" (assignment_expression "uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b" identifier = (binary_expression "uVar4 * 0x20 | uVar4 >> 0x1b" (binary_expression "uVar4 * 0x20" identifier * number_literal) | (binary_expression "uVar4 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14);" (assignment_expression "uVar11 = uVar11 - *(int *)((long)psVar5 + -0x14)" identifier = (binary_expression "uVar11 - *(int *)((long)psVar5 + -0x14)" identifier - (pointer_expression "*(int *)((long)psVar5 + -0x14)" * (cast_expression "(int *)((long)psVar5 + -0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)psVar5 + -0x14)" ( (binary_expression "(long)psVar5 + -0x14" (cast_expression "(long)psVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) )))))) ;) (expression_statement "bVar3 = (byte)uVar6 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar6 & 0x1f" identifier = (binary_expression "(byte)uVar6 & 0x1f" (cast_expression "(byte)uVar6" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9;" (assignment_expression "uVar4 = (uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9" identifier = (binary_expression "(uVar11 >> bVar3 | uVar11 << 0x20 - bVar3) ^ uVar9" (parenthesized_expression "(uVar11 >> bVar3 | uVar11 << 0x20 - bVar3)" ( (binary_expression "uVar11 >> bVar3 | uVar11 << 0x20 - bVar3" (binary_expression "uVar11 >> bVar3" identifier >> identifier) | (binary_expression "uVar11 << 0x20 - bVar3" identifier << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18);" (assignment_expression "uVar7 = uVar7 - *(int *)((long)psVar5 + -0x18)" identifier = (binary_expression "uVar7 - *(int *)((long)psVar5 + -0x18)" identifier - (pointer_expression "*(int *)((long)psVar5 + -0x18)" * (cast_expression "(int *)((long)psVar5 + -0x18)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)psVar5 + -0x18)" ( (binary_expression "(long)psVar5 + -0x18" (cast_expression "(long)psVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) )))))) ;) (expression_statement "bVar3 = (byte)uVar9 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar9 & 0x1f" identifier = (binary_expression "(byte)uVar9 & 0x1f" (cast_expression "(byte)uVar9" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6;" (assignment_expression "uVar6 = (uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6" identifier = (binary_expression "(uVar7 >> bVar3 | uVar7 << 0x20 - bVar3) ^ uVar6" (parenthesized_expression "(uVar7 >> bVar3 | uVar7 << 0x20 - bVar3)" ( (binary_expression "uVar7 >> bVar3 | uVar7 << 0x20 - bVar3" (binary_expression "uVar7 >> bVar3" identifier >> identifier) | (binary_expression "uVar7 << 0x20 - bVar3" identifier << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "psVar5 = (symmetric_key *)((long)psVar5 + -0x20);" (assignment_expression "psVar5 = (symmetric_key *)((long)psVar5 + -0x20)" identifier = (cast_expression "(symmetric_key *)((long)psVar5 + -0x20)" ( (type_descriptor "symmetric_key *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((long)psVar5 + -0x20)" ( (binary_expression "(long)psVar5 + -0x20" (cast_expression "(long)psVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) )))) ;) }) while (parenthesized_expression "(skey != psVar5)" ( (binary_expression "skey != psVar5" identifier != identifier) )) ;) (expression_statement "uVar1 = (skey->des).ek[0];" (assignment_expression "uVar1 = (skey->des).ek[0]" identifier = (subscript_expression "(skey->des).ek[0]" (field_expression "(skey->des).ek" (parenthesized_expression "(skey->des)" ( (field_expression "skey->des" identifier -> field_identifier) )) . field_identifier) [ number_literal ])) ;) (expression_statement "uVar2 = (skey->des).ek[1];" (assignment_expression "uVar2 = (skey->des).ek[1]" identifier = (subscript_expression "(skey->des).ek[1]" (field_expression "(skey->des).ek" (parenthesized_expression "(skey->des)" ( (field_expression "skey->des" identifier -> field_identifier) )) . field_identifier) [ number_literal ])) ;) (expression_statement "*(uint *)pt = uVar6;" (assignment_expression "*(uint *)pt = uVar6" (pointer_expression "*(uint *)pt" * (cast_expression "(uint *)pt" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) = identifier) ;) (expression_statement "*(uint *)(pt + 4) = uVar8 - uVar1;" (assignment_expression "*(uint *)(pt + 4) = uVar8 - uVar1" (pointer_expression "*(uint *)(pt + 4)" * (cast_expression "(uint *)(pt + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(pt + 4)" ( (binary_expression "pt + 4" identifier + number_literal) )))) = (binary_expression "uVar8 - uVar1" identifier - identifier)) ;) (expression_statement "*(uint *)(pt + 8) = uVar4;" (assignment_expression "*(uint *)(pt + 8) = uVar4" (pointer_expression "*(uint *)(pt + 8)" * (cast_expression "(uint *)(pt + 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(pt + 8)" ( (binary_expression "pt + 8" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(uint *)(pt + 0xc) = uVar10 - uVar2;" (assignment_expression "*(uint *)(pt + 0xc) = uVar10 - uVar2" (pointer_expression "*(uint *)(pt + 0xc)" * (cast_expression "(uint *)(pt + 0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(pt + 0xc)" ( (binary_expression "pt + 0xc" identifier + number_literal) )))) = (binary_expression "uVar10 - uVar2" identifier - identifier)) ;) (return_statement "return 0;" return number_literal ;) })) comment (expression_statement "crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);" (call_expression "crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9)" identifier (argument_list "("ct != NULL","src/ciphers/rc6.c",0xb9)" ( (string_literal ""ct != NULL"" " string_content ") , (string_literal ""src/ciphers/rc6.c"" " string_content ") , number_literal ))) ;) })) comment (expression_statement "crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);" (call_expression "crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8)" identifier (argument_list "("pt != NULL","src/ciphers/rc6.c",0xb8)" ( (string_literal ""pt != NULL"" " string_content ") , (string_literal ""src/ciphers/rc6.c"" " string_content ") , number_literal ))) ;) })))
(translation_unit "undefined8 rc6_ecb_decrypt(int *param_1,uint *param_2,int *param_3)\n\n{\n  int iVar1;\n  int iVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  int *piVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (param_3 == (int *)0x0) {\n                    \n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    \n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    \n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}\n\n" (function_definition "undefined8 rc6_ecb_decrypt(int *param_1,uint *param_2,int *param_3)\n\n{\n  int iVar1;\n  int iVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  int *piVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (param_3 == (int *)0x0) {\n                    \n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    \n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    \n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}" type_identifier (function_declarator "rc6_ecb_decrypt(int *param_1,uint *param_2,int *param_3)" identifier (parameter_list "(int *param_1,uint *param_2,int *param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int *param_3" primitive_type (pointer_declarator "*param_3" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  int *piVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (param_3 == (int *)0x0) {\n                    \n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    \n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    \n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int *piVar6;" primitive_type (pointer_declarator "*piVar6" * identifier) ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "uint uVar12;" type_identifier identifier ;) (if_statement "if (param_3 == (int *)0x0) {\n                    \n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }" if (parenthesized_expression "(param_3 == (int *)0x0)" ( (binary_expression "param_3 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    \n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }" { (expression_statement "crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);" (call_expression "crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7)" identifier (argument_list "("skey != NULL","src/ciphers/rc6.c",0xb7)" ( (string_literal ""skey != NULL"" " string_content ") , (string_literal ""src/ciphers/rc6.c"" " string_content ") , number_literal ))) ;) })) (if_statement "if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    \n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }" if (parenthesized_expression "(param_2 != (uint *)0x0)" ( (binary_expression "param_2 != (uint *)0x0" identifier != (cast_expression "(uint *)0x0" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    \n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }" { (if_statement "if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }" if (parenthesized_expression "(param_1 != (int *)0x0)" ( (binary_expression "param_1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }" { (expression_statement "uVar12 = param_1[1];" (assignment_expression "uVar12 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) ;) (expression_statement "uVar5 = param_1[3];" (assignment_expression "uVar5 = param_1[3]" identifier = (subscript_expression "param_1[3]" identifier [ number_literal ])) ;) (expression_statement "uVar7 = *param_1 - param_3[0x2a];" (assignment_expression "uVar7 = *param_1 - param_3[0x2a]" identifier = (binary_expression "*param_1 - param_3[0x2a]" (pointer_expression "*param_1" * identifier) - (subscript_expression "param_3[0x2a]" identifier [ number_literal ]))) ;) (expression_statement "uVar4 = param_1[2] - param_3[0x2b];" (assignment_expression "uVar4 = param_1[2] - param_3[0x2b]" identifier = (binary_expression "param_1[2] - param_3[0x2b]" (subscript_expression "param_1[2]" identifier [ number_literal ]) - (subscript_expression "param_3[0x2b]" identifier [ number_literal ]))) ;) (expression_statement "piVar6 = param_3 + 0x28;" (assignment_expression "piVar6 = param_3 + 0x28" identifier = (binary_expression "param_3 + 0x28" identifier + number_literal)) ;) (do_statement "do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);" do (compound_statement "{\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      }" { (expression_statement "uVar10 = (uVar7 * 2 + 1) * uVar7;" (assignment_expression "uVar10 = (uVar7 * 2 + 1) * uVar7" identifier = (binary_expression "(uVar7 * 2 + 1) * uVar7" (parenthesized_expression "(uVar7 * 2 + 1)" ( (binary_expression "uVar7 * 2 + 1" (binary_expression "uVar7 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;" (assignment_expression "uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b" identifier = (binary_expression "uVar10 * 0x20 | uVar10 >> 0x1b" (binary_expression "uVar10 * 0x20" identifier * number_literal) | (binary_expression "uVar10 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar10 = (uVar4 * 2 + 1) * uVar4;" (assignment_expression "uVar10 = (uVar4 * 2 + 1) * uVar4" identifier = (binary_expression "(uVar4 * 2 + 1) * uVar4" (parenthesized_expression "(uVar4 * 2 + 1)" ( (binary_expression "uVar4 * 2 + 1" (binary_expression "uVar4 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;" (assignment_expression "uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b" identifier = (binary_expression "uVar10 * 0x20 | uVar10 >> 0x1b" (binary_expression "uVar10 * 0x20" identifier * number_literal) | (binary_expression "uVar10 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "bVar3 = (byte)uVar11 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar11 & 0x1f" identifier = (binary_expression "(byte)uVar11 & 0x1f" (cast_expression "(byte)uVar11" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;" (assignment_expression "uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10" identifier = (binary_expression "(uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10" (parenthesized_expression "(uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3)" ( (binary_expression "uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3" (binary_expression "uVar12 - piVar6[1] >> bVar3" (binary_expression "uVar12 - piVar6[1]" identifier - (subscript_expression "piVar6[1]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar12 - piVar6[1] << 0x20 - bVar3" (binary_expression "uVar12 - piVar6[1]" identifier - (subscript_expression "piVar6[1]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "bVar3 = (byte)uVar10 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar10 & 0x1f" identifier = (binary_expression "(byte)uVar10 & 0x1f" (cast_expression "(byte)uVar10" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;" (assignment_expression "uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11" identifier = (binary_expression "(uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11" (parenthesized_expression "(uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3)" ( (binary_expression "uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3" (binary_expression "uVar5 - *piVar6 >> bVar3" (binary_expression "uVar5 - *piVar6" identifier - (pointer_expression "*piVar6" * identifier)) >> identifier) | (binary_expression "uVar5 - *piVar6 << 0x20 - bVar3" (binary_expression "uVar5 - *piVar6" identifier - (pointer_expression "*piVar6" * identifier)) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar12 = (uVar11 * 2 + 1) * uVar11;" (assignment_expression "uVar12 = (uVar11 * 2 + 1) * uVar11" identifier = (binary_expression "(uVar11 * 2 + 1) * uVar11" (parenthesized_expression "(uVar11 * 2 + 1)" ( (binary_expression "uVar11 * 2 + 1" (binary_expression "uVar11 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;" (assignment_expression "uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b" identifier = (binary_expression "uVar12 * 0x20 | uVar12 >> 0x1b" (binary_expression "uVar12 * 0x20" identifier * number_literal) | (binary_expression "uVar12 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar12 = (uVar9 * 2 + 1) * uVar9;" (assignment_expression "uVar12 = (uVar9 * 2 + 1) * uVar9" identifier = (binary_expression "(uVar9 * 2 + 1) * uVar9" (parenthesized_expression "(uVar9 * 2 + 1)" ( (binary_expression "uVar9 * 2 + 1" (binary_expression "uVar9 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;" (assignment_expression "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b" identifier = (binary_expression "uVar12 * 0x20 | uVar12 >> 0x1b" (binary_expression "uVar12 * 0x20" identifier * number_literal) | (binary_expression "uVar12 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "bVar3 = (byte)uVar10 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar10 & 0x1f" identifier = (binary_expression "(byte)uVar10 & 0x1f" (cast_expression "(byte)uVar10" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;" (assignment_expression "uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12" identifier = (binary_expression "(uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12" (parenthesized_expression "(uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3)" ( (binary_expression "uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3" (binary_expression "uVar7 - piVar6[-1] >> bVar3" (binary_expression "uVar7 - piVar6[-1]" identifier - (subscript_expression "piVar6[-1]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar7 - piVar6[-1] << 0x20 - bVar3" (binary_expression "uVar7 - piVar6[-1]" identifier - (subscript_expression "piVar6[-1]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "bVar3 = (byte)uVar12 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar12 & 0x1f" identifier = (binary_expression "(byte)uVar12 & 0x1f" (cast_expression "(byte)uVar12" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;" (assignment_expression "uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10" identifier = (binary_expression "(uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10" (parenthesized_expression "(uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3)" ( (binary_expression "uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3" (binary_expression "uVar4 - piVar6[-2] >> bVar3" (binary_expression "uVar4 - piVar6[-2]" identifier - (subscript_expression "piVar6[-2]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar4 - piVar6[-2] << 0x20 - bVar3" (binary_expression "uVar4 - piVar6[-2]" identifier - (subscript_expression "piVar6[-2]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar12 = (uVar10 * 2 + 1) * uVar10;" (assignment_expression "uVar12 = (uVar10 * 2 + 1) * uVar10" identifier = (binary_expression "(uVar10 * 2 + 1) * uVar10" (parenthesized_expression "(uVar10 * 2 + 1)" ( (binary_expression "uVar10 * 2 + 1" (binary_expression "uVar10 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;" (assignment_expression "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b" identifier = (binary_expression "uVar12 * 0x20 | uVar12 >> 0x1b" (binary_expression "uVar12 * 0x20" identifier * number_literal) | (binary_expression "uVar12 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar5 = (uVar8 * 2 + 1) * uVar8;" (assignment_expression "uVar5 = (uVar8 * 2 + 1) * uVar8" identifier = (binary_expression "(uVar8 * 2 + 1) * uVar8" (parenthesized_expression "(uVar8 * 2 + 1)" ( (binary_expression "uVar8 * 2 + 1" (binary_expression "uVar8 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;" (assignment_expression "uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b" identifier = (binary_expression "uVar5 * 0x20 | uVar5 >> 0x1b" (binary_expression "uVar5 * 0x20" identifier * number_literal) | (binary_expression "uVar5 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "bVar3 = (byte)uVar12 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar12 & 0x1f" identifier = (binary_expression "(byte)uVar12 & 0x1f" (cast_expression "(byte)uVar12" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;" (assignment_expression "uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4" identifier = (binary_expression "(uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4" (parenthesized_expression "(uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3)" ( (binary_expression "uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3" (binary_expression "uVar11 - piVar6[-3] >> bVar3" (binary_expression "uVar11 - piVar6[-3]" identifier - (subscript_expression "piVar6[-3]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar11 - piVar6[-3] << 0x20 - bVar3" (binary_expression "uVar11 - piVar6[-3]" identifier - (subscript_expression "piVar6[-3]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "bVar3 = (byte)uVar4 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar4 & 0x1f" identifier = (binary_expression "(byte)uVar4 & 0x1f" (cast_expression "(byte)uVar4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;" (assignment_expression "uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12" identifier = (binary_expression "(uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12" (parenthesized_expression "(uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3)" ( (binary_expression "uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3" (binary_expression "uVar9 - piVar6[-4] >> bVar3" (binary_expression "uVar9 - piVar6[-4]" identifier - (subscript_expression "piVar6[-4]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar9 - piVar6[-4] << 0x20 - bVar3" (binary_expression "uVar9 - piVar6[-4]" identifier - (subscript_expression "piVar6[-4]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "uVar4 = (uVar12 * 2 + 1) * uVar12;" (assignment_expression "uVar4 = (uVar12 * 2 + 1) * uVar12" identifier = (binary_expression "(uVar12 * 2 + 1) * uVar12" (parenthesized_expression "(uVar12 * 2 + 1)" ( (binary_expression "uVar12 * 2 + 1" (binary_expression "uVar12 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;" (assignment_expression "uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b" identifier = (binary_expression "uVar4 * 0x20 | uVar4 >> 0x1b" (binary_expression "uVar4 * 0x20" identifier * number_literal) | (binary_expression "uVar4 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "uVar4 = (uVar5 * 2 + 1) * uVar5;" (assignment_expression "uVar4 = (uVar5 * 2 + 1) * uVar5" identifier = (binary_expression "(uVar5 * 2 + 1) * uVar5" (parenthesized_expression "(uVar5 * 2 + 1)" ( (binary_expression "uVar5 * 2 + 1" (binary_expression "uVar5 * 2" identifier * number_literal) + number_literal) )) * identifier)) ;) (expression_statement "uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;" (assignment_expression "uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b" identifier = (binary_expression "uVar4 * 0x20 | uVar4 >> 0x1b" (binary_expression "uVar4 * 0x20" identifier * number_literal) | (binary_expression "uVar4 >> 0x1b" identifier >> number_literal))) ;) (expression_statement "bVar3 = (byte)uVar7 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar7 & 0x1f" identifier = (binary_expression "(byte)uVar7 & 0x1f" (cast_expression "(byte)uVar7" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;" (assignment_expression "uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9" identifier = (binary_expression "(uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9" (parenthesized_expression "(uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3)" ( (binary_expression "uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3" (binary_expression "uVar10 - piVar6[-5] >> bVar3" (binary_expression "uVar10 - piVar6[-5]" identifier - (subscript_expression "piVar6[-5]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar10 - piVar6[-5] << 0x20 - bVar3" (binary_expression "uVar10 - piVar6[-5]" identifier - (subscript_expression "piVar6[-5]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "bVar3 = (byte)uVar9 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar9 & 0x1f" identifier = (binary_expression "(byte)uVar9 & 0x1f" (cast_expression "(byte)uVar9" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;" (assignment_expression "uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7" identifier = (binary_expression "(uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7" (parenthesized_expression "(uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3)" ( (binary_expression "uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3" (binary_expression "uVar8 - piVar6[-6] >> bVar3" (binary_expression "uVar8 - piVar6[-6]" identifier - (subscript_expression "piVar6[-6]" identifier [ number_literal ])) >> identifier) | (binary_expression "uVar8 - piVar6[-6] << 0x20 - bVar3" (binary_expression "uVar8 - piVar6[-6]" identifier - (subscript_expression "piVar6[-6]" identifier [ number_literal ])) << (binary_expression "0x20 - bVar3" number_literal - identifier))) )) ^ identifier)) ;) (expression_statement "piVar6 = piVar6 + -8;" (assignment_expression "piVar6 = piVar6 + -8" identifier = (binary_expression "piVar6 + -8" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != piVar6)" ( (binary_expression "param_3 != piVar6" identifier != identifier) )) ;) (expression_statement "iVar1 = *param_3;" (assignment_expression "iVar1 = *param_3" identifier = (pointer_expression "*param_3" * identifier)) ;) (expression_statement "iVar2 = param_3[1];" (assignment_expression "iVar2 = param_3[1]" identifier = (subscript_expression "param_3[1]" identifier [ number_literal ])) ;) (expression_statement "*param_2 = uVar7;" (assignment_expression "*param_2 = uVar7" (pointer_expression "*param_2" * identifier) = identifier) ;) (expression_statement "param_2[1] = uVar12 - iVar1;" (assignment_expression "param_2[1] = uVar12 - iVar1" (subscript_expression "param_2[1]" identifier [ number_literal ]) = (binary_expression "uVar12 - iVar1" identifier - identifier)) ;) (expression_statement "param_2[2] = uVar4;" (assignment_expression "param_2[2] = uVar4" (subscript_expression "param_2[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_2[3] = uVar5 - iVar2;" (assignment_expression "param_2[3] = uVar5 - iVar2" (subscript_expression "param_2[3]" identifier [ number_literal ]) = (binary_expression "uVar5 - iVar2" identifier - identifier)) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);" (call_expression "crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9)" identifier (argument_list "("ct != NULL","src/ciphers/rc6.c",0xb9)" ( (string_literal ""ct != NULL"" " string_content ") , (string_literal ""src/ciphers/rc6.c"" " string_content ") , number_literal ))) ;) })) (expression_statement "crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);" (call_expression "crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8)" identifier (argument_list "("pt != NULL","src/ciphers/rc6.c",0xb8)" ( (string_literal ""pt != NULL"" " string_content ") , (string_literal ""src/ciphers/rc6.c"" " string_content ") , 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 TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) - (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) + LIT) )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) | (binary_expression IDENT >> LIT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) + LIT) )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) | (binary_expression IDENT >> LIT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) >> IDENT) | (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) << (binary_expression LIT - IDENT))) )) ^ IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT - (pointer_expression * IDENT)) >> IDENT) | (binary_expression (binary_expression IDENT - (pointer_expression * IDENT)) << (binary_expression LIT - IDENT))) )) ^ IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) + LIT) )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) | (binary_expression IDENT >> LIT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) + LIT) )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) | (binary_expression IDENT >> LIT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) >> IDENT) | (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) << (binary_expression LIT - IDENT))) )) ^ IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) >> IDENT) | (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) << (binary_expression LIT - IDENT))) )) ^ IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) + LIT) )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) | (binary_expression IDENT >> LIT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) + LIT) )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) | (binary_expression IDENT >> LIT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) >> IDENT) | (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) << (binary_expression LIT - IDENT))) )) ^ IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) >> IDENT) | (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) << (binary_expression LIT - IDENT))) )) ^ IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) + LIT) )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) | (binary_expression IDENT >> LIT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) + LIT) )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) | (binary_expression IDENT >> LIT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) >> IDENT) | (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) << (binary_expression LIT - IDENT))) )) ^ IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) >> IDENT) | (binary_expression (binary_expression IDENT - (subscript_expression IDENT [ LIT ])) << (binary_expression LIT - IDENT))) )) ^ IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != IDENT) )) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT - IDENT)) ;) (return_statement return LIT ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })))
(function_definition "undefined8 rc6_ecb_decrypt(int *param_1,uint *param_2,int *param_3)\n\n{\n  int iVar1;\n  int iVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  int *piVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (param_3 == (int *)0x0) {\n                    \n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    \n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    \n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}" (type_identifier "undefined8") (function_declarator "rc6_ecb_decrypt(int *param_1,uint *param_2,int *param_3)" (identifier "rc6_ecb_decrypt") (parameter_list "(int *param_1,uint *param_2,int *param_3)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "int *param_3" (primitive_type "int") (pointer_declarator "*param_3" (* "*") (identifier "param_3"))) () ")"))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  byte bVar3;\n  uint uVar4;\n  uint uVar5;\n  int *piVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  \n  if (param_3 == (int *)0x0) {\n                    \n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }\n  if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    \n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }\n                    \n  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "byte bVar3;" (type_identifier "byte") (identifier "bVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "int *piVar6;" (primitive_type "int") (pointer_declarator "*piVar6" (* "*") (identifier "piVar6")) (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "uint uVar9;" (type_identifier "uint") (identifier "uVar9") (; ";")) (declaration "uint uVar10;" (type_identifier "uint") (identifier "uVar10") (; ";")) (declaration "uint uVar11;" (type_identifier "uint") (identifier "uVar11") (; ";")) (declaration "uint uVar12;" (type_identifier "uint") (identifier "uVar12") (; ";")) (if_statement "if (param_3 == (int *)0x0) {\n                    \n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }" (if "if") (parenthesized_expression "(param_3 == (int *)0x0)" (( "(") (binary_expression "param_3 == (int *)0x0" (identifier "param_3") (== "==") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n                    \n    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);\n  }" ({ "{") (expression_statement "crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);" (call_expression "crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7)" (identifier "crypt_argchk") (argument_list "("skey != NULL","src/ciphers/rc6.c",0xb7)" (( "(") (string_literal ""skey != NULL"" (" """) (string_content "skey != NULL") (" """)) (, ",") (string_literal ""src/ciphers/rc6.c"" (" """) (string_content "src/ciphers/rc6.c") (" """)) (, ",") (number_literal "0xb7") () ")"))) (; ";")) (} "}"))) (if_statement "if (param_2 != (uint *)0x0) {\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    \n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }" (if "if") (parenthesized_expression "(param_2 != (uint *)0x0)" (( "(") (binary_expression "param_2 != (uint *)0x0" (identifier "param_2") (!= "!=") (cast_expression "(uint *)0x0" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n    if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }\n                    \n    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);\n  }" ({ "{") (if_statement "if (param_1 != (int *)0x0) {\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }" (if "if") (parenthesized_expression "(param_1 != (int *)0x0)" (( "(") (binary_expression "param_1 != (int *)0x0" (identifier "param_1") (!= "!=") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n      uVar12 = param_1[1];\n      uVar5 = param_1[3];\n      uVar7 = *param_1 - param_3[0x2a];\n      uVar4 = param_1[2] - param_3[0x2b];\n      piVar6 = param_3 + 0x28;\n      do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);\n      iVar1 = *param_3;\n      iVar2 = param_3[1];\n      *param_2 = uVar7;\n      param_2[1] = uVar12 - iVar1;\n      param_2[2] = uVar4;\n      param_2[3] = uVar5 - iVar2;\n      return 0;\n    }" ({ "{") (expression_statement "uVar12 = param_1[1];" (assignment_expression "uVar12 = param_1[1]" (identifier "uVar12") (= "=") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "uVar5 = param_1[3];" (assignment_expression "uVar5 = param_1[3]" (identifier "uVar5") (= "=") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]"))) (; ";")) (expression_statement "uVar7 = *param_1 - param_3[0x2a];" (assignment_expression "uVar7 = *param_1 - param_3[0x2a]" (identifier "uVar7") (= "=") (binary_expression "*param_1 - param_3[0x2a]" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (- "-") (subscript_expression "param_3[0x2a]" (identifier "param_3") ([ "[") (number_literal "0x2a") (] "]")))) (; ";")) (expression_statement "uVar4 = param_1[2] - param_3[0x2b];" (assignment_expression "uVar4 = param_1[2] - param_3[0x2b]" (identifier "uVar4") (= "=") (binary_expression "param_1[2] - param_3[0x2b]" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (- "-") (subscript_expression "param_3[0x2b]" (identifier "param_3") ([ "[") (number_literal "0x2b") (] "]")))) (; ";")) (expression_statement "piVar6 = param_3 + 0x28;" (assignment_expression "piVar6 = param_3 + 0x28" (identifier "piVar6") (= "=") (binary_expression "param_3 + 0x28" (identifier "param_3") (+ "+") (number_literal "0x28"))) (; ";")) (do_statement "do {\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      } while (param_3 != piVar6);" (do "do") (compound_statement "{\n        uVar10 = (uVar7 * 2 + 1) * uVar7;\n        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        uVar10 = (uVar4 * 2 + 1) * uVar4;\n        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;\n        bVar3 = (byte)uVar11 & 0x1f;\n        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;\n        uVar12 = (uVar11 * 2 + 1) * uVar11;\n        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar12 = (uVar9 * 2 + 1) * uVar9;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        bVar3 = (byte)uVar10 & 0x1f;\n        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;\n        uVar12 = (uVar10 * 2 + 1) * uVar10;\n        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;\n        uVar5 = (uVar8 * 2 + 1) * uVar8;\n        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;\n        bVar3 = (byte)uVar12 & 0x1f;\n        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;\n        bVar3 = (byte)uVar4 & 0x1f;\n        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;\n        uVar4 = (uVar12 * 2 + 1) * uVar12;\n        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        uVar4 = (uVar5 * 2 + 1) * uVar5;\n        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;\n        bVar3 = (byte)uVar7 & 0x1f;\n        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;\n        bVar3 = (byte)uVar9 & 0x1f;\n        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;\n        piVar6 = piVar6 + -8;\n      }" ({ "{") (expression_statement "uVar10 = (uVar7 * 2 + 1) * uVar7;" (assignment_expression "uVar10 = (uVar7 * 2 + 1) * uVar7" (identifier "uVar10") (= "=") (binary_expression "(uVar7 * 2 + 1) * uVar7" (parenthesized_expression "(uVar7 * 2 + 1)" (( "(") (binary_expression "uVar7 * 2 + 1" (binary_expression "uVar7 * 2" (identifier "uVar7") (* "*") (number_literal "2")) (+ "+") (number_literal "1")) () ")")) (* "*") (identifier "uVar7"))) (; ";")) (expression_statement "uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;" (assignment_expression "uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b" (identifier "uVar11") (= "=") (binary_expression "uVar10 * 0x20 | uVar10 >> 0x1b" (binary_expression "uVar10 * 0x20" (identifier "uVar10") (* "*") (number_literal "0x20")) (| "|") (binary_expression "uVar10 >> 0x1b" (identifier "uVar10") (>> ">>") (number_literal "0x1b")))) (; ";")) (expression_statement "uVar10 = (uVar4 * 2 + 1) * uVar4;" (assignment_expression "uVar10 = (uVar4 * 2 + 1) * uVar4" (identifier "uVar10") (= "=") (binary_expression "(uVar4 * 2 + 1) * uVar4" (parenthesized_expression "(uVar4 * 2 + 1)" (( "(") (binary_expression "uVar4 * 2 + 1" (binary_expression "uVar4 * 2" (identifier "uVar4") (* "*") (number_literal "2")) (+ "+") (number_literal "1")) () ")")) (* "*") (identifier "uVar4"))) (; ";")) (expression_statement "uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;" (assignment_expression "uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b" (identifier "uVar10") (= "=") (binary_expression "uVar10 * 0x20 | uVar10 >> 0x1b" (binary_expression "uVar10 * 0x20" (identifier "uVar10") (* "*") (number_literal "0x20")) (| "|") (binary_expression "uVar10 >> 0x1b" (identifier "uVar10") (>> ">>") (number_literal "0x1b")))) (; ";")) (expression_statement "bVar3 = (byte)uVar11 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar11 & 0x1f" (identifier "bVar3") (= "=") (binary_expression "(byte)uVar11 & 0x1f" (cast_expression "(byte)uVar11" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar11")) (& "&") (number_literal "0x1f"))) (; ";")) (expression_statement "uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;" (assignment_expression "uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10" (identifier "uVar9") (= "=") (binary_expression "(uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10" (parenthesized_expression "(uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3)" (( "(") (binary_expression "uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3" (binary_expression "uVar12 - piVar6[1] >> bVar3" (binary_expression "uVar12 - piVar6[1]" (identifier "uVar12") (- "-") (subscript_expression "piVar6[1]" (identifier "piVar6") ([ "[") (number_literal "1") (] "]"))) (>> ">>") (identifier "bVar3")) (| "|") (binary_expression "uVar12 - piVar6[1] << 0x20 - bVar3" (binary_expression "uVar12 - piVar6[1]" (identifier "uVar12") (- "-") (subscript_expression "piVar6[1]" (identifier "piVar6") ([ "[") (number_literal "1") (] "]"))) (<< "<<") (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")))) () ")")) (^ "^") (identifier "uVar10"))) (; ";")) (expression_statement "bVar3 = (byte)uVar10 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar10 & 0x1f" (identifier "bVar3") (= "=") (binary_expression "(byte)uVar10 & 0x1f" (cast_expression "(byte)uVar10" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar10")) (& "&") (number_literal "0x1f"))) (; ";")) (expression_statement "uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;" (assignment_expression "uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11" (identifier "uVar11") (= "=") (binary_expression "(uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11" (parenthesized_expression "(uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3)" (( "(") (binary_expression "uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3" (binary_expression "uVar5 - *piVar6 >> bVar3" (binary_expression "uVar5 - *piVar6" (identifier "uVar5") (- "-") (pointer_expression "*piVar6" (* "*") (identifier "piVar6"))) (>> ">>") (identifier "bVar3")) (| "|") (binary_expression "uVar5 - *piVar6 << 0x20 - bVar3" (binary_expression "uVar5 - *piVar6" (identifier "uVar5") (- "-") (pointer_expression "*piVar6" (* "*") (identifier "piVar6"))) (<< "<<") (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")))) () ")")) (^ "^") (identifier "uVar11"))) (; ";")) (expression_statement "uVar12 = (uVar11 * 2 + 1) * uVar11;" (assignment_expression "uVar12 = (uVar11 * 2 + 1) * uVar11" (identifier "uVar12") (= "=") (binary_expression "(uVar11 * 2 + 1) * uVar11" (parenthesized_expression "(uVar11 * 2 + 1)" (( "(") (binary_expression "uVar11 * 2 + 1" (binary_expression "uVar11 * 2" (identifier "uVar11") (* "*") (number_literal "2")) (+ "+") (number_literal "1")) () ")")) (* "*") (identifier "uVar11"))) (; ";")) (expression_statement "uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;" (assignment_expression "uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b" (identifier "uVar10") (= "=") (binary_expression "uVar12 * 0x20 | uVar12 >> 0x1b" (binary_expression "uVar12 * 0x20" (identifier "uVar12") (* "*") (number_literal "0x20")) (| "|") (binary_expression "uVar12 >> 0x1b" (identifier "uVar12") (>> ">>") (number_literal "0x1b")))) (; ";")) (expression_statement "uVar12 = (uVar9 * 2 + 1) * uVar9;" (assignment_expression "uVar12 = (uVar9 * 2 + 1) * uVar9" (identifier "uVar12") (= "=") (binary_expression "(uVar9 * 2 + 1) * uVar9" (parenthesized_expression "(uVar9 * 2 + 1)" (( "(") (binary_expression "uVar9 * 2 + 1" (binary_expression "uVar9 * 2" (identifier "uVar9") (* "*") (number_literal "2")) (+ "+") (number_literal "1")) () ")")) (* "*") (identifier "uVar9"))) (; ";")) (expression_statement "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;" (assignment_expression "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b" (identifier "uVar12") (= "=") (binary_expression "uVar12 * 0x20 | uVar12 >> 0x1b" (binary_expression "uVar12 * 0x20" (identifier "uVar12") (* "*") (number_literal "0x20")) (| "|") (binary_expression "uVar12 >> 0x1b" (identifier "uVar12") (>> ">>") (number_literal "0x1b")))) (; ";")) (expression_statement "bVar3 = (byte)uVar10 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar10 & 0x1f" (identifier "bVar3") (= "=") (binary_expression "(byte)uVar10 & 0x1f" (cast_expression "(byte)uVar10" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar10")) (& "&") (number_literal "0x1f"))) (; ";")) (expression_statement "uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;" (assignment_expression "uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12" (identifier "uVar8") (= "=") (binary_expression "(uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12" (parenthesized_expression "(uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3)" (( "(") (binary_expression "uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3" (binary_expression "uVar7 - piVar6[-1] >> bVar3" (binary_expression "uVar7 - piVar6[-1]" (identifier "uVar7") (- "-") (subscript_expression "piVar6[-1]" (identifier "piVar6") ([ "[") (number_literal "-1") (] "]"))) (>> ">>") (identifier "bVar3")) (| "|") (binary_expression "uVar7 - piVar6[-1] << 0x20 - bVar3" (binary_expression "uVar7 - piVar6[-1]" (identifier "uVar7") (- "-") (subscript_expression "piVar6[-1]" (identifier "piVar6") ([ "[") (number_literal "-1") (] "]"))) (<< "<<") (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")))) () ")")) (^ "^") (identifier "uVar12"))) (; ";")) (expression_statement "bVar3 = (byte)uVar12 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar12 & 0x1f" (identifier "bVar3") (= "=") (binary_expression "(byte)uVar12 & 0x1f" (cast_expression "(byte)uVar12" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar12")) (& "&") (number_literal "0x1f"))) (; ";")) (expression_statement "uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;" (assignment_expression "uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10" (identifier "uVar10") (= "=") (binary_expression "(uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10" (parenthesized_expression "(uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3)" (( "(") (binary_expression "uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3" (binary_expression "uVar4 - piVar6[-2] >> bVar3" (binary_expression "uVar4 - piVar6[-2]" (identifier "uVar4") (- "-") (subscript_expression "piVar6[-2]" (identifier "piVar6") ([ "[") (number_literal "-2") (] "]"))) (>> ">>") (identifier "bVar3")) (| "|") (binary_expression "uVar4 - piVar6[-2] << 0x20 - bVar3" (binary_expression "uVar4 - piVar6[-2]" (identifier "uVar4") (- "-") (subscript_expression "piVar6[-2]" (identifier "piVar6") ([ "[") (number_literal "-2") (] "]"))) (<< "<<") (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")))) () ")")) (^ "^") (identifier "uVar10"))) (; ";")) (expression_statement "uVar12 = (uVar10 * 2 + 1) * uVar10;" (assignment_expression "uVar12 = (uVar10 * 2 + 1) * uVar10" (identifier "uVar12") (= "=") (binary_expression "(uVar10 * 2 + 1) * uVar10" (parenthesized_expression "(uVar10 * 2 + 1)" (( "(") (binary_expression "uVar10 * 2 + 1" (binary_expression "uVar10 * 2" (identifier "uVar10") (* "*") (number_literal "2")) (+ "+") (number_literal "1")) () ")")) (* "*") (identifier "uVar10"))) (; ";")) (expression_statement "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;" (assignment_expression "uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b" (identifier "uVar12") (= "=") (binary_expression "uVar12 * 0x20 | uVar12 >> 0x1b" (binary_expression "uVar12 * 0x20" (identifier "uVar12") (* "*") (number_literal "0x20")) (| "|") (binary_expression "uVar12 >> 0x1b" (identifier "uVar12") (>> ">>") (number_literal "0x1b")))) (; ";")) (expression_statement "uVar5 = (uVar8 * 2 + 1) * uVar8;" (assignment_expression "uVar5 = (uVar8 * 2 + 1) * uVar8" (identifier "uVar5") (= "=") (binary_expression "(uVar8 * 2 + 1) * uVar8" (parenthesized_expression "(uVar8 * 2 + 1)" (( "(") (binary_expression "uVar8 * 2 + 1" (binary_expression "uVar8 * 2" (identifier "uVar8") (* "*") (number_literal "2")) (+ "+") (number_literal "1")) () ")")) (* "*") (identifier "uVar8"))) (; ";")) (expression_statement "uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;" (assignment_expression "uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b" (identifier "uVar4") (= "=") (binary_expression "uVar5 * 0x20 | uVar5 >> 0x1b" (binary_expression "uVar5 * 0x20" (identifier "uVar5") (* "*") (number_literal "0x20")) (| "|") (binary_expression "uVar5 >> 0x1b" (identifier "uVar5") (>> ">>") (number_literal "0x1b")))) (; ";")) (expression_statement "bVar3 = (byte)uVar12 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar12 & 0x1f" (identifier "bVar3") (= "=") (binary_expression "(byte)uVar12 & 0x1f" (cast_expression "(byte)uVar12" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar12")) (& "&") (number_literal "0x1f"))) (; ";")) (expression_statement "uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;" (assignment_expression "uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4" (identifier "uVar5") (= "=") (binary_expression "(uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4" (parenthesized_expression "(uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3)" (( "(") (binary_expression "uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3" (binary_expression "uVar11 - piVar6[-3] >> bVar3" (binary_expression "uVar11 - piVar6[-3]" (identifier "uVar11") (- "-") (subscript_expression "piVar6[-3]" (identifier "piVar6") ([ "[") (number_literal "-3") (] "]"))) (>> ">>") (identifier "bVar3")) (| "|") (binary_expression "uVar11 - piVar6[-3] << 0x20 - bVar3" (binary_expression "uVar11 - piVar6[-3]" (identifier "uVar11") (- "-") (subscript_expression "piVar6[-3]" (identifier "piVar6") ([ "[") (number_literal "-3") (] "]"))) (<< "<<") (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")))) () ")")) (^ "^") (identifier "uVar4"))) (; ";")) (expression_statement "bVar3 = (byte)uVar4 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar4 & 0x1f" (identifier "bVar3") (= "=") (binary_expression "(byte)uVar4 & 0x1f" (cast_expression "(byte)uVar4" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar4")) (& "&") (number_literal "0x1f"))) (; ";")) (expression_statement "uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;" (assignment_expression "uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12" (identifier "uVar12") (= "=") (binary_expression "(uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12" (parenthesized_expression "(uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3)" (( "(") (binary_expression "uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3" (binary_expression "uVar9 - piVar6[-4] >> bVar3" (binary_expression "uVar9 - piVar6[-4]" (identifier "uVar9") (- "-") (subscript_expression "piVar6[-4]" (identifier "piVar6") ([ "[") (number_literal "-4") (] "]"))) (>> ">>") (identifier "bVar3")) (| "|") (binary_expression "uVar9 - piVar6[-4] << 0x20 - bVar3" (binary_expression "uVar9 - piVar6[-4]" (identifier "uVar9") (- "-") (subscript_expression "piVar6[-4]" (identifier "piVar6") ([ "[") (number_literal "-4") (] "]"))) (<< "<<") (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")))) () ")")) (^ "^") (identifier "uVar12"))) (; ";")) (expression_statement "uVar4 = (uVar12 * 2 + 1) * uVar12;" (assignment_expression "uVar4 = (uVar12 * 2 + 1) * uVar12" (identifier "uVar4") (= "=") (binary_expression "(uVar12 * 2 + 1) * uVar12" (parenthesized_expression "(uVar12 * 2 + 1)" (( "(") (binary_expression "uVar12 * 2 + 1" (binary_expression "uVar12 * 2" (identifier "uVar12") (* "*") (number_literal "2")) (+ "+") (number_literal "1")) () ")")) (* "*") (identifier "uVar12"))) (; ";")) (expression_statement "uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;" (assignment_expression "uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b" (identifier "uVar7") (= "=") (binary_expression "uVar4 * 0x20 | uVar4 >> 0x1b" (binary_expression "uVar4 * 0x20" (identifier "uVar4") (* "*") (number_literal "0x20")) (| "|") (binary_expression "uVar4 >> 0x1b" (identifier "uVar4") (>> ">>") (number_literal "0x1b")))) (; ";")) (expression_statement "uVar4 = (uVar5 * 2 + 1) * uVar5;" (assignment_expression "uVar4 = (uVar5 * 2 + 1) * uVar5" (identifier "uVar4") (= "=") (binary_expression "(uVar5 * 2 + 1) * uVar5" (parenthesized_expression "(uVar5 * 2 + 1)" (( "(") (binary_expression "uVar5 * 2 + 1" (binary_expression "uVar5 * 2" (identifier "uVar5") (* "*") (number_literal "2")) (+ "+") (number_literal "1")) () ")")) (* "*") (identifier "uVar5"))) (; ";")) (expression_statement "uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;" (assignment_expression "uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b" (identifier "uVar9") (= "=") (binary_expression "uVar4 * 0x20 | uVar4 >> 0x1b" (binary_expression "uVar4 * 0x20" (identifier "uVar4") (* "*") (number_literal "0x20")) (| "|") (binary_expression "uVar4 >> 0x1b" (identifier "uVar4") (>> ">>") (number_literal "0x1b")))) (; ";")) (expression_statement "bVar3 = (byte)uVar7 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar7 & 0x1f" (identifier "bVar3") (= "=") (binary_expression "(byte)uVar7 & 0x1f" (cast_expression "(byte)uVar7" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar7")) (& "&") (number_literal "0x1f"))) (; ";")) (expression_statement "uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;" (assignment_expression "uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9" (identifier "uVar4") (= "=") (binary_expression "(uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9" (parenthesized_expression "(uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3)" (( "(") (binary_expression "uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3" (binary_expression "uVar10 - piVar6[-5] >> bVar3" (binary_expression "uVar10 - piVar6[-5]" (identifier "uVar10") (- "-") (subscript_expression "piVar6[-5]" (identifier "piVar6") ([ "[") (number_literal "-5") (] "]"))) (>> ">>") (identifier "bVar3")) (| "|") (binary_expression "uVar10 - piVar6[-5] << 0x20 - bVar3" (binary_expression "uVar10 - piVar6[-5]" (identifier "uVar10") (- "-") (subscript_expression "piVar6[-5]" (identifier "piVar6") ([ "[") (number_literal "-5") (] "]"))) (<< "<<") (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")))) () ")")) (^ "^") (identifier "uVar9"))) (; ";")) (expression_statement "bVar3 = (byte)uVar9 & 0x1f;" (assignment_expression "bVar3 = (byte)uVar9 & 0x1f" (identifier "bVar3") (= "=") (binary_expression "(byte)uVar9 & 0x1f" (cast_expression "(byte)uVar9" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar9")) (& "&") (number_literal "0x1f"))) (; ";")) (expression_statement "uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;" (assignment_expression "uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7" (identifier "uVar7") (= "=") (binary_expression "(uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7" (parenthesized_expression "(uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3)" (( "(") (binary_expression "uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3" (binary_expression "uVar8 - piVar6[-6] >> bVar3" (binary_expression "uVar8 - piVar6[-6]" (identifier "uVar8") (- "-") (subscript_expression "piVar6[-6]" (identifier "piVar6") ([ "[") (number_literal "-6") (] "]"))) (>> ">>") (identifier "bVar3")) (| "|") (binary_expression "uVar8 - piVar6[-6] << 0x20 - bVar3" (binary_expression "uVar8 - piVar6[-6]" (identifier "uVar8") (- "-") (subscript_expression "piVar6[-6]" (identifier "piVar6") ([ "[") (number_literal "-6") (] "]"))) (<< "<<") (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")))) () ")")) (^ "^") (identifier "uVar7"))) (; ";")) (expression_statement "piVar6 = piVar6 + -8;" (assignment_expression "piVar6 = piVar6 + -8" (identifier "piVar6") (= "=") (binary_expression "piVar6 + -8" (identifier "piVar6") (+ "+") (number_literal "-8"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_3 != piVar6)" (( "(") (binary_expression "param_3 != piVar6" (identifier "param_3") (!= "!=") (identifier "piVar6")) () ")")) (; ";")) (expression_statement "iVar1 = *param_3;" (assignment_expression "iVar1 = *param_3" (identifier "iVar1") (= "=") (pointer_expression "*param_3" (* "*") (identifier "param_3"))) (; ";")) (expression_statement "iVar2 = param_3[1];" (assignment_expression "iVar2 = param_3[1]" (identifier "iVar2") (= "=") (subscript_expression "param_3[1]" (identifier "param_3") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "*param_2 = uVar7;" (assignment_expression "*param_2 = uVar7" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (= "=") (identifier "uVar7")) (; ";")) (expression_statement "param_2[1] = uVar12 - iVar1;" (assignment_expression "param_2[1] = uVar12 - iVar1" (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar12 - iVar1" (identifier "uVar12") (- "-") (identifier "iVar1"))) (; ";")) (expression_statement "param_2[2] = uVar4;" (assignment_expression "param_2[2] = uVar4" (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "uVar4")) (; ";")) (expression_statement "param_2[3] = uVar5 - iVar2;" (assignment_expression "param_2[3] = uVar5 - iVar2" (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]")) (= "=") (binary_expression "uVar5 - iVar2" (identifier "uVar5") (- "-") (identifier "iVar2"))) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);" (call_expression "crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9)" (identifier "crypt_argchk") (argument_list "("ct != NULL","src/ciphers/rc6.c",0xb9)" (( "(") (string_literal ""ct != NULL"" (" """) (string_content "ct != NULL") (" """)) (, ",") (string_literal ""src/ciphers/rc6.c"" (" """) (string_content "src/ciphers/rc6.c") (" """)) (, ",") (number_literal "0xb9") () ")"))) (; ";")) (} "}"))) (expression_statement "crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);" (call_expression "crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8)" (identifier "crypt_argchk") (argument_list "("pt != NULL","src/ciphers/rc6.c",0xb8)" (( "(") (string_literal ""pt != NULL"" (" """) (string_content "pt != NULL") (" """)) (, ",") (string_literal ""src/ciphers/rc6.c"" (" """) (string_content "src/ciphers/rc6.c") (" """)) (, ",") (number_literal "0xb8") () ")"))) (; ";")) (} "}")))

int function_1(type_1 *var_4,type_1 *var_3,type_2 *var_1)

{
  type_3 var_15;
  type_3 var_16;
  type_4 var_9;
  type_5 var_7;
  type_2 *var_14;
  type_5 var_5;
  type_5 var_13;
  type_5 var_8;
  type_5 var_12;
  type_5 var_10;
  type_5 var_6;
  type_5 var_11;
  
  if (var_1 == (type_2 *)0x0) {
                    /* WARNING: Subroutine does not return */
    var_2("skey != NULL","src/ciphers/rc6.c",0xb7);
  }
  if (var_3 != (type_1 *)0x0) {
    if (var_4 != (type_1 *)0x0) {
      var_8 = *(type_5 *)(var_4 + 4);
      var_10 = *(type_5 *)(var_4 + 0xc);
      var_5 = *(int *)var_4 - (var_1->des).dk[10];
      var_7 = *(int *)(var_4 + 8) - (var_1->des).dk[0xb];
      var_14 = (type_2 *)((var_1->des3).ek[1] + 8);
      do {
        var_6 = (var_5 * 2 + 1) * var_5;
        var_11 = var_6 * 0x20 | var_6 >> 0x1b;
        var_6 = (var_7 * 2 + 1) * var_7;
        var_6 = var_6 * 0x20 | var_6 >> 0x1b;
        var_8 = var_8 - (var_14->des).ek[1];
        var_9 = (type_4)var_11 & 0x1f;
        var_12 = (var_8 >> var_9 | var_8 << 0x20 - var_9) ^ var_6;
        var_10 = var_10 - (var_14->des).ek[0];
        var_9 = (type_4)var_6 & 0x1f;
        var_11 = (var_10 >> var_9 | var_10 << 0x20 - var_9) ^ var_11;
        var_8 = (var_11 * 2 + 1) * var_11;
        var_6 = var_8 * 0x20 | var_8 >> 0x1b;
        var_8 = (var_12 * 2 + 1) * var_12;
        var_8 = var_8 * 0x20 | var_8 >> 0x1b;
        var_5 = var_5 - *(int *)((long)var_14 + -4);
        var_9 = (type_4)var_6 & 0x1f;
        var_13 = (var_5 >> var_9 | var_5 << 0x20 - var_9) ^ var_8;
        var_7 = var_7 - *(int *)((long)var_14 + -8);
        var_9 = (type_4)var_8 & 0x1f;
        var_6 = (var_7 >> var_9 | var_7 << 0x20 - var_9) ^ var_6;
        var_8 = (var_6 * 2 + 1) * var_6;
        var_8 = var_8 * 0x20 | var_8 >> 0x1b;
        var_10 = (var_13 * 2 + 1) * var_13;
        var_7 = var_10 * 0x20 | var_10 >> 0x1b;
        var_11 = var_11 - *(int *)((long)var_14 + -0xc);
        var_9 = (type_4)var_8 & 0x1f;
        var_10 = (var_11 >> var_9 | var_11 << 0x20 - var_9) ^ var_7;
        var_12 = var_12 - *(int *)((long)var_14 + -0x10);
        var_9 = (type_4)var_7 & 0x1f;
        var_8 = (var_12 >> var_9 | var_12 << 0x20 - var_9) ^ var_8;
        var_7 = (var_8 * 2 + 1) * var_8;
        var_5 = var_7 * 0x20 | var_7 >> 0x1b;
        var_7 = (var_10 * 2 + 1) * var_10;
        var_12 = var_7 * 0x20 | var_7 >> 0x1b;
        var_6 = var_6 - *(int *)((long)var_14 + -0x14);
        var_9 = (type_4)var_5 & 0x1f;
        var_7 = (var_6 >> var_9 | var_6 << 0x20 - var_9) ^ var_12;
        var_13 = var_13 - *(int *)((long)var_14 + -0x18);
        var_9 = (type_4)var_12 & 0x1f;
        var_5 = (var_13 >> var_9 | var_13 << 0x20 - var_9) ^ var_5;
        var_14 = (type_2 *)((long)var_14 + -0x20);
      } while (var_1 != var_14);
      var_15 = (var_1->des).ek[0];
      var_16 = (var_1->des).ek[1];
      *(type_5 *)var_3 = var_5;
      *(type_5 *)(var_3 + 4) = var_8 - var_15;
      *(type_5 *)(var_3 + 8) = var_7;
      *(type_5 *)(var_3 + 0xc) = var_10 - var_16;
      return 0;
    }
                    /* WARNING: Subroutine does not return */
    var_2("ct != NULL","src/ciphers/rc6.c",0xb9);
  }
                    /* WARNING: Subroutine does not return */
  var_2("pt != NULL","src/ciphers/rc6.c",0xb8);
}


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

undefined8 MASKED(int *param_1,uint *param_2,int *param_3)

{
  int iVar1;
  int iVar2;
  byte bVar3;
  uint uVar4;
  uint uVar5;
  int *piVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  uint uVar12;
  
  if (param_3 == (int *)0x0) {
                    /* WARNING: Subroutine does not return */
    crypt_argchk("skey != NULL","src/ciphers/rc6.c",0xb7);
  }
  if (param_2 != (uint *)0x0) {
    if (param_1 != (int *)0x0) {
      uVar12 = param_1[1];
      uVar5 = param_1[3];
      uVar7 = *param_1 - param_3[0x2a];
      uVar4 = param_1[2] - param_3[0x2b];
      piVar6 = param_3 + 0x28;
      do {
        uVar10 = (uVar7 * 2 + 1) * uVar7;
        uVar11 = uVar10 * 0x20 | uVar10 >> 0x1b;
        uVar10 = (uVar4 * 2 + 1) * uVar4;
        uVar10 = uVar10 * 0x20 | uVar10 >> 0x1b;
        bVar3 = (byte)uVar11 & 0x1f;
        uVar9 = (uVar12 - piVar6[1] >> bVar3 | uVar12 - piVar6[1] << 0x20 - bVar3) ^ uVar10;
        bVar3 = (byte)uVar10 & 0x1f;
        uVar11 = (uVar5 - *piVar6 >> bVar3 | uVar5 - *piVar6 << 0x20 - bVar3) ^ uVar11;
        uVar12 = (uVar11 * 2 + 1) * uVar11;
        uVar10 = uVar12 * 0x20 | uVar12 >> 0x1b;
        uVar12 = (uVar9 * 2 + 1) * uVar9;
        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;
        bVar3 = (byte)uVar10 & 0x1f;
        uVar8 = (uVar7 - piVar6[-1] >> bVar3 | uVar7 - piVar6[-1] << 0x20 - bVar3) ^ uVar12;
        bVar3 = (byte)uVar12 & 0x1f;
        uVar10 = (uVar4 - piVar6[-2] >> bVar3 | uVar4 - piVar6[-2] << 0x20 - bVar3) ^ uVar10;
        uVar12 = (uVar10 * 2 + 1) * uVar10;
        uVar12 = uVar12 * 0x20 | uVar12 >> 0x1b;
        uVar5 = (uVar8 * 2 + 1) * uVar8;
        uVar4 = uVar5 * 0x20 | uVar5 >> 0x1b;
        bVar3 = (byte)uVar12 & 0x1f;
        uVar5 = (uVar11 - piVar6[-3] >> bVar3 | uVar11 - piVar6[-3] << 0x20 - bVar3) ^ uVar4;
        bVar3 = (byte)uVar4 & 0x1f;
        uVar12 = (uVar9 - piVar6[-4] >> bVar3 | uVar9 - piVar6[-4] << 0x20 - bVar3) ^ uVar12;
        uVar4 = (uVar12 * 2 + 1) * uVar12;
        uVar7 = uVar4 * 0x20 | uVar4 >> 0x1b;
        uVar4 = (uVar5 * 2 + 1) * uVar5;
        uVar9 = uVar4 * 0x20 | uVar4 >> 0x1b;
        bVar3 = (byte)uVar7 & 0x1f;
        uVar4 = (uVar10 - piVar6[-5] >> bVar3 | uVar10 - piVar6[-5] << 0x20 - bVar3) ^ uVar9;
        bVar3 = (byte)uVar9 & 0x1f;
        uVar7 = (uVar8 - piVar6[-6] >> bVar3 | uVar8 - piVar6[-6] << 0x20 - bVar3) ^ uVar7;
        piVar6 = piVar6 + -8;
      } while (param_3 != piVar6);
      iVar1 = *param_3;
      iVar2 = param_3[1];
      *param_2 = uVar7;
      param_2[1] = uVar12 - iVar1;
      param_2[2] = uVar4;
      param_2[3] = uVar5 - iVar2;
      return 0;
    }
                    /* WARNING: Subroutine does not return */
    crypt_argchk("ct != NULL","src/ciphers/rc6.c",0xb9);
  }
                    /* WARNING: Subroutine does not return */
  crypt_argchk("pt != NULL","src/ciphers/rc6.c",0xb8);
}

