invariant.start.ll 2.25 KB