Pseudorandom_number_generator loading ...