anchor.diff:  run_built_in(erlang, monitor, 2, [Type, Pid], Info) ->
     #concuerror_info{
        monitors = Monitors,
  -     next_event = #event{event_info = EventInfo} = Event,
  -     processes = Processes} = Info,
  +     next_event = #event{event_info = EventInfo} = Event} = Info,
     ?badarg_if_not(Type =:= process andalso is_pid(Pid)),
     Ref =
       case EventInfo of
  
positive.code:   ets:delete_all_objects(Tid),
    {Tid, Info};
  run_built_in(ets, insert, 2, [Tid, _] = Args, Info) ->
    #concuerror_info{ets_tables = EtsTables} = Info,
    check_ets_access_rights(Tid, self(), insert, EtsTables),
    {erlang:apply(ets, insert, Args), Info};
  run_built_in(ets, lookup, 2, [Tid, _] = Args, Info) ->
    #concuerror_info{ets_tables = EtsTables} = Info,
    check_ets_access_rights(Tid, self(), lookup, EtsTables),
    {erlang:apply(ets, lookup, Args), Info};
  run_built_in(ets, delete, 1, [Tid], Info) ->
    #concuerror_info{ets_tables = EtsTables} = Info,
    check_ets_access_rights(Tid, self(), delete, EtsTables),
    Update = [{?ets_owner, none}],
    ets:update_element(EtsTables, Tid, Update),
    ets:delete_all_objects(Tid),
  
negative.code:              #concuerror_info{
                  next_event = #event{event_info = EventInfo} = Event
                 } = Info) ->
    ?badarg_if_not(is_pid(Pid)),
    case EventInfo of
      %% Replaying...
      #builtin_event{result = OldResult} -> {OldResult, Info};
      %% New event...
      undefined ->
        Message =
          #message{data = {'EXIT', self(), Reason}, message_id = make_ref()},
        MessageEvent =
  