henstepl

`%option noyyset_extra` works fine on non-reentrant scanners, but it generates uncompilable reentrant scanners. The error is the existence of `yyset_extra (yy_user_defined, &dummy_yyguts);` and `yyset_extra (yy_user_defined, *ptr_yy_globals);` in `yylex_init_extra` function. I...