anchor.diff:  %%
   %% 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.
  +%% misc:    Optional arguments, depending on the message type.
   -record(sched, {msg  :: atom(),
                   pid  :: pid(),
  -                misc :: [term()]}).
  +                misc  = empty :: term()}).
   
   %%%----------------------------------------------------------------------
   %%% User interface
  
positive.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.
  
  
negative.code: %% 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) ->
      Lid = lid(Pid),
      case Lid of
  	not_found ->
  