let
xk_botintegral = 0x8a5