Baire_measure loading ...