anchor.diff:  -define(monitor(Ref, Target, As, Status), {Target, {Ref, self(), As}, Status}).
   -define(monitor_match_to_target_source_as(Ref),
           {'$1', {Ref, self(), '$2'}, '$3'}).
  +-define(monitor_status, 3).
   
   %%------------------------------------------------------------------------------
   
  
positive.code:      monitors = MonitorsTable,
       flags = #process_flags{trap_exit = Trapping}} = Info,
    FetchFun =
      fun(Table) ->
          [begin ets:delete_object(Table, E), {D, S} end ||
            {_, D, S} = E <- ets:lookup(Table, Self)]
      end,
    Links = FetchFun(LinksTable),
    Monitors = FetchFun(MonitorsTable),
    Name =
      case MaybeName of
        [] -> ?process_name_none;
  
negative.code:             true;
            inactive ->
              false
          end,
        {Cnt, ReceiveInfo} = get_receive_cnt(NewInfo),
        NewEvent = Event#event{special = [{demonitor, {Ref, {Cnt, PatternFun}}}]},
        FinalInfo =
          ReceiveInfo#concuerror_info{
            demonitors = [Ref|Demonitors],
            event = NewEvent
           },
        case {HasInfo, HasFlush} of
          {false, _} -> {true, FinalInfo};
          {true, false} -> {Demonitored, FinalInfo};
          {true, true} -> {Flushed, FinalInfo}
        end
    end;
  run_built_in(erlang, exit, 2, [Pid, Reason], Info) ->
    #concuerror_info{
  