Normal_random_vector loading ...