Made verbatim string literals tokens (to allow whitespace after)