There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
EOF is not reached in non-INITIAL state
(Previously I added ill-formed ticket. Since I don't know how to delete, I now change it content to valid one, sorry for confusion).
Consider such rules (see the attached file).
Uncomment/comment the line which switches STR state. In initial state EOF is reached, in non-INITIAL state it is not, and thus the user is not able to run any on-EOF code (yes, I know the trick with moving the code to the main part, out of scope of lexer).