anchor.diff:  -export([check_config/0]).
   
   -include("acceptor_state.hrl").
  +
  +-compile({inline, [initialize/4, inform_learner/3]}).
   
   %% Messages to expect from this module
   -spec msg_ack(comm:mypid(), any(), non_neg_integer(), any(), non_neg_integer())
  
positive.code:             || X <- state_get_learners(State) ],
      ok.
  
  -compile({inline, [inform_learner/3]}).
  
  inform_learner(Learner, PaxosID, StateForID) ->
      msg_accepted(Learner, PaxosID,
                   state_get_raccepted(StateForID),
  
negative.code:     end,
      State.
  
  -spec initialize(StateForID::acceptor_state(), ETSTableName::atom(),
                   PaxosID::any(), Learners::[comm:mypid()]) -> ok.
  initialize(StateForID, ETSTableName, PaxosID, Learners) ->
      NewState = state_set_learners(StateForID, Learners),
      pdb:set(NewState, ETSTableName),
      case state_accepted(NewState) of
          true  -> inform_learners(PaxosID, NewState);
          false -> ok
      end.
  
  -spec inform_learners(PaxosID::any(), acceptor_state()) -> ok.
  inform_learners(PaxosID, State) ->
      ?TRACE("acceptor:inform_learners: PaxosID ~p Learners ~p Decision ~p~n",
  