anchor.diff:              TmpState = state_reset_state(StateForID),
               NewState = state_inc_round(TmpState),
               pdb:set(NewState, ETSTableName),
  -            gen_component:post_op({proposer_trigger, PaxosID,
  -                                   state_get_round(NewState)},
  -                                  State)
  +            proposer_trigger(StateForID, PaxosID, state_get_round(NewState), State)
       end;
   
   %% trigger for given round is needed for initial round without auto-increment
  
positive.code: 
  on(_, _State) ->
      unknown_event.
  
  start_new_higher_round(PaxosID, Round, ETSTableName) ->
      case pdb:get(PaxosID, ETSTableName) of
  
negative.code:                                             {min_heap_size, 16383}]}]).
  
  %% initialize: return initial state.
  -spec init([]) -> state().
  init([]) ->
      ?TRACE("Starting proposer for DHT node: ~p~n", [pid_groups:my_groupname()]),
      %% For easier debugging, use a named table (generates an atom)
  