anchor.diff:      {next_state, StateName, State}.
   
   %%--------------------------------------------------------------------
  -%% Function: 
  -%% handle_sync_event(Event, From, StateName, 
  +%% Function:
  +%% handle_sync_event(Event, From, StateName,
   %%                   State) -> {next_state, NextStateName, NextState} |
  -%%                             {next_state, NextStateName, NextState, 
  +%%                             {next_state, NextStateName, NextState,
   %%                              Timeout} |
   %%                             {reply, Reply, NextStateName, NextState}|
  -%%                             {reply, Reply, NextStateName, NextState, 
  +%%                             {reply, Reply, NextStateName, NextState,
   %%                              Timeout} |
   %%                             {stop, Reason, NewState} |
   %%                             {stop, Reason, Reply, NewState}
  
positive.code: %% Function: start_link() -> ok,Pid} | ignore | {error,Error}
  %% Description:Creates a gen_fsm process which calls Module:init/1 to
  %% initialize. To ensure a synchronized start-up procedure, this function
  %% does not return until Module:init/1 has returned.  
  %%--------------------------------------------------------------------
  start_link() ->
      gen_fsm:start_link(?MODULE, [], []).
  
  token(Pid) ->
      gen_fsm:send_event(Pid, token).
  
  %%====================================================================
  %% gen_fsm callbacks
  
negative.code: -behaviour(gen_fsm).
  
  %% API
  -export([start_link/0, token/1, start/1, stop/1]).
  
  %% gen_fsm callbacks
  -export([init/1, handle_event/3, initializing/2, waiting_check/2, started/2,
  