Linear_arithmetic loading ...