let
xk_rightshoe = 0xbd8