let
xk_rightarrow = 0x8fd