Create a state.
Declare that the default state is another labeled state, whose label is provided afterwards.