let xk_quotedbl            = 0x022