rand_gauss
initiates a random sequence with the pair of seeds (12345, 6789012), and generates one number out of the normal deviate.