anchor.diff:      ct:sleep(100),
   
       ?P("validate state - accepting"),
  -    case gen_tcp_socket:info(LS) of
  -        #{counters      := #{acc_tries := 1},
  -          num_acceptors := 2} ->
  -            ?P("validated"),
  -            ok;
  -        INFO1 ->
  -            ?P("Invalid acceptor info: "
  -               "~n      ~p", [INFO1]),
  -            ct:fail("wrong number of acceptors")
  -    end,
  +    validate_acceptor_state(LS, 2, [accepting], []),
   
       ?P("kill acceptor 1"),
       exit(Pid,kill),
  
positive.code: 			Send = fun() -> gen_tcp:send(A, BinData) end,
  			Self ! {self(), timeout_sink_loop(Send, TslTimeout)}
  		end,
      Info = fun() ->
  		   if is_port(A) ->
  			   {(catch erlang:port_info(A)),
  			    try inet:getopts(A, [send_timeout]) of
  				{ok, [V2]} ->
  				    V2;
  				{error, R2} ->
  				    ?F("ERROR: ~p", [R2]);
  				X2 ->
  				    ?F("UNKNOWN: ~p", [X2])
  			    catch
  				C2:E2:S2 ->
  				    ?F("CATCHED: ~p, ~p, ~p", [C2, E2, S2])
  			    end,
  			    try inet:getstat(A) of
  				{ok, S3} ->
  				    S3;
  				{error, R3} ->
  				    ?F("ERROR: ~p", [R3]);
  				X3 ->
  				    ?F("UNKNOWN: ~p", [X3])
  			    catch
  				C3:E3:S3 ->
  				    ?F("CATCHED: ~p, ~p, ~p", [C3, E3, S3])
  			    end,
  			    try prim_inet:getstatus(A) of
  				{ok, S4} ->
  				    S4;
  				{error, R4} ->
  				    ?F("ERROR: ~p", [R4]);
  				X4 ->
  				    ?F("UNKNOWN: ~p", [X4])
  			    catch
  				C4:E4:S4 ->
  				    ?F("CATCHED: ~p, ~p, ~p", [C4, E4, S4])
  			    end};
  		      true ->
  			   {(catch gen_tcp_socket:info(A)),
  			    try inet:getopts(A, [send_timeout]) of
  				{ok, [V2]} ->
  				    V2;
  				{error, R2} ->
  				    ?F("ERROR: ~p", [R2]);
  				X2 ->
  				    ?F("UNKNOWN: ~p", [X2])
  			    catch
  				C2:E2:S2 ->
  				    ?F("CATCHED: ~p, ~p, ~p", [C2, E2, S2])
  			    end,
  			    "-",
  			    "-"}
  		   end
             end,
      ?P("[para] spawn process 1 with sender fun"),
      Snd1 = spawn_link(SenderFun),
      ?P("[para] spawn process 2 with sender fun"),
      Snd2 = spawn_link(SenderFun),
  
      ?P("[para] await sender timeout when"
         "~n   Sender 1: ~p"
  
negative.code:     case Ret of
  	ok ->
  	    receive
                  {info_and_die, SockInfo, SockTimeout} ->
                      ?P("[sink-loop] info and die: "
                         "~n   Socket Info:  ~p"
                         "~n   Send Timeout: ~p",
                         [SockInfo(), SockTimeout()]),
                      exit(normal)
              after To -> ok end,
  	    timeout_sink_loop(Action, To, N+1);
  