let
xk_minus = 0x02d