HASH_PRNG_MAX_SEEDLEN
ctx->seedlen = HASH_PRNG_MAX_SEEDLEN;
unsigned char V[HASH_PRNG_MAX_SEEDLEN];
unsigned char C[HASH_PRNG_MAX_SEEDLEN];
ctx->seedlen = HASH_PRNG_MAX_SEEDLEN;
unsigned char vtmp[HASH_PRNG_MAX_SEEDLEN];