#include "crypto_encode_857x3.h"

#define uint8 uint8_t

#define p 857

void PQCLEAN_SNTRUP857_CLEAN_crypto_encode_857x3(unsigned char *s, const void *v) {
    const uint8 *f = v;
    uint8 x;
    int i;

    for (i = 0; i < p / 4; ++i) {
        x = (uint8) (*f++ + 1);
        x = (uint8) (x + ((*f++ + 1) << 2));
        x = (uint8) (x + ((*f++ + 1) << 4));
        x = (uint8) (x + ((*f++ + 1) << 6));
        *s++ = x;
    }
    x = *f++ + 1;
    *s++ = x;
}