anchor.diff:  	    {Record, State} = next_record(State0),
   	    next_event(StateName, Record, State);
   	_ ->
  -	    case read_application_data(<<>>, State0) of
  -		Stop = {stop, _} ->
  -		    Stop;
  -		{Record, State} ->
  -		    next_event(StateName, Record, State)
  -	    end
  +	    {Record, State} = read_application_data(<<>>, State0),
  +	    next_event(StateName, Record, State)
       end.
   
   next_event(StateName, Record, State) ->
  
positive.code:     end,
      FragLength = byte_size(BinFragment),
      Frag = [MsgType, ?uint24(Len), ?uint16(MsgSeq), ?uint24(Offset), ?uint24(FragLength), BinFragment],
      {Encoded, CS} = ssl_record:encode_handshake({Epoch, Frag}, Version, CS0),
      encode_handshake_record(Version, Epoch, MRS, MsgType, MsgSeq, Len, Rest, Offset + FragLength, MRS, [Encoded|Encoded0], CS).
  
  init_pack_records() ->
  
negative.code: 
  -export([%%write_application_data/3, 
  	 read_application_data/2,
  	 passive_receive/2,  next_record_if_active/1%, 
  	 %%handle_common_event/4,
  	 %handle_packet/3
  	]).
  
  %% gen_statem state functions
  -export([init/3, error/3, downgrade/3, %% Initiation and take down states
  