Standard_probability_space loading ...