ntoks1           1880 maint/gnulib/lib/dfa.c         idx_t ntoks1 = nsubtoks (dfa, tindex - 1);
ntoks1           1881 maint/gnulib/lib/dfa.c         return 1 + ntoks1 + nsubtoks (dfa, tindex - 1 - ntoks1);