let xk_greater             = 0x03e