anchor.diff:      {init_state, InitState} = lists:keyfind(init_state, 1, Options),
       state_save(InitState),
       PreBound =
  -	case lists:keyfind(preb, 1, Options) of
  -	    {preb, inf} -> ?INFINITY;
  -	    {preb, Bound} -> Bound;
  -	    false -> ?INFINITY
  -	end,
  +		case lists:keyfind(preb, 1, Options) of
  +			{preb, inf} -> ?INFINITY;
  +			{preb, Bound} -> Bound;
  +			false -> ?INFINITY
  +		end,
       Result = interleave_outer_loop(Target, 0, [], -1, PreBound, Options),
       state_stop(),
       unregister(?RP_SCHED),
  
positive.code: %% Link the newly spawned process to the scheduler process and add it to the
  %% active set.
  handler(spawn, ParentLid,
  	#context{active = Active, details = Det} = Context, ChildPid) ->
      link(ChildPid),
      ChildLid = lid:new(ChildPid, ParentLid),
      log_details(Det, {spawn, ParentLid, ChildLid}),
  
negative.code: 
  notify(Msg, Misc) ->
      case lid_from_pid(self()) of
  		not_found -> ok;
  		Lid ->
  			?RP_SCHED_SEND ! #sched{msg = Msg, lid = Lid, misc = Misc},
  			wait()
      end.
  
  %% TODO: Maybe move into lid module.
  