let
xk_downtack = 0xbc2