anchor.diff:      % exit(normal).
   
   insert_global_name(Name, Pid, Method, FromPidOrNode, ExtraInfo, S) ->
  -    {RPid, Ref} = do_monitor(Pid),
  -    true = ets:insert(global_names, {Name, Pid, Method, RPid, Ref}),
  +    Ref = erlang:monitor(process, Pid),
  +    true = ets:insert(global_names, {Name, Pid, Method, Ref}),
       true = ets:insert(global_pid_names, {Pid, Name}),
       true = ets:insert(global_pid_names, {Ref, Name}),
       case lock_still_set(FromPidOrNode, ExtraInfo, S) of
  
positive.code:     end.
  
  insert_lock({ResourceId, LockRequesterId}=Id, Pid, PidRefs, S) ->
      {RPid, Ref} = do_monitor(Pid),
      true = ets:insert(global_pid_ids, {Pid, ResourceId}),
      true = ets:insert(global_pid_ids, {Ref, ResourceId}),
      Lock = {ResourceId, LockRequesterId, [{Pid,RPid,Ref} | PidRefs]},
      true = ets:insert(global_locks, Lock),
      trace_message(S, {ins_lock, node(Pid)}, [Id, Pid]).
  
  
negative.code:     true = ets:delete_object(global_pid_ids, {Pid, ResourceId}),
      trace_message(S, {rem_lock, node(Pid)}, 
                    [{ResourceId, LockRequesterId}, Pid]).
  
  do_ops(Ops, ConnNode, Names_ext, ExtraInfo, S0) ->
      ?trace({do_ops, {ops,Ops}}),
  