anchor.diff:  %%
   %% %CopyrightBegin%
   %%
  -%% Copyright Ericsson AB 2007-2018. All Rights Reserved.
  +%% Copyright Ericsson AB 2007-2019. All Rights Reserved.
   %%
   %% Licensed under the Apache License, Version 2.0 (the "License");
   %% you may not use this file except in compliance with the License.
  
positive.code: next_record(State) ->
      {no_record, State}.
  
  next_event(StateName, Record, State) ->
      next_event(StateName, Record, State, []).
  next_event(StateName, no_record, State0, Actions) ->
  
negative.code:     {no_record, State#state{handshake_env = 
                                  HsEnv#handshake_env{unprocessed_handshake_events = N-1}}};
  next_record(#state{protocol_buffers =
                         #protocol_buffers{tls_cipher_texts = [_|_] = CipherTexts},
                     connection_states = ConnectionStates,
                     ssl_options = #ssl_options{padding_check = Check}} = State) ->
      next_record(State, CipherTexts, ConnectionStates, Check);
  next_record(#state{protocol_buffers = #protocol_buffers{tls_cipher_texts = []},
                     protocol_specific = #{active_n_toggle := true, active_n := N} = ProtocolSpec,
                     static_env = #static_env{socket = Socket,
  