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: get_local_state() ->
      gen_server:call(?MODULE, get_local_state, infinity).
  
  on_down(_Name, _Function) ->
      {error, not_implemented}.
  
  
negative.code:     {reply, Result, State};
  
  handle_call({forward_message, Name, ServerRef, Message}, _From,
              #state{connections=Connections0, partitions=Partitions}=State) ->
      case lists:member(Name, Partitions) of
          true ->
              {reply, {error, partitioned}, State};
          false ->
              Result = do_send_message(Name,
                                       {forward_message, ServerRef, Message},
                                       Connections0),
              {reply, Result, State}
      end;
  
  handle_call({receive_message, Message}, _From, State) ->
      gen_server:cast(?MODULE, {receive_message, Message}),
  