let xk_notequal                                    = 0x8bd