Loop_invariant loading ...