StringDFA tuning
.