anchor.diff:      {reply, Reply, StateName, State}.
   
   %%--------------------------------------------------------------------
  -%% @spec handle_info(Info,StateName,State)->
  -%%                   {next_state, NextStateName, NextState} |
  -%%                   {next_state, NextStateName, NextState, Timeout} |
  -%%                   {stop, Reason, NewState}
  -%% @end
  +%%
   %%--------------------------------------------------------------------
   handle_info(_Info, StateName, State) ->
       {next_state, StateName, State}.
   
   %%--------------------------------------------------------------------
  -%% @spec terminate(Reason, StateName, State) -> void()
  -%% @end
  +%%
   %%--------------------------------------------------------------------
   terminate(_Reason, _StateName, _State) ->
       ok.
   
   %%--------------------------------------------------------------------
  -%% @spec code_change(OldVsn, StateName, State, Extra) ->
  -%%                   {ok, StateName, NewState}
  -%% @end
  +%%
   %%--------------------------------------------------------------------
   code_change(_OldVsn, StateName, State, _Extra) ->
       {ok, StateName, State}.
  
positive.code: %%%===================================================================
  
  %%--------------------------------------------------------------------
  %% @spec init(Args) -> {ok, StateName, State} |
  %%                     {ok, StateName, State, Timeout} |
  %%                     ignore |
  %%                     {stop, StopReason}
  %% @end
  %%--------------------------------------------------------------------
  init([]) ->
      {ok, state_name, #state{}}.
  
  %%--------------------------------------------------------------------
  %% @spec state_name(Event, State) ->
  %%                   {next_state, NextStateName, NextState} |
  %%                   {next_state, NextStateName, NextState, Timeout} |
  %%                   {stop, Reason, NewState}
  %% @end
  %%--------------------------------------------------------------------
  state_name(_Event, State) ->
      {next_state, state_name, State}.
  
  %%--------------------------------------------------------------------
  %% @spec state_name(Event, From, State) ->
  %%                   {next_state, NextStateName, NextState} |
  %%                   {next_state, NextStateName, NextState, Timeout} |
  %%                   {reply, Reply, NextStateName, NextState} |
  %%                   {reply, Reply, NextStateName, NextState, Timeout} |
  %%                   {stop, Reason, NewState} |
  %%                   {stop, Reason, Reply, NewState}
  %% @end
  %%--------------------------------------------------------------------
  state_name(_Event, _From, State) ->
      Reply = ok,
      {reply, Reply, state_name, State}.
  
  %%--------------------------------------------------------------------
  %% @spec handle_event(Event, StateName, State) ->
  %%                   {next_state, NextStateName, NextState} |
  %%                   {next_state, NextStateName, NextState, Timeout} |
  %%                   {stop, Reason, NewState}
  %% @end
  %%--------------------------------------------------------------------
  handle_event(_Event, StateName, State) ->
      {next_state, StateName, State}.
  
  %%--------------------------------------------------------------------
  %% @spec handle_sync_event(Event, From, StateName, State) ->
  %%                   {next_state, NextStateName, NextState} |
  %%                   {next_state, NextStateName, NextState, Timeout} |
  %%                   {reply, Reply, NextStateName, NextState} |
  %%                   {reply, Reply, NextStateName, NextState, Timeout} |
  %%                   {stop, Reason, NewState} |
  %%                   {stop, Reason, Reply, NewState}
  %% @end
  %%--------------------------------------------------------------------
  handle_sync_event({augment_data, _NewData}, _From, StateName, State) ->
      Reply = ok,
  
negative.code: 
  %% gen_fsm callbacks
  -export([init/1,
           prepare/2,
           not_full/2,
           full/2,
           all_received/2,
           not_full/3,
           all_received/3,
           done/3,
           handle_event/3,
           handle_sync_event/4,
           handle_info/3,
  