anchor.diff:  explain_error({unsupported_request, Name, Type}) ->
     io_lib:format(
       "A process send a request of type '~p' to ~p. Concuerror does not yet support"
  -    "this type of request to this process.~n"
  +    " this type of request to this process.~n"
       ?notify_us_msg,
       [Type, Name]).
   
  
positive.code: 
  run_built_in(Module, Name, Arity, Args, Info)
    when
      {Module, Name, Arity} =:= {erlang, put, 2} ->
    #concuerror_info{event = Event} = Info,
    #event{event_info = EventInfo, location = Location} = Event,
    NewResult = erlang:apply(Module, Name, Args),
  
negative.code:       undefined -> erlang:apply(erlang,Name,[])
      end,
    {Ref, Info};
  run_built_in(erlang, monitor, 2, [Type, InTarget], Info) ->
    #concuerror_info{
       monitors = Monitors,
       event = #event{event_info = EventInfo} = Event} = Info,
    ?badarg_if_not(Type =:= process),
    {Target, As} =
      case InTarget of
        P when is_pid(P) -> {InTarget, InTarget};
        A when is_atom(A) -> {InTarget, {InTarget, node()}};
        {Name, Node} = Local when is_atom(Name), Node =:= node() ->
          {Name, Local};
        {Name, Node} when is_atom(Name) -> ?crash({not_local_node, Node});
  