Utility class whose only role is to allow the default state construct to work. (default state { ... } and default state label).
default state { ... }
default state label
Declare that the default state is another labeled state, whose label is provided afterwards.
Create a state.