simple re2nfa