Lehmer_random_number_generator loading ...