Add DFA save/load code