+ fprintf(ftable, "\n};\n#endif\n\n");
+
+ if (toknumflag || noparserflag)
+ {
+ fprintf(ftable, "#define YYNTOKENS %d\n", ntokens);
+ fprintf(ftable, "#define YYNNTS %d\n", nvars);
+ fprintf(ftable, "#define YYNRULES %d\n", nrules);
+ fprintf(ftable, "#define YYNSTATES %d\n", nstates);
+ fprintf(ftable, "#define YYMAXUTOK %d\n\n", max_user_token_number);
+ }
+
+ if (! toknumflag && ! noparserflag)
+ fprintf(ftable, "\n#if YYDEBUG != 0\n\n");