anchor.diff:  certify(#server_key_exchange{} = KeyExchangeMsg, 
           #state{role = client, negotiated_version = Version,
   	       key_algorithm = Alg} = State0) 
  -  when Alg == dhe_dss; Alg == dhe_rsa ->%%Not imp:Alg == dh_anon;Alg == krb5 ->
  +  when Alg == dhe_dss; Alg == dhe_rsa ->
       case handle_server_key(KeyExchangeMsg, State0) of
   	#state{} = State1 ->
   	    {Record, State} = next_record(State1),
  
positive.code: handle_alerts([Alert | Alerts], {next_state, StateName, State}) ->
      handle_alerts(Alerts, handle_alert(Alert, StateName, State)).
  
  handle_alert(#alert{level = ?FATAL} = Alert, connection, 
  	     #state{from = From, user_application = {_Mon, Pid}, 
  		    log_alert = Log,
  		    host = Host, port = Port, session = Session,
  		    role = Role, socket_options = Opts} = State) ->
      invalidate_session(Role, Host, Port, Session),
      log_alert(Log, connection, Alert),
      alert_user(Opts#socket_options.active, Pid, From, Alert, Role),
      {stop, normal, State};
  
  handle_alert(#alert{level = ?WARNING, description = ?CLOSE_NOTIFY} = Alert, 
  	     connection, #state{from = From,
  				role = Role,
  				user_application = {_Mon, Pid}, 
  				socket_options = Opts} = State) ->
      alert_user(Opts#socket_options.active, Pid, From, Alert, Role),
      {stop, normal, State};
  
  handle_alert(#alert{level = ?FATAL} = Alert, StateName,
  	     #state{from = From, host = Host, port = Port, session = Session,
  		    log_alert = Log, role = Role} = State) ->
      invalidate_session(Role, Host, Port, Session),
      log_alert(Log, StateName, Alert),
      alert_user(From, Alert, Role),
      {stop, normal, State};
  handle_alert(#alert{level = ?WARNING, description = ?CLOSE_NOTIFY} = Alert, 
  	     _, #state{from = From, role = Role} = State) -> 
      alert_user(From, Alert, Role),
      {stop, normal, State};
  
  handle_alert(#alert{level = ?WARNING, description = ?NO_RENEGOTIATION} = Alert, StateName, 
  
negative.code:           from,                % term(), where to reply
            bytes_to_read,       % integer(), # bytes to read in passive mode
            user_data_buffer,    % binary()
  	  log_alert,           % boolean() 
  	  renegotiation,        % {boolean(), From | internal | peer}
  	  recv_during_renegotiation,  %boolean() 
  