Pseudo-random_number_generator loading ...