let
xk_greaterthanequal = 0x8be