don't keep seeding random number generators