let
xk_quotedbl = 0x022