Locally_finite_group loading ...