write lexers of Tiger use lex