let
xk_rightpointer = 0xaeb