Arf_invariant_of_a_knot loading ...