Stable_cohomotopy_theory loading ...