let
xk_less = 0x03c