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