DRBG_SEED_STATE_PARTIAL
(drbg->seeded == DRBG_SEED_STATE_PARTIAL ||
case DRBG_SEED_STATE_PARTIAL:
new_seed_state = DRBG_SEED_STATE_PARTIAL;