Profinite_group loading ...