Gawk 3.1.6 bug - \xhh not interpreted properly

[Nielsen, Dan (GE, Corporate)]

# ZERROR10.AWK - \xhh not interpreted properly
# OS: Windows XP SP2 using GAWK 3.1.6
# How to run: GAWK -f C:\AWK\ZERROR10.AWK
BEGIN {
# NG: using AWK95,GAWK prints: ,orp"
print("\x22corp\x22")
# OK: using AWK95,GAWK,MAWK,TAWK prints: "corp"
print("\x22\x63orp\x22")
print("\"corp\"")
print("\042corp\042")
# as succinct as it gets
print("")
print("\x22corp\x22") # GAWK prints: ,orp"
print("\x22zorp\x22") # GAWK prints: "zorp"
# if the character following \x22 is 0-9 or a-f
# then the output is not as expected
}

Output:

,orp"
"corp"
"corp"
"corp"

,orp"
"zorp"

smime.p7s
Description: S/MIME cryptographic signature