Hasse_invariant_of_a_quadratic_form loading ...