#4123 invariant values