Locally_compact_space loading ...