Inclusion of example for prng bug