RANDOM_START
for (int i = RANDOM_START; i <= RANDOM_ENVIRONMENTAL_END; i++)
KASSERT(origin >= RANDOM_START && origin < ENTROPYSOURCE,
KASSERT(origin >= RANDOM_START && origin < ENTROPYSOURCE, ("%s: origin %d invalid\n", __func__, origin));