added prng seeding snippet