let
xk_equal = 0x03d