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:     case is_pid(Recipient) of
        true -> Recipient;
        false ->
          {P, Info} = run_built_in(erlang, whereis, 1, [Recipient], Info),
          P
      end,
    Extra =
  
negative.code: 
  run_built_in(Module, Name, Arity, Args, Info)
    when
      {Module, Name, Arity} =:= {erlang, put, 2};
      {Module, Name, Arity} =:= {os, getenv, 1}
      ->
    #concuerror_info{event = Event} = Info,
    #event{event_info = EventInfo, location = Location} = Event,
    NewResult = erlang:apply(Module, Name, Args),
  