let xk_rightdoublequotemark                        = 0xad3