We could use the symbolic constant AutomatonState.START here for clarity.