anchor.diff:  	ssh_trpt_test_lib:exec(
   	  [{set_options, [print_ops, print_seqnums, print_messages]},
   	   {send, #ssh_msg_service_request{name = Name}},
  -	   {match, {'or',[#ssh_msg_disconnect{_='_'},
  -			  tcp_closed
  -			 ]},
  -		    receive_msg}
  +	   {match, disconnect(), receive_msg}
   	  ], InitialState).
   
   %%%--------------------------------------------------------------------
  
positive.code:        {match, #ssh_msg_newkeys{_='_'}, receive_msg}
        ],
        InitialState).
  
negative.code: 		   PacketFun}},
  	   %% Prohibit remote decoder starvation:	   
  	   {send, #ssh_msg_service_request{name="ssh-userauth"}},
  	   {match, disconnect(), receive_msg}
  	  ], InitialState).
  
  %%%--------------------------------------------------------------------
  