anchor.diff:                    ?DBG_ASSERT(MyKVItems =/= []),
                     {ToSend1, ToReqIdx1, OBucketTree1} =
                         get_full_diff(
  -                        MyKVItems, OBucketTree, ToSend, [], SigSize, VSize),
  +                        MyKVItems, OBucketTree, ToSend, [], SigSize, util:pow(2, VSize)),
                     ReqIdx = lists:usort(
                                [Idx || {_Version, Idx} <- mymaps:values(OBucketTree1)]
                                    ++ ToReqIdx1),
  
positive.code:     ?TRACE("resolve_req ~s Session=~p ; ToReq= ~p bytes",
             [_RMethod, rr_recon_stats:get(session_id, NewStats1), erlang:byte_size(ToReq2)]),
      comm:send(DestReconPid, {resolve_req, ToReq2}),
      % the initiator will use key_upd_send and we must thus increase
      % the number of resolve processes here!
      if ReqIdx =/= [] ->
             rr_recon_stats:inc([{rs_expected, 1}], NewStats1);
  
negative.code: %%      and the entry in MyEntries has a newer version than the one in the tree
  %%      and returns them as FBItems. ReqItems contains items in the tree but
  %%      where the version in MyEntries is older than the one in the tree.
  %%      VMod = 2^(number of bits)
  %% @see get_full_diff/6
  -spec get_part_diff(MyEntries::db_chunk_kv(), MyIOtherKvTree::kvi_tree(),
                      AccFBItems::[?RT:key()], AccReqItems::[non_neg_integer()],
                      SigSize::signature_size(), VMod::pos_integer())
          -> {FBItems::[?RT:key()], ReqItemsIdx::[non_neg_integer()],
              MyIOtherKvTree::kvi_tree()}.
  get_part_diff([], MyIOtKvTree, FBItems, ReqItemsIdx, _SigSize, _VMod) ->
      {FBItems, ReqItemsIdx, MyIOtKvTree};
  get_part_diff([{Key, Version} | Rest], MyIOtKvTree, FBItems, ReqItemsIdx, SigSize, VMod) ->
      {KeyShort, VersionShort} = compress_kv_pair(Key, Version, SigSize, VMod),
      case mymaps:find(KeyShort, MyIOtKvTree) of
          error ->
              get_part_diff(Rest, MyIOtKvTree, FBItems,
                            ReqItemsIdx, SigSize, VMod);
          {ok, {OtherVersionShort, Idx}} ->
              MyIOtKvTree2 = mymaps:remove(KeyShort, MyIOtKvTree),
              if VersionShort > OtherVersionShort ->
                     get_part_diff(Rest, MyIOtKvTree2, [Key | FBItems],
                                   ReqItemsIdx, SigSize, VMod);
                 VersionShort =:= OtherVersionShort ->
                     get_part_diff(Rest, MyIOtKvTree2, FBItems,
                                   ReqItemsIdx, SigSize, VMod);
                 true ->
                     get_part_diff(Rest, MyIOtKvTree2, FBItems,
                                   [Idx | ReqItemsIdx], SigSize, VMod)
              end
      end.
  
  