A working lexer