342 kwset.c 56 dfa.c