Lexer: optimized encodeUTF8().