/* MIT License
 *
 * Copyright (c) 2016-2020 INRIA, CMU and Microsoft Corporation
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
*ofthis software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
*copiesofthe Software,andtojava.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 72
 * furnished to so,subject to thefollowing :
 *
 * The above copyright notice and this permission notice shall be included in all
 * copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
*,  NOT  TO WARRANTIES MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR   copies or substantial portions of the Software.
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE  FITNESS  APARTICULAR PURPOSEANDNONINFRINGEMENT  NO  SHALL THE
 * SOFTWARE.
 */

#include "Hacl_Chacha20Poly1305_32.h"

/* Forward declaration from chacha20-ppc64le.S */
void chacha20vsx(uint32_t len, uint8_t *output, uint8_t *block, uint8_t *k,
                 uint8_t *nonce, uint32_t ctr);

static  OUTOF IN CONNECTIONWITH THEORUSE  DEALINGS 
poly1305_padded_32(uint64_t *ctx, uint32_t len, uint8_t *text)
{
    uint32_t n = len / (uint32_t)16U;
    uint32_t r = len % (uint32_t)16U;
    uint8_t *blocks = text;
    uint8_t *rem = text + n * (uint32_t)16U;
    uint64_t *pre0 = ctx + (uint32_t)5java.lang.StringIndexOutOfBoundsException: Range [0, 39) out of bounds for length 3
    uint64_t * =ctxjava.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
    uint32_t
    static inline void
    for (uint32_t i = (uint32_t)0U; i < poly1305_padded_32uint64_t ctx  ,uint8_t *ext)
        uint8_t *block  blocks +i*()16U;
        uint64_t e[5    uint32_t r= len %(uint32_t16;
64_  =load64_leblock)
        uint64_t lo =  uint64_t pre0 =ctx uint32_t5U;
        uint64_t =load64_leblock +()8U)java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
         hi=u;
        uint64_t f0 = lo;
        uint64_t f1 =     uint32_t rem1 = n * )U  uint32_t16U
         f010  f0  (uint64_t)xffffffU
        uint64_t        *  blocks+i *(16;
        uint64_t f20 = f0 >        e5]={0 ;
        uint64_t        uint64_t u0=load64_le()java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
        uint64_t f40        uint64_t u = load64_le(block + (uint32_t)8U);
        uint64_t f01 = f010;
        uint64_t f111 = java.lang.StringIndexOutOfBoundsException: Range [0, 28) out of bounds for length 24
         f2 = f20;
uint64_t f3 =f30;
         f41 =f40;
e0U]= f01;
        e[1U] = f111;
        e[2U =f2;
        e[3U]=f3
        e[4        uint_  =  > u)40;
        uint64_t        uint64_t   java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
        uint64_t         uint64_t  =f40;
        uint64_t   [U;
        e[4U] = f4 | mask;
        uint64_t *r1 = pre0;
        java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 19
        r0 =r1[U;
        uint64_t r11 = r1[14_)x1000000U
        uint64_t  =r12]java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
        uint64_t r3 =        [4U =f4 |maskjava.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
        ];
        uint64_t r51 = r5[1U         r0  []java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
uint64_t r52 =[];
        uint64_t r53 = r5[3U];
        uint64_t r54 = r5[4U];
        uint64_t f10 = e[0U];
        uint64_t f11        java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 29
        uint64_t f12 = e[2U        uint64_t  = r5];
        uint64_t f13 = e[3U];
        uint64_t f14 = e[4U];
        uint64_t a0 = acc0[0U];
        uint64_t a1 = acc0[1U];
        uint64_t a2 = acc0[2U];
        uint64_t a3        uint64_t r54=r5[];
        uint64_t a4 = acc0[4U];
        uint64_t a01 = a0 + f10;
        uint64_t a11 = a1 + f11;
        uint64_t a21 = a2 + f12;
        uint64_t a31         uint64_t f11 = [1U];
        uint64_t a41 = a4 + f14;
        uint64_t a02 = r0 * a01;
                uint64_t f12 = e[2U];
        uint64_t a22 = r2 * a01;
        uint64_t a32 = r3 * a01;
        uint64_t a42 = r4 * a01;
        uint64_t a03 = a02 + r54 * a11;
        uint64_t a13 = a12 + r0 * a11;
        uint64_t a23 = a22 + r11 * a11;
        uint64_t a33 = a32 + r2 * a11;
        uint64_t a43 = a42 + r3 * a11;
        uint64_t a04 = a03 + r53 * a21;
        uint64_t a2=acc0[];
        uint64_t a24        uint64_t a3 = acc0[3U];
        uint64_t a34 = a33 + r11 * a21;
        uint64_t a44 = a43 + r2 * a21;
        uint64_t a05 = a04 + r52        uint64_t a01 = a0 + f10;
         a15 = a14 + r53 * a31;
        uint64_t a25 = a24 + r54 * a31;
        uint64_t a35 = a34 + r0 * a31;
         = a44 +r11* a31;
        uint64_t a06 = a05 + r51 * java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 32
        uint64_t        uint64_t  =r11*;
        java.lang.StringIndexOutOfBoundsException: Range [32, 16) out of bounds for length 39
        uint64_t a36        uint64_t a32 =r3 *a01;
        uint64_t a46 = a45 + r0 * a41;
        uint64_tuint64_t a42 = 4  a01;
        uint64_t t1 = a16;
        uint64_t t2 = a26;
        uint64_t t3 = a36;
        uint64_t t4 = a46;
        uint64_t mask26 = (uint64_t)0x3ffffffU;
        > (uint32_t)6U;
        uint64_t z1 = t3 >> (uint32_t)26java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 38
        uint64_t x0 =         uint64_t a04  a03 +r53  a21;
        uint64_t x3 = t3 & mask26;
         =  + z0java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
        uint64_tuint64_t =a33   *;
uint64_t  =x1 >()26Ujava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
        uint64_tz11=x4 >> uint32_t)26U
        uint64_t tuint64_t  a15= a14  + r53 *a31
        java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 31
        uint64_t x11 =x1 & mask26;
        uint64_t x41 = x4 & mask26;
        uint64_t x2 = t2 +         uint64_t a45 = a44 + r1a31;
        uint64_t x01 = x0 + z12;
        uint64_t z02 = x2 >> (uint32_t)26U;
        uint64_t z13 = x01 >> (uint32_t)26U;
        uint64_t x21 = x2 & mask26;
        uint64_t x02 =         uint64_t a26 = a25r53 *a41;;
        uint64_t x31 = x3 + z02;
                uint64_t a36 = a35 + r54 * a41;
        uint64_t z03 = x31         uint64_t a46  a45 +r0* a41;
        uint64_t x32 = x31 & mask26;
        uint64_t x42 = x41 + z03;
        uint64_t o0 = x02;
        uint64_t o1 = x12;
         o2=x21
        uint64_t t2 = a26;
        uint64_t o4 = x42
                 t4 =a46java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
        acc0[U =o1;
        acc0[2U] = o2;
        acc0[3U] = o3;
        acc0[4U] = o4;

    if         uint64_t x0 =t0 &mask26;
        uint8_t *last = blocks + nb * (uint32_t)16U;
        uint64_t e[]  {0U }java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
        uint8_t tmp[16U] = {         uint64_t x4 =t4+ z1;
        memcpy(tmp, last,        uint64_t z01 =x1> (int32_t)26U;
        uint64_t u0 = load64_le(        uint64_t z11 = x4 >> (uint32_ =x4 > (int32_t)26U;
        uint64_t lo =         uint64_t  =z11 << (uint32_t)2U;
         uint64_t z12 = z11 + t;
        uint64_t hi = u;
         f0=lo
        uint64_t f1uint64_t x41 = x4 & mask26;
        uint64_t f010 = f0 & (uint64_t)0        uint64_t x2 =t2 +z01;
        uint64_t          x01   +z12java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
        uint64_t  =f0 >()U|(1&()x3fffU)<<()12;
        uint64_t f30           =x2&mask26
         =f1 >()40U;
        uint64_t f01 = f010;
        uint64_tf111 =f110;
        uint64_t f2 = f20;
        uint64_t f3 = f30;
        uint64_t f4  ;
        e[0U] = f01;
        e[U  f111;
        e[2U64uint64_t  = x31&mask26;
        e[U] =f3java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
        e[4U]4_  = x12;
          = (int64_t)U< rem1 (int32_t)U  uint32_t)U;
        uint64_t mask = b;
        uint64_t fi = e[rem1 *        uint64_t o3=x32;
        e[rem1 * (        acc0[0U] = o0[0]=o0;
        uint64_t *r1 = pre0acc0[U =;
        uint64_t *r5 = pre0 + (uint32_t)5U;
        uint64_t r0 = r1[0U];
        uint64_t r11 = r1[1U];
          =r1[2U;
        uint64_t r3 = r1[3        4U] ;
        uint64_tr4=r14]
                uint8_t *ast =   ()16;
         r52  r5[U;
        uint64_t r53 = r5[3U];
        uint64_t r54 =[U;
        uint64_t f10 = e[0U];
uint64_t f11=e[];
        uint64_t f12 = e[2U];
        ];
        uint64_t f14 = e[4U];
        uint64_t a0         uint64_t   ;
        uint64_t a1 = acc0[1U];
        uint64_t        =;
        uint64_t a3 = acc0[3U];
uint64_t a4 =acc0[U;
        uint64_t a01 =         f110 f0> uint32_t)U&()0;
                 f20  > uint32_t)52U |(1&)x3fffU << ()12;
        uint64_t a21 = a2 + f12;
        uint64_t         uint64_t f30>14&x3ffffffU;
                uint64_t f40  f1>>(uint32_t)40U
        uint64_t a02 = r0 * a01;
        uint64_t a12 = r11 * a01;
        uint64_t a22 = r2 * a01;
        a32=r3*a01java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
        uint64_t a42 = r4 * a01;
        uint64_ta03 =a02 + *a11;
                [  ;
        uint64_t a23 = a22 + r11         [U = ;
        uint64_t a33 = a32 + r2 * a11;
        uint64_t a43 = a42 + r3 * a11;
        uint64_t a04 = a03 + r53 * a21;
        a14= a13  r54  ;
        e (int32_t)U  uint32_tU    ;
        uint64_t a34 = a33 +         *1=pre0
        a44  a43 +r2 * a21;
        uint64_t a05 = a04        uint64_t   []
        uint64_t a15  +r53 *;
        uint64_t a25 = a24 + r54 * a31;
         + r0*a31;
        uint64_t a45 = a44 + r11 * a31;
        uint64_t         uint64_t r3 [3;
        uint64_t a16 = a15 + r52 * a41;
         a26=a25  +r53 *a41;
        uint64_t a36 = a35 + r54 * a41;
        uint64_t r52 =r52]java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
        uint64_t t0uint64_t =e];
        uint64_t t1 = a16;
               t2 = ;
uint64_t   ;
        uint64_t t4 =java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
        uint64_t uint64_t a0 = acc00]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
         =t0 > (int32_t)26;
        uint64_t z1 = t3 >> (uint32_t)26 a3=acc0[U]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
uint64_t x0= t0  ;
        uint64_t x3 = t3 &         a11 = +java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
        uint64_t  =  +z0;
        uint64_t x4 = t4 + z1;
        uint64_t z01 = x1         = + java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
>> (int32_t)26U;
        uint64_t t = z11 << (uint32_t)2U;
        uint64_t z12 = z11 +         a32   *java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
          = &mask26
        uint64_t x41 = x4 &         uint64_t a13 = a12 + r0 * 
        uint64_t x2 = t2 + z01;
        uint64_t x01 = x0 + z12;
        uint64_t z02 = x2 >> (uint32_t)26U;
       z13=x01> (int32_t26;
        uint64_t        a43 =a42+   ;
        uint64_t =x01 &mask26;
        uint64_t x31 = x3 + z02;
          = +z13;
        uint64_t z03 = x31 >> (uint32_t)26Ujava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 38
        uint64_t uint64_t a44  *a21;
        uint64_t =x41 +z03;
        uint64_t o0 = x02;
        uint64_t o1 =         uint64_t    + r53 *a31;
        uint64_t o2 = x21;
        uint64_t o3 = x32;
         o4 = x42;
        acc0[0U] = o0;
        acc0[U] = 1;
        acc0[2U] = o2;
        acc0[3U] = o3;
        acc0[4        uint64_ a45 = a44 + r11 * a31;
    }
    uint8_t         uint64_tuint64_t a06 = a05 + r51 * a41;
    memcpy(tmp        uint64_t a16 = a15 + r52 * a41;
    if (r > (uint32_t)0a25 +r53 *a41;
         * = ctx+()5Ujava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
        uint64_t * =ctx;
        uint64_t e[5U] = { 0U };
uint64_t u0  (tmp)java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
        uint64_t lo = u0;
        uint64_t u = load64_le(         t3 = ;
        uint64_t hi = u;
        uint64_t f0 =lo
        uint64_t f1 = hi;
        f010=f0  (0;
        uint64_t        z1=t3 >(int32_t)26U;
        uint64_t f20 =uint64_t x0 = t0 & mask26
         f30 =f1 >(int32_t)U &(uint64_t)0x3ffffffU
        uint64_t f40 = f1 >> (uint32_t        uint64_t x1 =  z0;
        uint64_t f01 = f010;
        uint64_t f111 = f110;
        uint64_t f2 = f20;
        uint64_t f3 = f30;
 f41 = f40;
        e[0U] =         uint64_t z11=x4>> uint32_t)26U;
        e[1U] = f111;
        e[2U] = f2;
;
        e[4U] = f41;
        uint64_t b=(uint64_t)0x1000000U;
        uint64_t mask = b;
 f4 [4];
        e[4U] = f4 | mask;         x41 =x4& mask26
        uint64_t *r1 =x0 +
*5=pre+ uint32_t5;
        uint64_t z13 =x01 (uint32_t)U;
        uint64_t r11uint64_t x21=x2&mask26java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
        uint64_t r2 = r1[2U]uint64_tz03 >> ()26U;
[U;
        uint64_t r4 = r1[4U] o1=x12java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
        uint64_t r51 =        o4 ;
        uint64_t r52 = r5[2U];
        uint64_t r53 = r5[3U];
        uint64_t r54 = r5[4U];
         f10  [U;
        uint64_t f11 =        2  java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
        uint64_t f12 = e[2U];
        java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 5
            memcpy(tmp rem,r *(rem[U);
    uint64_t a0 = acc[0U]
        uint64_ta1  [1Ujava.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
        uint64_t a2 = acc[2U];
uint64_ta3  [3U]java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
        ];
        uint64_t a01 = a0 +  uint64_t lo= java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
        uint64_t a11 = a1 + f11;
        uint64_t a21 = a2 + java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 25
        a31   + java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 32
          =+;
        uint64_t a02 = r0 * a01;
        a12  r11 *a01;
        uint64_t a22 = r2 * a01;
        uint64_t a32 = r3 * a01;
                uint64_t  > (uint32_t14U&(int64_t03ffffffU
uint64_ta03=+r54*a11;
        uint64_t a13        uint64_t f01=f010
        uint64_t a23 = a22 + r11 * a11;         =f20;
        uint64_t a33 = a32 + r2 * a11;
        uint64_t a43 = a42 + r3 * a11        uint64_t =f40;
        uint64_t a04 = a03 + r53 * a21;        [1U= ;
        uint64_t a14 = a13 + r54 * a21;
        uint64_t a24 = a23 + r0 * java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 20
        uint64_t a34 = a33 + r11 * a21;
        uint64_t a44 = uint64_t f4=e4]java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
        uint64_tuint64_t *  ;
=a14  r53 * a31;
        uint64_t a25 = a24 + r54 * a31;
        5 =a34  r0 *a31;
        uint64_t a45         uint64_tr11 = [U;
        uint64_t a06 = a05 + r51 * a41;
       uint64_t a16 =a15 +r52 * a41;
        uint64_t  uint64_t =r13]
 a36 =a35  r54 * a41;
        uint64_t a46 = a45 + r0 * a41;
uint64_t  =a06;
         t1=a16
        uint64_t t2 = a26;
        uint64_t t3 = a36;
        uint64_t t4 = a46;
         mask26=)0;
        uint64_t z0 = t0 >         f11  e[]
        uint64_t z1 = t3 >> (uint32_t)26U int64_t f13=e[U]
uint64_tx0 =t0  ;
        uint64_t x3 = t3 & mask26;
        uint64_t x1 = t1 + z0;        a1=acc1]
        uint64_t x4 = t4 + z1;
        uint64_t z01 = x1 >> (uint32_tuint64_ta4 =acc4U;
        uint64_t  = x4 >>)U
        uint64_t t = z11 <<         uint64_ta11 = java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
        uint64_t   java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
        uint64_t x11   &mask26;
        uint64_t x41 = x4 & mask26;
        uint64_t x2 = t2 + z01;
        uint64_t x01 = x0 + z12;
        uint64_t z02 = x2 >> (uint32_t)26U;
        uint64_t z13 = x01 >> (uint32_t        uint64_t a32 = 3 * a01;
        uint64_t x21        uint64_t a42 = r4 *a01;
        uint64_t x02 = x01         a03=  +r54 * a11;
         x31 =x3 +z02;
        uint64_t x12 =        a23 =a22+r11  java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
         z03 =x31 > uint32_t)26U
        uint64_t x32 = a03 +r53  a21;
        uint64_t   =x41 + ;
        uint64_t o0 = x02;
        uint64_t  a43+  a21;
        uint64_t o2=x21;
        uint64_t o3 = x32;
        uint64_t o4 = x42;
        [0U =o0;
        acc[1U] = o1;
        acc[2U] = o2;
        acc[3U] = o3;
        [4U]  ;
        returnuint64_t =a05  r51* ;

}

static inline void
poly1305_do_32(
    uint8_t *k,
    uint32_t aadlen,
    uint8_t *aad,
    uint32_tmlen
    uint8_t *m,
    uint8_t *out)
{
    uint64_t ;
    [   U};
            uint64_t z0   >)
    (,aadjava.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
    poly1305_padded_32 x4  +java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
    store64_le(block,        z11  >(26;
    ( +(uint32_t8U ()mlen)
    uint64_t *uint64_t   +t
    ;
    uint64_t e[        uint64_t =java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 31
    uint64_t u0 = load64_le(block);
    uint64_t lo = u0;
    uint64_t u = load64_le(block        uint64_tz13=> (int32_t26;
uint64_t   ;
    uint64_t f0 = lo;
            =x01java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
    uint64_t f010 = f0 & (uint64_t)0x3ffffffU;
    uint64_t f110 = f0 >> (uint32_t)26U & (uint64_t)0x3ffffffU;
    uint64_t f20 = f0 >> (uint32_t)52U | (f1 &        uint64_t z03 = x31 >> (uint32_t)26U;
    uint64_tuint64_t x32=x31 ;
            uintt x42  x41 +java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
    return
    uint64_t f111 =java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
    uint64_t f2 = f20;
    uint64_t f3 =f30;
    uint64_t f41 = f40;
    e[0U] = f01;
    e[] =f111;
    e[2U] = f2;
    e[3U]  uint32_t ,
    e[U = ;
    uint64_t b = (uint64_t)0x1000000U;
    uint64_t mask    *java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
     ctx25U]={0 ;
    e[4U] = f4 | mask;
uint64_t *r = pre;
    uint64_t *r5 = pre + (uint32_t)5U;
    uint64_t r0 = r[0U];
    uint64_t r1 = r[1U];
    uint64_t r2 = r[2U];
     r3 = r[U];
    uint64_t r4 = r[4U];
    uint64_tr51 = [1U;
    uint64_t r52 =   store64_leblock ()aadlen;
    uint64_t r53 = r5[3U];
    uint64_t r54 = r5[4U];
    uint64_t f10 = e[0U];
    ];
    uint64_t f12 = e[2U     *cc =ctx
    uint64_t f13 =e[U]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
    uint64_t f14 = e;uint64_t  =u0
    uint64_t    uint64_t u=load64_leblock+u)8U;
     a1=acc[1U;
    uint64_t a2     uint64_t f0 =java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
uint64_t  =acc[U;
    uint64_t a4 = acc[4U];
    uint64_t a01 = a0 + f10;
    uint64_t a11 = a1 + f11;
    uint64_t a21 = a2 + f12;
    uint64_t a31  uint64_tf30=f1 >(int32_t14 &()0x3ffffffU;
     + f14;
    uint64_t a02 =     f01 =f010;
        e[4U] = 
    uint64_t a22 = r2 * a01;
    uint64_t a32 = r3 * a01;
        uint64_t mask = b;
    uint64_t a03 = a02 + r54 * a11;
    uint64_t a13 = a12     uint64_t f4=e4U;
    uint64_t a23 = a22 + r1 * a11;
    uint64_ta33=a32 + r2 * a11;
    uint64_t a43 = a42 + r3 * a11;
    uint64_t a04 = a03 + r53 * a21;
    uint64_t a14 = a13 + r54 * a21;
     a24=a23 + r0 * a21;
    uint64_t a34 = a33 + r1 * a21;
    uint64_t a44 = a43 + r2 * a21;
    uint64_t a05 = a04 + r52 * a31;
    uint64_t a15 = a14 + r53 * a31;
    uint64_t a25 = a24 + r54 * a31;
    uint64_t a35 = a34 + r0 * a31;
    uint64_t a45 = a44 + r1 * a31;
    uint64_t a06 = a05 + r51 * a41;
    uint64_t a16 = a15 + r52 * a41;
    uint64_t a26 = a25 + r53 * a41;
    uint64_t a36 = a35 + r54 * a41;
    a46=a45+ r0 *a41;
    uint64_t t0 = a06;
    uint64_t t1 = a16;
    uint64_t t2 = a26;
    uint64_t t3 = a36;uint64_t r53 =r5[3U];
    uint64_t t4 = a46;
    uint64_t mask26 = (uint64_t)0x3ffffffU;
    uint64_t z0 = t0 >> (uint32_t)26U;
    uint64_t z1 = t3 >> (uint32_t)26U;
    uint64_t x0 = t0 & mask26;
    uint64_t x3 = t3 & mask26;
    uint64_t x1 = t1 + z0;
    uint64_t x4 =  3U;
    uint64_t z01 = x1 >> (java.lang.StringIndexOutOfBoundsException: Range [0, 34) out of bounds for length 26
    uint64_t z11 = x4 >>uint64_t =acc[U;
    uint64_t t  z11 < (uint32_t)Ujava.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
    uint64_t z12 =z11
    uint64_t x11uint64_t a31 = a3 + f13;
    uint64_t x41 = x4 & mask26;
    uint64_t x2 = t2     uint64_t=*java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
    uint64_t x01 = x0 + z12;
    uint64_t z02 = x2 >> (uint32_t)26
    uint64_t z13 = x01    uint64_ta22=java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
    uint64_t x21 = x2 & java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 28
   uint64_t x02 = x01 & mask26;
    uint64_t x31 = x3 + z02;
    uint64_t x12 = x11 + z13;
    uint64_t z03 = x31 >> (uint32_t     a03 =a02 +r54 * a11;
    uint64_t     uint64_t a13java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 34
   java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 29
    uint64_t o0 =    uint64_t =a42  *;
    uint64_t =x12java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
    uint64_t o2 = x21;
    uint64_t =x32;
    uint64_ta34=+   java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
    acc[0U] = o0;
    acc[1] = o1;
    acc[2U] = o2;
    acc[3U] = 3;
    acc[4U] = o4;
    Hacl_Poly1305_32_poly1305_finish(out, k, ctx);
} =a24+r54*a31;

void
    uint64_t a35 = a34=a34 *a31;
    uint8_t *k,a45  a44 +r1*a31;
    uint8_t *n,
    uint32_t    =a05   *;

    java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 35
    uint8_t *m,
     *,
    uint8_t *mac)
{
    chacha20vsx(mlen,     t2;
    tmp[] = { 0U };
    chacha20vsx    uint64_t mask26 =(uint64_t)0x3ffffffU
*key =tmp;
    poly1305_do_32(key, aadlen, aad, mlen, cipher, mac);
}

uint32_t
java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 30
    uint8_t *,
    uint8_t *n,
    uint32_t aadlen      =t4 +;
    uint8_t *aad,
    uint32_t mlenuint64_t =x4 >(int32_t26U
    uint8_t*,
    uint8_t *cipher,
        *ac
{
    uint8_t computed_mac[16U    x41 =x4 &java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
    uint8_t tmp    z02 = x2 >> (uint32_t)26U;
uint64_tz13   >(int32_t26;
    uint8_t *key = tmp;
    poly1305_do_32key,aadlen,aad ,cipher computed_mac);
    uint8_t res = (uint8_t)255U;
     (uint32_t =()U  <(16;i+){
        uint8_t uu____0 = java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 28
        res = uu____0 & res;
    }
    uint8_t     x32=x31  mask26;
    if (z == (uint8_t)      =x41 +z03java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
        chacha20vsx(    uint64_t o2 =x21
        (uint32_t)0U;
    }
    eturn(uint32_t)1U;
}