Reductive_algebraic_group loading ...