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