let
xk_lessthanequal = 0x8bc