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