everything compiles, to_dfa doesn't work