mercury/extras/lex
