let xk_integral                                    = 0x8bf