pub const INVALID_STATE: u32 = u32::MAX; // 4_294_967_295u32
Sentinel state id used to mark “no transition on this byte.”