anchor.diff:  on({del_watching_of, WatchedPid} = _Msg, State) ->
       ?TRACE("fd_hbs del_watching_of ~.0p~n", [_Msg]),
       %% request from remote fd_hbs: no longer watch a pid locally
  -    state_del_monitor(State, WatchedPid);
  +    element(2, state_del_monitor(State, WatchedPid));
   
   on({update_remote_hbs_to, Pid}, State) ->
       ?TRACE("fd_hbs update_remote_hbs_to ~p~n", [Pid]),
  
positive.code:     pdb:set({{'$monitor', WatchedPid}, MonRef}, Table),
      State.
  
  -spec state_del_monitor(state(), comm:mypid()) -> state().
  state_del_monitor(State, WatchedPid) ->
      Table = state_get_monitor_tab(State),
      CountKey = {'$monitor_count', WatchedPid},
      case pdb:take(CountKey, Table) of
          undefined -> ok;
          {CountKey, 1} ->
              MonKey = {'$monitor', WatchedPid},
              case pdb:take(MonKey, Table) of
                  undefined -> ok;
                  {MonKey, MonRef} when is_reference(MonRef) ->
                      erlang:demonitor(MonRef)
              end;
          {CountKey, X} when is_integer(X) andalso X > 1 ->
              pdb:set({CountKey, X - 1}, Table)
      end,
      State.
  
  -spec rempid_new(comm:mypid()) -> rempid().
  rempid_new(Pid) ->
  
negative.code:               {crashed, GlobalPid, 'DOWN'}, ?SEND_OPTIONS),
      %% delete WatchedPid and MonRef locally (MonRef is already
      %% invalid, as Pid crashed)
      _S1 = element(2, state_del_monitor(State, GlobalPid)).
  
  %% @doc Checks existence and validity of config parameters for this module.
  -spec check_config() -> boolean().
  