On 01/30/2018 03:45 PM, Karl Williamson wrote: > o for now, I just changed the regular translator to first use the dfa. > This yields modest improvements. By 2b9519f04ca8ec89b5551bc43e2f67de293a9679