Don't use the @pgen@ random number generator for generating primes: it's