String escape sequences are treated inconsistently in the codepad:
"Hello \"World\"." shows
That is: for double quotes, the escape sequence is interpreted, while for double-backslash the raw string is shown.
I think it should always show the escaped characters; the first one should show the backslashes before the quotes.