Weakly_compact_cardinal loading ...