Use the interface of the random generator in the specification.