let
xk_implies = 0x8ce