unsigned char *p;
static void sha512_mpint(SHA512_State * s, Bignum b){    unsigned char *p;    unsigned char lenbuf[4];    int len;    len = (bignum_bitcount(b) + 8) / 8;    PUT_32BIT(lenbuf, len);    SHA512_Bytes(s, lenbuf, 4);    while (len-- > 0) {	lenbuf[0] = bignum_byte(b, len);	SHA512_Bytes(s, lenbuf, 1);    }    memset(lenbuf, 0, sizeof(lenbuf));}