#include "crypto_decode_857xint16.h"


void PQCLEAN_SNTRUP857_AVX2_crypto_decode_857xint16(void *v, const unsigned char *s) {
    uint16_t *x = v;
    int i;

    for (i = 0; i < 857; ++i) {
        uint16_t u0 = s[0];
        uint16_t u1 = s[1];
        *x = (uint16_t) (u0 | (u1 << 8));
        x += 1;
        s += 2;
    }
}