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: 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
      element(2, state_del_monitor(State, WatchedPid));
  
  on({update_remote_hbs_to, Pid}, State) ->
      ?TRACE("fd_hbs update_remote_hbs_to ~p~n", [Pid]),
  