anchor.diff:    when is_bitstring(Hashes) ->
       ?TRACE1(_Msg, State),
       P1EOneLeaf = calc_n_subparts_p1e(length(MerkleSync), P1EAllLeaves),
  -    {HashesReply, BinKeyList, NStats} =
  +    {HashesReply, BinIdxList, NStats} =
           merkle_resolve_leaves_init(MerkleSync, Hashes, DestRRPid, Stats,
                                      OwnerL, Params, P1EOneLeaf),
  -    comm:send(DestRCPid, {resolve_req, HashesReply, BinKeyList}),
  +    comm:send(DestRCPid, {resolve_req, HashesReply, BinIdxList}),
       NewState = State#rr_recon_state{stats = NStats, misc = [{one_leaf_p1e, P1EOneLeaf}]},
       % do not shutdown if HashesReply is non-empty!
       case HashesReply of
  
positive.code:                                     BinKeyList, DestRRPid,
                                      Stats, OwnerL, BucketSizeBits, MaxBucketSize, P1EOneLeaf,
                                      ToSend, ToReq, ToResolve, ResolveNonEmpty, true);
  merkle_resolve_req_keys_noninit([{leaf, inner, OtherMaxItemsCount, LeafNode, false = _FoundSkipHash} | TL], Hashes,
                                  [ReqKeys | BinKeyList], DestRRPid,
                                  Stats, OwnerL, BucketSizeBits, MaxBucketSize, P1EOneLeaf,
                                  ToSend, ToReq, ToResolve, ResolveNonEmpty, true) ->
      ToSend1 =
          case ReqKeys of
              [] -> ToSend;
              [_|_] ->
                  ReqSet = gb_sets:from_list(ReqKeys),
                  BucketSize = merkle_tree:get_item_count(LeafNode),
                  {SigSize, _VSize} = trivial_signature_sizes(BucketSize, OtherMaxItemsCount, P1EOneLeaf),
                  [Key || {Key, _Version} <- merkle_tree:get_bucket(LeafNode),
                          gb_sets:is_member(compress_key(Key, SigSize),
                                            ReqSet)] ++ ToSend
          end,
      merkle_resolve_req_keys_noninit(TL, Hashes, BinKeyList, DestRRPid, Stats,
                                      OwnerL, BucketSizeBits, MaxBucketSize, P1EOneLeaf,
  
negative.code:         Sync::[merkle_sync()], Hashes::bitstring(), DestRRPid::comm:mypid(),
          Stats, OwnerL::comm:erl_local_pid(), BucketSizeBits::pos_integer(),
          MaxBucketSize::pos_integer(), P1EOneLeaf::float(), ToSend::[?RT:key()], ToReq::[?RT:key()],
          ToResolve::[bitstring()], ResolveNonEmpty::boolean(),
          LeafNodesAcc::non_neg_integer(), HashesReplyAcc::bitstring())
          -> {HashesReply::bitstring(), HashesReq::[bitstring()], NewStats::Stats}
      when is_subtype(Stats, rr_recon_stats:stats()).
  merkle_resolve_leaves_init([{leaf, leaf, LeafNode} | TL],
                             Hashes, DestRRPid, Stats, OwnerL, BucketSizeBits,
  