don't see anything since /dev/random doesn't really need more seeding