anchor.diff:                    blocked        :: ?SET_TYPE(lid:lid()),
   		  current        :: lid:lid(),
   		  details        :: boolean(),
  -                  error          :: ?ERROR_UNDEF | error:error(),
  +                  error          :: ?NO_ERROR | error:error(),
                     state          :: state:state()}).
   
   %% Internal message format
  
positive.code: %%% Helper functions
  %%%----------------------------------------------------------------------
  
  blocked_lookup(State) ->
      case ets:lookup(?NT_BLOCKED, State) of
  	[] -> false;
  	[{State}] -> true
      end.
  
  blocked_save(State) ->
      ets:insert(?NT_BLOCKED, {State}).
  
  blocked_start() ->
      ets:new(?NT_BLOCKED, [named_table]).
  
  blocked_stop() ->
      ets:delete(?NT_BLOCKED).
  
  %% Kill any remaining processes.
  %% If the run was terminated by an exception, processes linked to
  %% the one where the exception occurred could have been killed by the
  %% exit signal of the latter without having been deleted from the pid/lid
  %% tables. Thus, 'EXIT' messages with any reason are accepted.
  
  proc_cleanup() ->
      Fun = fun(P, Acc) ->
  		  exit(P, kill),
  
negative.code: 	    false -> ?INFINITY
  	end,
      Result = interleave_outer_loop(Target, 0, [], -1, PreBound, Options),
      state_stop(),
      unregister(?RP_SCHED),
      Parent ! {interleave_result, Result}.
  