anchor.diff:  -spec delayfactor() -> pos_integer().
   delayfactor() -> 4.
   
  --spec state_new(comm:mypid(), [{comm:mypid(), pos_integer()}],
  +-spec state_new(comm:mypid(), [rempid()],
                   util:time(), util:time(), atom()) -> state().
   state_new(RemoteHBS, RemotePids, LastPong, CrashedAfter,Table) ->
       {RemoteHBS, RemotePids, LastPong, CrashedAfter, Table, []}.
   
  --spec state_get_rem_hbs(state()) -> comm:mypid().
  +-spec state_get_rem_hbs(state())    -> comm:mypid().
   state_get_rem_hbs(State)            -> element(1, State).
   -spec state_set_rem_hbs(state(), comm:mypid()) -> state().
   state_set_rem_hbs(State, Val)       -> setelement(1, State, Val).
  --spec state_get_rem_pids(state()) -> [{comm:mypid(), pos_integer()}].
  +-spec state_get_rem_pids(state())   -> [rempid()].
   state_get_rem_pids(State)           -> element(2, State).
  --spec state_set_rem_pids(state(), [{comm:mypid(), pos_integer()}]) -> state().
  +-spec state_set_rem_pids(state(), [rempid()]) -> state().
   state_set_rem_pids(State, Val)      -> setelement(2, State, Val).
  --spec state_get_last_pong(state()) -> util:time().
  +-spec state_get_last_pong(state())  -> util:time().
   state_get_last_pong(State)          -> element(3, State).
   -spec state_set_last_pong(state(), util:time()) -> state().
   state_set_last_pong(State, Val)     -> setelement(3, State, Val).
  
positive.code:                 _ -> comm:send(RemHBS, {add_watching_of, WatchedPid})
              end,
              %% add to list
              state_set_rem_pids(State, [{WatchedPid, 1} | RemPids]);
          Entry ->
              NewEntry = setelement(2, Entry, 1 + element(2, Entry)),
              state_set_rem_pids(
                State, lists:keyreplace(WatchedPid, 1, RemPids, NewEntry))
      end.
  
negative.code:     Entry = pdb:get({Subscriber, WatchedPid}, Table),
      case Entry of
          undefined ->
              log:log(warn, "got unsubscribe for not registered subscription ~.0p, Subscriber ~p, Watching group and name ~p.~n",
                      [{unsubscribe, Subscriber, WatchedPid, Cookie},
                       pid_groups:group_and_name_of(Subscriber),
                      pid_groups:group_and_name_of(comm:make_local(WatchedPid))]),
  