Issue #10: large-DFA support