anchor.diff:  %%%----------------------------------------------------------------------
   
   -define(INFINITY, 1000000).
  --define(ERROR_UNDEF, undef).
  +-define(NO_ERROR, undef).
   
   %%%----------------------------------------------------------------------
   %%% Records
  
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:     process_flag(trap_exit, true),
      %% Initialize state table.
      state_start(),
      %% Save empty replay state for the first run.
      {init_state, InitState} = lists:keyfind(init_state, 1, Options),
      state_save(InitState),
  