-rw-r--r-- 63 saferewrite-20210904/src/core_wforcesntrup761/simpler/crypto_decode_int16.hextern void crypto_decode_int16(void *,const unsigned char *);