It seems like an accident that states have both names and numbers. The state
engine transitions are in terms of numbers, which are not used anywhere else,
but which have to remain consistent.
engine transitions are in terms of numbers, which are not used anywhere else,
but which have to remain consistent.