anchor.diff:  run_built_in(erlang, Send, 2, [Recipient, Message], Info)
     when Send =:= '!'; Send =:= 'send' ->
     run_built_in(erlang, send, 3, [Recipient, Message, []], Info);
  -run_built_in(erlang, send, 3, [Recipient, Message, _Options],
  -             #concuerror_info{
  -                event = #event{event_info = EventInfo} = Event
  -               } = Info) ->
  +run_built_in(erlang, send, 3, [Recipient, Message, _Options], Info) ->
  +  #concuerror_info{event = #event{event_info = EventInfo}} = Info,
     Pid =
       case is_pid(Recipient) of
         true -> Recipient;
  
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],
  