Switched to smaller PRNG