anchor.diff:    {true, Info#concuerror_info{extra = Tid}};
   run_built_in(ets, give_away, 3, [Name, Pid, GiftData],
                #concuerror_info{
  -                next_event = #event{event_info = EventInfo} = Event
  +                event = #event{event_info = EventInfo} = Event
                  } = Info) ->
     Tid = check_ets_access_rights(Name, {give_away,3}, Info),
     #concuerror_info{ets_tables = EtsTables} = Info,
  
positive.code:   consistent_replay(Module, Name, Arity, Args, Info).
  
  consistent_replay(Module, Name, Arity, Args, Info) ->
    #concuerror_info{next_event =
                       #event{event_info = EventInfo,
                              location = Location}
                    } = Info,
    NewResult = erlang:apply(Module, Name, Args),
    case EventInfo of
      %% Replaying...
  
negative.code:   {true, Info};
  
  run_built_in(erlang, halt, _, _, Info) ->
    #concuerror_info{event = Event} = Info,
    NewEvent = Event#event{special = [halt]},
    {no_return, Info#concuerror_info{event = NewEvent}};
  
  run_built_in(erlang, is_process_alive, 1, [Pid], Info) ->
    ?badarg_if_not(is_pid(Pid)),
  