replace every occurrence of raw string '\\' in the result with string '\\', return the result. call the function allow_lazy with an argument unescape_string_literal, substitute the result for unescape_string_literal.
unescape_string_literal = allow_lazy ( unescape_string_literal )