let xk_lessthanequal                               = 0x8bc