let
xk_greater = 0x03e