anchor.diff:  -type epoch_count() :: non_neg_integer().
   -type message_id() :: {epoch(), epoch_count()}.
   -type message_id_store() :: dict:dict(node_spec(), message_id()).
  +-type partitioned_nodes() :: [node()].
   
   -record(state, {myself :: node_spec(),
                   active :: active(),
  
positive.code:                         max_passive_size=MaxPassiveSize,
                          epoch=Epoch + 1,
                          sent_message_map=SentMessageMap,
                          recv_message_map=RecvMessageMap}}
      end.
  
  %% @private
  
negative.code: handle_call({join, {_Name, _, _}=Node}, _From, State) ->
      gen_server:cast(?MODULE, {join, Node}),
      {reply, ok, State};
  
  handle_call({inject_partition, TTL}, _From,
              #state{myself=Myself}=State) ->
      handle_message({inject_partition, Myself, TTL}, State);
  
  handle_call({reserve, Tag}, _From,
              #state{reserved=Reserved0,
  