anchor.diff:  %% Discard the exited process (don't add to any set).
   %% If the exited process is irrelevant (i.e. has no LID assigned),
   %% call the dispatcher.
  -handler(exit, Pid, Info, [Reason], DetailsFlag) ->
  +handler(exit, Pid, Info, Reason, DetailsFlag) ->
       Lid = lid(Pid),
       case Lid of
   	not_found ->
  
positive.code: %%
  %% msg:     An atom describing the type of the message.
  %% pid:     The sender's pid.
  %% misc:    A list of optional arguments, depending on the the message type.
  -record(sched, {msg  :: atom(),
                  pid  :: pid(),
                  misc :: [term()]}).
  
  %%%----------------------------------------------------------------------
  %%% User interface
  
negative.code: -spec rep_receive_notify(pid(), term()) -> 'ok'.
  
  rep_receive_notify(From, Msg) ->
      ?RP_SCHED ! #sched{msg = 'receive', pid = self(), misc = {From, Msg}},
      rep_yield(),
      ok.
  
  