Class_invariant loading ...