let
xk_abovedot = 0x1ff