let xk_greaterthanequal                            = 0x8be