anchor.diff:  
   rtm_entry_new(Key, RTMPid, Nth, AccPid) -> {Key, RTMPid, Nth, AccPid}.
   get_rtmkey(RTMEntry) -> element(1, RTMEntry).
  +set_rtmkey(RTMEntry, Val) -> setelement(1, RTMEntry, Val).
   get_rtmpid(RTMEntry) -> element(2, RTMEntry).
   get_nth(RTMEntry)    -> element(3, RTMEntry).
   get_accpid(RTMEntry) -> element(4, RTMEntry).
  
positive.code: %% public interface for transaction validation using Paxos-Commit.
  -export([commit/4]).
  -export([msg_commit_reply/3]).
  
  %% functions for gen_component module, supervisor callbacks and config
  -export([start_link/2]).
  
negative.code:     %%                        end, State, listwithalltids),
      State;
  
  on({new_node_id, Id}, {RTMs, TableName, tx_tm, LAcceptor, GLLearner}) ->
      IDs = ?RT:get_replica_keys(Id),
      NewRTMs = [ set_rtmkey(R, I) || {R, I} <- lists:zip(RTMs, IDs) ],
      {NewRTMs, TableName, tx_tm, LAcceptor, GLLearner};
  %% periodic RTM update
  on({update_RTMs},
     {RTMs, _TableName, tx_tm, _LAcceptor, _GLLearner} = State) ->
  