pub trait InitialState { }
Marker for creating a new initial state. This trait enforces that only the initial state can be created manually while all others must be created through a proper state transition.