copytoks         1916 maint/gnulib/lib/dfa.c             copytoks (dfa, tindex, ntokens);
copytoks         1921 maint/gnulib/lib/dfa.c             copytoks (dfa, tindex, ntokens);