anchor.diff:              || X <- state_get_learners(State) ],
       ok.
   
  --compile({inline, [inform_learner/3]}).
  -
   inform_learner(Learner, PaxosID, StateForID) ->
       msg_accepted(Learner, PaxosID,
                    state_get_raccepted(StateForID),
  
positive.code: -export([check_config/0]).
  
  -include("acceptor_state.hrl").
  
  %% Messages to expect from this module
  -spec msg_ack(comm:mypid(), any(), non_neg_integer(), any(), non_neg_integer())
  
negative.code: -spec on(comm:message(), atom()) -> atom().
  on({acceptor_initialize, PaxosID, Learners}, ETSTableName = State) ->
      ?TRACE("acceptor:initialize for paxos id: Pid ~p Learners ~p~n", [PaxosID, Learners]),
      case pdb:get(PaxosID, ETSTableName) of
          undefined when Learners =:= [] -> % just in case
              log:log(error, "dupl. acceptor init for id ~p", [PaxosID]);
          undefined ->
              initialize(state_new(PaxosID), ETSTableName, PaxosID, Learners);
          StateForID ->
              case state_get_learners(StateForID) of
                  Learners ->
                      log:log(error, "dupl. acceptor init for id ~p", [PaxosID]);
                  _ ->
                      initialize(StateForID, ETSTableName, PaxosID, Learners)
              end
      end,
      State;
  