extern void crypto_decode_761xint16(void *,const unsigned char *);