let
xk_bracketright = 0x05d