let
xk_rightmiddlesummation = 0x8b7