Countably_barrelled_space loading ...