anchor.diff:                      read_value :: any()                         %% value returned frm read request
                      }).
   
  --type replies() :: gen_replies() | #rr_replies{} | #r_replies{}.
  +%% Aggregator for write replies.
  +-record(w_replies, {ack_count :: non_neg_integer(),             %% number of ack reveiced
  +                    deny_count :: non_neg_integer(),            %% number of denies received
  +                    highest_write_round :: pr:pr()              %% highest write round reveiced
  +                   }).
  +
  +-type replies() :: gen_replies() | #rr_replies{} | #r_replies{} | #w_replies{}.
   
   -type entry() :: {any(), %% ReqId
                     any(), %% debug field
  
positive.code: %%                ?DBG_ASSERT2(replies_num_acks(Entry) =< 0,
  %%                             {found_unexpected_acks, replies_num_acks(Entry)}),
                  %% set rack and store newer round
                  OldAcks = replies_num_acks(Replies),
                  T1Replies = replies_set_max_write_r(Replies, Round),
                  T2Replies = replies_set_num_acks(T1Replies, 0),
                  _T3Replies = replies_set_num_denies(
                               T2Replies, OldAcks + replies_num_denies(T2Replies))
          end,
      R2 = replies_inc_num_acks(R1),
      Done = ?REDUNDANCY:quorum_accepted(replies_num_acks(R2)),
      {Done, R2}.
  
  -spec add_write_deny(replies(), pr:pr(), Consistency::boolean())
                      -> {Done::boolean(), replies()}.
  add_write_deny(Replies, Round, _Cons) ->
      RepliesMaxWriteR = replies_max_write_r(Replies),
      RepliesRoundCmp = {pr:get_r(RepliesMaxWriteR), pr:get_id(RepliesMaxWriteR)},
      RoundCmp = {pr:get_r(Round), pr:get_id(Round)},
      R1 =
  
negative.code: 
  -spec new_write_replies() -> gen_replies().
  new_write_replies() ->
      #w_replies{ack_count = 0, deny_count = 0,
                 highest_write_round = pr:new(0,0)}.
  
  -spec entry_reqid(entry())        -> any().
  entry_reqid(Entry)                -> element(1, Entry).
  