anchor.diff:  	   {send, hello},
   	   {match, #ssh_msg_kexinit{_='_'}, receive_msg},
   	   {send, ssh_msg_kexinit},  % with server unsupported 'ssh-dss' !
  -	   {match,
  -	    {'or',[#ssh_msg_disconnect{code = ?SSH_DISCONNECT_KEY_EXCHANGE_FAILED,  _='_'},
  -		   tcp_closed,
  -		   {tcp_error,econnaborted}
  -		  ]},
  -	    receive_msg}
  +	   {match, disconnect(), receive_msg}
   	  ]
   	 ).
   
  
positive.code: 		   PacketFun}},
  	   %% Prohibit remote decoder starvation:	   
  	   {send, #ssh_msg_service_request{name="ssh-userauth"}},
  	   {match, {'or',[#ssh_msg_disconnect{_='_'},
  			  tcp_closed,
  			  {tcp_error,econnaborted}
  			 ]},
  		    receive_msg}
  	  ], InitialState).
  
  %%%--------------------------------------------------------------------
  
negative.code: 	ssh_trpt_test_lib:exec(
  	  [{set_options, [print_ops, print_seqnums, print_messages]},
  	   {send, #ssh_msg_service_request{name = Name}},
  	   {match, disconnect(), receive_msg}
  	  ], InitialState).
  
  %%%--------------------------------------------------------------------
  