#ifndef PQCLEAN_NTRULPR653_CLEAN_CRYPTO_ENCODE_653XINT16_H #define PQCLEAN_NTRULPR653_CLEAN_CRYPTO_ENCODE_653XINT16_H #include <stdint.h> #define PQCLEAN_NTRULPR653_CLEAN_crypto_encode_653xint16_STRBYTES 1306 #define PQCLEAN_NTRULPR653_CLEAN_crypto_encode_653xint16_ITEMS 653 #define PQCLEAN_NTRULPR653_CLEAN_crypto_encode_653xint16_ITEMBYTES 2 void PQCLEAN_NTRULPR653_CLEAN_crypto_encode_653xint16(unsigned char *s, const void *v); #endif