let
xk_righttack = 0xbfc