Use uniform variable names in the three prng examples