anchor.diff:  
   %%------------------------------------------------------------------------------
   
  +msg(demonitored) ->
  +  "Concuerror may let exiting processes emit 'DOWN' messages for cancelled"
  +    " monitors. Any such messages are discarded upon delivery and can never be"
  +    " received.~n";
   msg(exit_normal_self_abnormal) ->
     "A process that is not trapping exits (~w) sent a 'normal' exit"
       " signal to itself. This shouldn't make it exit, but in the current"
  
positive.code:       HandleActive =
          fun({LinkOrMonitor, S}, InfoIn) ->
              case S =:= active orelse Type =:= monitors of
                true -> Handler(LinkOrMonitor, Reason, InfoIn);
                false -> InfoIn
              end
          end,
  
negative.code:       lists:foldl(Fold, Info, Tables)
    end.
  
  handle_link(Link, _S, Reason, InfoIn) ->
    MFArgs = [erlang, exit, [Link, Reason]],
    {{didit, true}, NewInfo} =
      instrumented(call, MFArgs, exit, InfoIn),
    NewInfo.
  
  handle_monitor({Ref, P, As}, S, Reason, InfoIn) ->
    Msg = {'DOWN', Ref, process, As, Reason},
    MFArgs = [erlang, send, [P, Msg]],
    case S =/= active of
      true ->
        #concuerror_info{logger = Logger} = InfoIn,
        ?unique(Logger, ?lwarning, msg(demonitored), []);
      false -> ok
    end,
    {{didit, Msg}, NewInfo} =
      instrumented(call, MFArgs, exit, InfoIn),
    NewInfo.
  