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