Free_group loading ...