-rw-r--r-- 67 saferewrite-20241004/src/core_scale3sntrup761/ref/crypto_encode_761xint16.h raw
extern void crypto_encode_761xint16(unsigned char *,const void *);