Standard_deduction loading ...