#4123 invariant values
#4123 invariant values