let xk_abovedot            = 0x1ff