let
xk_upshoe = 0xbc3