add PRNG, seed 42