Experimenting with random generation