anchor.diff:                             ReadVal, EntryWriteRound),
   
               NewKeyEntry = entry_set_r_read(KeyEntry, NewReadRound),
  -            NewKeyEntry2 = entry_set_val(NewKeyEntry, NewKeyEntryVal), % prbr read handler might change value (e.g. due to GCing)
  +            NewKeyEntry2 = entry_set_val(NewKeyEntry, NewKeyEntryVal),
               _ = set_entry(NewKeyEntry2, TableName);
            _ ->
               msg_read_deny(Proposer, Cons, ReadRound, entry_r_read(KeyEntry))
  
positive.code: on({prbr, round_request, _DB, Cons, Proposer, Key, DataType, ProposerUID, ReadFilter, OpType}, TableName) ->
      ?TRACE("prbr:round_request: ~p in round ~p~n", [Key, ProposerUID]),
      KeyEntry = get_entry(Key, TableName),
      {NewKeyEntryVal, ReadVal} =
          case erlang:function_exported(DataType, prbr_read_handler, 3) of
              true -> DataType:prbr_read_handler(KeyEntry, TableName, ReadFilter);
              _    -> {entry_val(KeyEntry), ReadFilter(entry_val(KeyEntry))}
          end,
      %% Assign a valid next read round number
      %% If this round_request is part a read it is not necessary
      %% to increment the read round number, since a read does not
  
negative.code:     msg_round_request_reply(Proposer, Cons, AssignedReadRound,
                              EntryWriteRound, ReadVal, OpType),
  
      _ = case OpType =:= read andalso not ValueHasChanged of
          true ->
              %% No updates must be performed; save a DB write operation
              %% (Above, the proposer UID of the read round is changed even
              %% for a read. The new round must be returned to the client since
              %% it contains the request id for the round_request, but it does
              %% not have to be stored in DB since there are no follow-up requests
              %% in a read and reads do not interfere with other ops)
              ok;
          false ->
              NewKeyEntry = entry_set_r_read(KeyEntry, AssignedReadRound),
              NewKeyEntry2 = entry_set_val(NewKeyEntry, NewKeyEntryVal),
              set_entry(NewKeyEntry2, TableName)
      end,
  
      TableName;
  
  