Locally_cyclic_group loading ...