console.log lexing position