Countably_compact loading ...