Fixed dfa id