Countably_compact_space loading ...