let xk_rightarrow                                  = 0x8fd