anchor.diff:  %% other message than a synchronous or asynchronous event
   %% (or a system message).
   %%--------------------------------------------------------------------
  +handle_info({'DOWN', _Ref, process, _Pid, _Reason}, running, S) ->
  +    pass_token(S);
   handle_info(_Info, StateName, State) ->
       {next_state, StateName, State}.
   
  
positive.code: running(request_token, {From, _Tag}, S) ->
      {reply, wait, running, S#state{pids = queue:in(From, S#state.pids)}};
  running(release_token, _From, S) ->
      case queue:out(S#state.pids) of
  	{{value, Pid}, Q2} ->
  	    etorrent_t_control:token(Pid),
  	    {reply, ok, running, S#state{ pids = Q2}};
  	{empty, Q} ->
  	    {reply, ok, dormant, S#state{ pids = Q}}
      end.
  
  %%--------------------------------------------------------------------
  %% Function:
  
negative.code: -export([init/1, dormant/3, running/3, handle_event/3,
  	 handle_sync_event/4, handle_info/3, terminate/3, code_change/4]).
  
  -record(state, { pids = none,
  		 monitored = none}).
  -define(SERVER, ?MODULE).
  
  %%====================================================================
  