diff -r 9e42ccbbd1e6 -r acd8780bfc8b progs/dfa.scala