start of template for DFA