Don't initialize PRNG every time through.