Hurwitz_integer loading ...