anchor.diff:                #builtin_event{} -> Info;
                 %% New event...
                 undefined ->
  -                MessageEvent =
  -                  #message_event{
  -                     cause_label = Event#event.label,
  -                     message = #message{data = {'EXIT', Pid, noproc}},
  -                     recipient = self()},
  -                NewEvent = Event#event{special = [{message, MessageEvent}]},
  -                Info#concuerror_info{event = NewEvent}
  +                make_message(Info, message, {'EXIT', Pid, noproc}, self())
               end,
             {true, NewInfo}
         end
  
positive.code:   #concuerror_info{
       flags = #process_flags{trap_exit = TrapExit},
       links = Links,
       event = #event{event_info = EventInfo} = Event} = Info,
    case run_built_in(erlang, is_process_alive, 1, [Pid], Info) of
      {true, Info}->
        Self = self(),
  
negative.code:     %% New event...
      undefined ->
        ?debug_flag(?send, {send, Recipient, Message}),
        MsgInfo = make_message(Info, message, Message, Pid),
        ?debug_flag(?send, {send, successful}),
        {Message, MsgInfo#concuerror_info{extra = Extra}}
    end;
  
  run_built_in(erlang, process_flag, 2, [Flag, Value],
  