anchor.diff:              RTMs = tx_state_get_rtms(TxState),
               Role = state_get_role(State),
               ValidAccs = [ X || {X} <- rtms_get_accpids(RTMs)],
  -            ValidAccsL = length(ValidAccs),
  +            MaxProposers = length(ValidAccs) + 1,
               This = comm:this(),
               case comm:is_valid(This) of
                   false ->
  
positive.code:                       state()}.
  handle_crash(Pid, State, Handler) ->
      RTMs = state_get_RTMs(State),
      NewRTMs = [ case get_rtmpid(RTM) of
                      X when unknown =:= X orelse {Pid} =:= X ->
                          I = get_nth(RTM),
                          Name = get_nth_rtm_name(I),
                          Key = get_rtmkey(RTM),
                          api_dht_raw:unreliable_lookup(
                            Key, {get_rtm, comm:this(), Key, Name}),
                          rtm_entry_new(Key, unknown, I, unknown);
                      _ -> RTM
                  end
  
negative.code:                 atom_to_list(Role) ++ "_" ++ atom_to_list(PaxosRole)),
      pid_groups:get_my(PidName).
  
  -compile({inline, [state_get_RTMs/1, state_set_RTMs/2,
                     state_get_tablename/1, state_get_role/1, state_get_lacceptor/1,
                     state_get_gllearner/1, state_set_gllearner/2,
                     state_get_opentxnum/1, state_inc_opentxnum/1, state_dec_opentxnum/1,
                     state_get_local_snapno/1, state_set_local_snapno/2,
                     state_subscribe/2, state_unsubscribe/2]}).
  
  -spec state_get_RTMs(state())      -> rtms().
  state_get_RTMs(State)          -> element(1, State).
  -spec state_set_RTMs(state(), rtms())
  