let
xk_downshoe = 0xbd6