Using PY's lexer