-rw-r--r-- 63 saferewrite-20210903/src/core_weightsntrup761/avx/crypto_encode_int16.h
extern void crypto_encode_int16(unsigned char *,const void *);