anchor.diff:  %%--------------------------------------------------------------------
   %% State functions 
   %%--------------------------------------------------------------------
  -
  +%%--------------------------------------------------------------------
  +-spec init(gen_statem:event_type(),
  +	   {start, timeout()} | term(), #state{}) ->
  +		   gen_statem:state_function_result().
  +%%--------------------------------------------------------------------
   init(enter, _, State) ->
       {keep_state, State};     
   init({call, From}, {start, Timeout}, 
  
positive.code: cipher(Type, Event, State) ->
       ssl_connection:?FUNCTION_NAME(Type, Event, State, ?MODULE).
  
  connection(enter, _, State) ->
      {keep_state, State};     
  connection(info, Event, State) ->
  
negative.code: certify(Type, Event, State) ->
      ssl_connection:?FUNCTION_NAME(Type, Event, State, ?MODULE).
  
  %%--------------------------------------------------------------------
  -spec cipher(gen_statem:event_type(), term(), #state{}) ->
  		    gen_statem:state_function_result().
  %%--------------------------------------------------------------------
  cipher(enter, _, State0) ->
      {State, Actions} = handle_flight_timer(State0),
      {keep_state, State, Actions}; 
  