[bug-gawk] How to unescape a string?

[Peng Yu]

Hi,

I have a string in which the double quote character is escaped as \"
(baskslash character and double quote character) and the backslash
character is escaped as \\ (double backslash). Does anybody know a
simple way to unescape such a string in awk? (The following is a
simple example of the input and the output.) Thanks.

a\\b\" -> a\b"

-- 
Regards,
Peng