encapsulated type State = enumeration(upperSat "Upper limit reached", lowerSat "Lower limit reached", notSat "u is in range");