anchor.diff:  state_get_crashed_after(State)      -> element(4, State).
   -spec state_set_crashed_after(state(), erlang_timestamp()) -> state().
   state_set_crashed_after(State, Val) -> setelement(4, State, Val).
  --spec state_get_table(state()) -> atom().
  +-spec state_get_table(state()) -> pdb:tableid().
   state_get_table(State)              -> element(5, State).
   -spec state_get_monitors(state())   -> [{comm:mypid(), reference()}].
   state_get_monitors(State)           -> element(6, State).
  
positive.code:     rempid_set_pending_demonitor(E1, true).
  
  -spec state_new(comm:mypid(), [rempid()],
                  erlang_timestamp(), erlang_timestamp(), atom()) -> state().
  state_new(RemoteHBS, RemotePids, LastPong, CrashedAfter,Table) ->
      {RemoteHBS, RemotePids, LastPong, CrashedAfter, Table, []}.
  
  -spec state_get_rem_hbs(state())    -> comm:mypid().
  
negative.code:        [rempid()],  %% subscribed rem. pids + ref counting
         erlang_timestamp(),  %% local time of last pong arrival
         erlang_timestamp(),  %% remote is crashed if no pong arrives until this
         pdb:tableid(),       %% ets table name
         %% locally erlang:monitored() pids for a remote hbs:
         [{comm:mypid(), reference()}]
       }).
  