anchor.diff:      end.
   
   handle(Message) ->
  -    gen_server:call(?MODULE, Message, infinity).
  +    gen_server:cast(?MODULE, Message).
   
   handle(MyId, Message) ->
  -    gen_server:call({global, reg_name(MyId)}, Message, infinity).
  +    gen_server:cast({global, reg_name(MyId)}, Message).
  +
  +restart(MyId) ->
  +    gen_server:call({global, reg_name(MyId)}, restart).
   
   %% ------------------------------------------------------------------
   %% gen_server Function Definitions
  
positive.code: -export([start_link/2]).
  
  -export([handle/1,
           handle/2]).
  
  %% ------------------------------------------------------------------
  
negative.code:                                             {dict:store(Node, OldQueue, Acc1), dict:store(Node, true, Acc2)}
                                      end
                                     end, {dict:new(), dict:new()}, dict:fetch_keys(Queues1)),
      {noreply, S0#state{queues=Queues2, busy=Busy1}};
  
  handle_cast(_Msg, State) ->
      {noreply, State}.
  
  handle_call(restart, _From, S0=#state{busy=Busy0, queues=Queues0}) ->
      Queues1 = lists:foldl(fun({Node, _}, Acc) ->
                              dict:store(Node, queue:new(), Acc)
                            end, dict:new(), dict:to_list(Queues0)),
      Busy1 = lists:foldl(fun({Node, _}, Acc) ->
                              dict:store(Node, false, Acc)
                          end, dict:new(), dict:to_list(Busy0)),
      {reply, ok, S0#state{queues=Queues1, busy=Busy1}};
  
  handle_call(_Request, _From, State) ->
      {reply, ok, State}.
  
  handle_info({deliver_labels, Node}, S0=#state{queues=Queues0, busy=Busy0, myid=MyId}) ->
      {NewQueue, NewPending} = deliver_labels(dict:fetch(Node, Queues0), Node, MyId, []),
  