anchor.diff:  
   send_timeout_cases() ->
       [
  -     send_timeout,
  +     send_timeout_basic_wo_autoclose,
  +     send_timeout_basic_w_autoclose,
  +     send_timeout_check_length,
  +     send_timeout_para_wo_autoclose,
  +     send_timeout_para_w_autoclose,
        send_timeout_active,
        send_timeout_resume
       ].
  
positive.code:          killing_multi_acceptors/1,
           killing_multi_acceptors2/1,
  	 several_accepts_in_one_go/1, accept_system_limit/1,
  	 active_once_closed/1, send_timeout/1, send_timeout_active/1,
           send_timeout_resume/1,
           otp_7731/1, zombie_sockets/1, otp_7816/1, otp_8102/1,
           wrapping_oct/0, wrapping_oct/1, otp_9389/1, otp_13939/1,
  
negative.code: 			Send = fun() -> gen_tcp:send(A, BinData) end,
  			Self ! {self(), timeout_sink_loop(Send, TslTimeout)}
  		end,
      ?P("[para] spawn sender process 1"),
      Snd1 = spawn_link(SenderFun),
      ?P("[para] spawn sender process 2"),
      Snd2 = spawn_link(SenderFun),
  
      SockInfo    = fun() -> (catch inet:info(A)) end,
  