PRNG_RESEED_LIMIT_SHA512_LOWER
if (limit < PRNG_RESEED_LIMIT_SHA512_LOWER)
else if (prng_reseed_limit < PRNG_RESEED_LIMIT_SHA512_LOWER)