Pseudocompact_space loading ...