+"@@" fputc ('@', yyout);
+"@{" fputc ('[', yyout);
+"@}" fputc (']', yyout);
+
+"@oline@" fprintf (yyout, "%d", lineno + 1);
+"@ofile@" QPUTS (outname);
+"@output_parser_name@" QPUTS (parser_file_name);
+"@output_header_name@" QPUTS (spec_defines_file);
+
+ /* This pattern must not match more than the previous @ patterns. */
+@[^{}@\n]* fatal ("invalid @ in skeleton: %s", yytext);
+\n lineno++; ECHO;
+[^@\n]+ ECHO;
+
+<<EOF>> {
+ if (outname)
+ {
+ free (outname);
+ xfclose (yyout);
+ }
+ return EOF;