let
incr_xi = incr