When Are Lexer Modes Useful? (2017)(oilshell.org)

https://www.oilshell.org/blog/2017/12/17.html