Wallman_compactification loading ...