#ifndef PQCLEAN_SNTRUP857_AVX2_CRYPTO_ENCODE_857X5167_H #define PQCLEAN_SNTRUP857_AVX2_CRYPTO_ENCODE_857X5167_H #include <stdint.h> #define PQCLEAN_SNTRUP857_AVX2_crypto_encode_857x5167_STRBYTES 1322 #define PQCLEAN_SNTRUP857_AVX2_crypto_encode_857x5167_ITEMS 857 #define PQCLEAN_SNTRUP857_AVX2_crypto_encode_857x5167_ITEMBYTES 2 void PQCLEAN_SNTRUP857_AVX2_crypto_encode_857x5167(unsigned char *out, const void *v); #endif