anchor.diff:      <<KeyPos:SigSize/integer-unit:1, T/bitstring>> = Bin,
       [Key | KList2] = lists:nthtail(KeyPos - AccPos, KList),
       [Key | decompress_k_list(T, KList2, SigSize, KeyPos + 1)].
  +
  +%% @doc De-compresses a bitstring with indices of SigSize number of bits
  +%%      into a list of keys from the original KV list.
  +-spec decompress_k_list_kv(CompressedBin::bitstring(), KVList::db_chunk_kv(),
  +                           SigSize::signature_size(), AccPos::non_neg_integer())
  +         -> ResKeys::[?RT:key()].
  +decompress_k_list_kv(<<>>, _, _SigSize, _AccPos) ->
  +    [];
  +decompress_k_list_kv(Bin, KVList, SigSize, AccPos) ->
  +     <<KeyPos:SigSize/integer-unit:1, T/bitstring>> = Bin,
  +    [{Key, _Version} | KVList2] = lists:nthtail(KeyPos - AccPos, KVList),
  +    [Key | decompress_k_list_kv(T, KVList2, SigSize, KeyPos + 1)].
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   % SHash specific
  
positive.code:     % TODO: same as above -> extract function?
      IdxSize = bits_for_number(merkle_tree:get_item_count(LeafNode)),
      SendKeys1 =
          case decompress_k_list(ReqKeys,
                                 [element(1, KV) || KV <- merkle_tree:get_bucket(LeafNode)],
                                 IdxSize, 0) of
              [] -> SendKeys;
              [_|_] = X -> X ++ SendKeys
          end,
  
negative.code:    State = #rr_recon_state{stage = resolve,           initiator = Initiator,
                             method = RMethod,
                             dest_rr_pid = DestRRPid,   ownerPid = OwnerL,
                             k_list = KList,            stats = Stats})
    when (RMethod =:= trivial andalso not Initiator) orelse
             ((RMethod =:= bloom orelse RMethod =:= shash) andalso Initiator) ->
      ?TRACE1(_Msg, State),
  