Baire_space loading ...