%option never-interactive
%{
+#include <assert.h>
+#include <limits.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
Message(M_FATAL,"config file %s line %d: %s\n",config_file,
config_lineno,"``include'' requires a filename");
BEGIN(INITIAL);
+ assert(config_lineno < INT_MAX);
++config_lineno;
++yynerrs;
}