Derek Egolf, Sam Lasser, Kathleen Fisher: Verbatim++: verified, optimized, and semantically rich lexing with derivatives. CPP 2022: 27-39