anchor.diff:          end,
       {atomic, ok} = mnesia:transaction(Fun),
       {noreply, State};
  +handle_cast({subscribe_dead, Subscriber, DeadPid}, State) ->
  +    subscribe_dead_(Subscriber, DeadPid),
  +    {noreply, State};
  +handle_cast({unsubscribe_dead, Subscriber, OldPid}, State) ->
  +    unsubscribe_dead_(Subscriber, OldPid),
  +    {noreply, State};
  +handle_cast({replace_dead, OldPid, NewPid}, State) ->
  +    replace_dead_(OldPid, NewPid),
  +    {noreply, State};
   handle_cast(_Msg, State) ->
       {noreply, State}.
   
  -handle_info({delete, Object}) ->
  +handle_info({delete, Object}, State) ->
       Fun =
           fun() ->
               mnesia:delete_object(Object)
           end,
  -    {atomic, ok} = mnesia:transaction(Fun);
  +    {atomic, ok} = mnesia:transaction(Fun),
  +    {noreply, State};
   handle_info(_Info, State) ->
       {noreply, State}.
   
  
positive.code:     gen_server:call(?MODULE, {get, IdOrPid}).
  
  subscribe_dead(Subscriber, DeadPid) ->
      gen_server:cast(?MODULE, {subscribe_dead, Subscriber, Pid}).
  
  unsubscribe_dead(Subscriber, DeadPid) ->
      gen_server:cast(?MODULE, {unsubscribe_dead, Subscriber, Pid}).
  
  replace_dead(OldPid, NewPid) ->
      gen_server:cast(?MODULE, {replace_pid, OldPid, NewPid}).
  
negative.code:     {ok, #state{}}.
  
  handle_call({get, Pid}, _From, State) when is_pid(Pid) ->
      Reply =
         case fetch_object(Pid) of
             Object = #object{} ->
                 Object;
             _ ->
                 undefined
         end,
      {reply, Reply, State};
  handle_call({get, Id}, _From, State) ->
      Fun =
          fun() ->
  