Weil_group loading ...