Rational_homology_sphere loading ...