%option noyywrap %option nodefault %option noyylineno %% %% int read_config(const char * const file) { return 0; }