dfa test, find int buffer bug