anchor.diff:  
   %% Instrumentation related exports.
   -export([rep_link/1, rep_receive/1, rep_receive_notify/2,
  -	 rep_send/2, rep_spawn/1, rep_spawn_link/1, rep_yield/0,
  -	 wait/0]).
  +	 rep_send/2, rep_spawn/1, rep_spawn_link/1, rep_spawn_link/3,
  +	 rep_yield/0, wait/0]).
   
   -export_type([proc_action/0, analysis_target/0, analysis_ret/0]).
   
  
positive.code: %% @spec rep_spawn_link(function()) -> pid()
  %% @doc: Replacement for `spawn_link/1'.
  %%
  %% The argument provided is the argument of the original spawn call.
  %% When spawned, the new process has to yield.
  -spec rep_spawn_link(function()) -> pid().
  
  
negative.code:     rep_yield(),
      Pid.
  
  %% @spec rep_spawn_link(atom(), function(), term()) -> pid()
  %% @doc: Replacement for `spawn_link/3'.
  %%
  %% When spawned, the new process has to yield.
  -spec rep_spawn_link(atom(), atom(), [term()]) -> pid().
  
  rep_spawn_link(Module, Function, Args) ->
      Pid = spawn_link(fun() -> rep_yield(), apply(Module, Function, Args) end),
      %% Same as rep_spawn for now.
      ?RP_SCHED ! #sched{msg = spawn, pid = self(), misc = Pid},
      rep_yield(),
      Pid.
  
  %% Wait until the scheduler prompts to continue.
  -spec wait() -> 'true'.
  
  