Annotate start state.