anchor.diff:                          {"Global Locks     (ETS)", global_locks},
                           {"Global Pid Names (ETS)", global_pid_names},
                           {"Global Pid Ids   (ETS)", global_pid_ids}]],
  -    ?UNTIL([test_server] =:= global:registered_names()),
  +    ?UNTIL([] =:= global:registered_names()),
       ?UNTIL([] =:= nodes()),
       ?UNTIL([node()] =:= get_known(node())),
       ok.
  
positive.code:     ?line ?UNTIL
         ([Cp3] =:= lists:sort(rpc:call(Cp1, erlang, nodes, [])) -- [node()]),
  
      ?line ?UNTIL([kalle, test_server, vera] =:=
  	   lists:sort(rpc:call(Cp1, global, registered_names, []))),
      ?line ?UNTIL
         ([Cp3] =:= lists:sort(rpc:call(Cp2, erlang, nodes, [])) -- [node()]),
      ?line ?UNTIL([stina, test_server, vera] =:=
             lists:sort(rpc:call(Cp2, global, registered_names, []))),
      ?line ?UNTIL
         ([Cp1, Cp2] =:= 
          lists:sort(rpc:call(Cp3, erlang, nodes, [])) -- [node()]),
      ?line ?UNTIL([kalle, stina, test_server, vera] =:=
    	   lists:sort(rpc:call(Cp3, global, registered_names, []))),
  
      ?line pong = rpc:call(Cp2, net_adm, ping, [Cp1]),
  
negative.code:     ?line write_high_level_trace(Config),
      ?line _ = 
          gen_server:call(global_name_server, high_level_trace_stop, infinity),
      [global:unregister_name(N) || N <- global:registered_names()],
      ?line InitRegistered = ?registered,
      ?line Registered = registered(),
      ?line [io:format("~s local names: ~p~n", [What, N]) ||
  