fixed prev_prime() spec
fixed random generator seed