NIST_HASH_DRBG_RESEED_INTERVAL
if (D->reseed_counter > NIST_HASH_DRBG_RESEED_INTERVAL)
CTASSERT(0 < NIST_HASH_DRBG_RESEED_INTERVAL);
CTASSERT(NIST_HASH_DRBG_RESEED_INTERVAL <= INT_MAX);
CTASSERT(NIST_HASH_DRBG_RESEED_INTERVAL <= ~(~0ull << 48));