let xk_topintegral                                 = 0x8a4