Hurwitz_quaternion loading ...