The 256th state (state 0xFF) is always considered an invalid state. State changes to this state will always be rejected, no matter what.

On the extremely unlikely scenario that your object code has over 255 states, a compiler warning will be thrown regarding this invalid state.