text: #ifndef PQCLEAN_SNTRUP953_CLEAN_CRYPTO_ENCODE_953X2115_H
  #define PQCLEAN_SNTRUP953_CLEAN_CRYPTO_ENCODE_953X2115_H
  
  #include <stdint.h>
  #define PQCLEAN_SNTRUP953_CLEAN_crypto_encode_953x2115_STRBYTES 1317
  #define PQCLEAN_SNTRUP953_CLEAN_crypto_encode_953x2115_ITEMS 953
  #define PQCLEAN_SNTRUP953_CLEAN_crypto_encode_953x2115_ITEMBYTES 2
  
  void PQCLEAN_SNTRUP953_CLEAN_crypto_encode_953x2115(unsigned char *out, const void *v);
  #endif
  