part of lex.mll