let
xk_braceright = 0x07d