anchor.diff:                {crashed, GlobalPid, 'DOWN'}, ?SEND_OPTIONS),
       %% delete WatchedPid and MonRef locally (MonRef is already
       %% invalid, as Pid crashed)
  -    _S1 = state_del_monitor(State, GlobalPid).
  +    _S1 = element(2, state_del_monitor(State, GlobalPid)).
   
   %% @doc Checks existence and validity of config parameters for this module.
   -spec check_config() -> boolean().
  
positive.code:                  State
      end.
  
  -spec state_has_monitor(state(), comm:mypid()) -> boolean().
  state_has_monitor(State, WatchedPid) ->
      Table = state_get_monitor_tab(State),
      pdb:get({'$monitor', WatchedPid}, Table) =/= undefined.
  
  -spec state_add_monitor(state(), comm:mypid()) -> state().
  state_add_monitor(State, WatchedPid) ->
      Table = state_get_monitor_tab(State),
  
negative.code:     pdb:set({{'$monitor', WatchedPid}, MonRef}, Table),
      State.
  
  -spec state_del_monitor(state(), comm:mypid()) -> {Found::boolean(), state()}.
  state_del_monitor(State, WatchedPid) ->
      Table = state_get_monitor_tab(State),
      CountKey = {'$monitor_count', WatchedPid},
      Found = case pdb:take(CountKey, Table) of
                  undefined ->
                      false;
                  {CountKey, 1} ->
                      MonKey = {'$monitor', WatchedPid},
                      {MonKey, MonRef} = pdb:take(MonKey, Table),
                      erlang:demonitor(MonRef),
                      true;
                  {CountKey, X} when is_integer(X) andalso X > 1 ->
                      pdb:set({CountKey, X - 1}, Table),
                      true
              end,
      {Found, State}.
  
  -spec rempid_new(comm:mypid()) -> rempid().
  rempid_new(Pid) ->
  