anchor.diff:  dispatcher(Info, DetailsFlag) ->
       receive
   	#sched{msg = block, pid = Pid} ->
  -	    handler(block, Pid, Info, [], DetailsFlag);
  -	#sched{msg = link, pid = Pid, misc = [TargetPid]} ->
  -	    handler(link, Pid, Info, [TargetPid], DetailsFlag);
  -	#sched{msg = 'receive', pid = Pid, misc = [From, Msg]} ->
  -	    handler('receive', Pid, Info, [From, Msg], DetailsFlag);
  -	#sched{msg = send, pid = Pid, misc = [Dest, Msg]} ->
  -	    handler(send, Pid, Info, [Dest, Msg], DetailsFlag);
  -	#sched{msg = spawn, pid = Pid, misc = [ChildPid]} ->
  -	    handler(spawn, Pid, Info, [ChildPid], DetailsFlag);
  +	    handler(block, Pid, Info, empty, DetailsFlag);
  +	#sched{msg = link, pid = Pid, misc = TargetPid} ->
  +	    handler(link, Pid, Info, TargetPid, DetailsFlag);
  +	#sched{msg = 'receive', pid = Pid, misc = {_From, _Msg} = Misc} ->
  +	    handler('receive', Pid, Info, Misc, DetailsFlag);
  +	#sched{msg = send, pid = Pid, misc = {_Dest, _Msg} = Misc} ->
  +	    handler(send, Pid, Info, Misc, DetailsFlag);
  +	#sched{msg = spawn, pid = Pid, misc = ChildPid} ->
  +	    handler(spawn, Pid, Info, ChildPid, DetailsFlag);
   	#sched{msg = yield, pid = Pid} ->
  -	    handler(yield, Pid, Info, [], DetailsFlag);
  +	    handler(yield, Pid, Info, empty, DetailsFlag);
   	{'EXIT', Pid, Reason} ->
  -	    handler(exit, Pid, Info, [Reason], DetailsFlag);
  +	    handler(exit, Pid, Info, Reason, DetailsFlag);
   	Other ->
   	    log:internal("Dispatcher received: ~p~n", [Other])
       end.
  
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: rep_spawn_link(Fun) ->
      Pid = spawn_link(fun() -> rep_yield(), Fun() end),
      %% Same as rep_spawn for now.
      ?RP_SCHED ! #sched{msg = spawn, pid = self(), misc = Pid},
      rep_yield(),
      Pid.
  
  