ok lexing prototype