let
xk_notequal = 0x8bd