let xk_botintegral                                 = 0x8a5