decode_escape :: String -> String