Donaldson_invariant loading ...