let
xk_integral = 0x8bf