lexer: next_token() handles backslashes inside (strings) appropriately.