anchor.diff:  
   
       catch
  -        {_Ref, {state_not_implemented, State}} ->
  +        {Ref, decrypt_error} ->
  +            ?ALERT_REC(?FATAL, ?DECRYPT_ERROR, decrypt_error);
  +        {_, {state_not_implemented, State}} ->
               %% TODO
               ?ALERT_REC(?FATAL, ?INTERNAL_ERROR, {state_not_implemented, State})
       end.
  
positive.code:                                      transport_cb = _Transport}
                      } = State0) ->
  
      %% {Ref,Maybe} = maybe(),
  
      try
          %% TODO: validate client Finished
  
          State1 = calculate_traffic_secrets(State0),
  
  
negative.code:         {_Ref, {state_not_implemented, State}} ->
              ?ALERT_REC(?FATAL, ?INTERNAL_ERROR, {state_not_implemented, State})
      end;
  do_wait_finished(#finished{verify_data = VerifyData},
                #state{connection_states = _ConnectionStates0,
                       session = #session{session_id = _SessionId,
                                          own_certificate = _OwnCert},
  