anchor.diff:  
   -spec new_write_replies() -> gen_replies().
   new_write_replies() ->
  -    {_NumNewest = 0, _NumAcked = 0, _NumDenied = 0,
  -     _MaxSeenRound = pr:new(0,0), _Value = empty_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).
  
positive.code:                     read_value :: any()                         %% value returned frm read request
                     }).
  
  -type replies() :: gen_replies() | #rr_replies{} | #r_replies{}.
  
  -type entry() :: {any(), %% ReqId
                    any(), %% debug field
  
negative.code: add_read_deny(Entry, _DBSelector, _MyRound, LargerRound, _Cons) ->
      {retry, entry_set_my_round(Entry, LargerRound)}.
  
  -spec add_write_reply(#w_replies{}, pr:pr(), Consistency::boolean())
                       -> {Done::boolean(), #w_replies{}}.
  add_write_reply(Replies, Round, _Cons) ->
      RepliesMaxWriteR = Replies#w_replies.highest_write_round,
      RepliesRoundCmp = {pr:get_r(RepliesMaxWriteR), pr:get_id(RepliesMaxWriteR)},
      RoundCmp = {pr:get_r(Round), pr:get_id(Round)},
      R1 =
  