convert a string literal `s` with values `\\` to raw string literal,"s = s.replace('\\', '\\\\')"