anchor.diff:  %%% 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),
  
positive.code: 	    false -> ?INFINITY
  	end,
      Result = interleave_outer_loop(Target, 0, [], -1, PreBound, Options),
      blocked_stop(),
      state_stop(),
      unregister(?RP_SCHED),
      Parent ! {interleave_result, Result}.
  
negative.code:                   blocked        :: ?SET_TYPE(lid:lid()),
  		  current        :: lid:lid(),
  		  details        :: boolean(),
                    error          :: ?NO_ERROR | error:error(),
                    state          :: state:state()}).
  
  %% Internal message format
  