We now need a good PRNG