Discrete_random_variable loading ...