anchor.diff:                             MRef = erlang:monitor(process, Tester),
                              {ok, State#{tester_mref => MRef}}
                      end},
  -         #{desc => "announce ready",
  +         #{desc => "announce ready (init)",
              cmd  => fun(#{tester := Tester} = _State) ->
  -                           Tester ! {ready, self()},
  +                           ev_ready(Tester, init),
                              ok
                      end},
   
            %% *** The actual test ***
            #{desc => "await continue (with connect)",
              cmd  => fun(#{tester := Tester} = _State) ->
  -                           receive
  -                               {'DOWN', _, process, Tester, Reason} ->
  -                                   {error, {unexpected_exit, tester, Reason}};
  -                               {continue, Tester} ->
  -                                   ok
  -                           end
  +                           ok = ev_await_continue(Tester, tester, connect)
                      end},
            #{desc => "connect",
              cmd  => fun(#{sock := Sock, ssa := SSA}) ->
  
positive.code:     end.
  
  
  %% ev_continue(Pid, Slogan) ->
  %%     ev_announce(Pid, continue, Slogan).
  
  %% ev_continue(Pid, Slogan, Extra) ->
  %%     ev_announce(Pid, continue, Slogan, Extra).
  
  %% ev_ready(Pid, Slogan) ->
  %%     ev_announce(Pid, ready, Slogan).
  
  %% ev_ready(Pid, Slogan, Extra) ->
  %%     ev_announce(Pid, ready, Slogan, Extra).
  
  %% ev_terminate(Pid) ->
  %%     Pid ! {terminate, self()}.
  
  %% ev_announce(To, Tag, Slogan) ->
  %%     ev_announce(To, Tag, Slogan, undefined)
  
  %% ev_announce(To, Tag, Slogan, Extra) ->
  %%     To ! {Tag, self(), Slogan, Extra}.
  
  %% ev_await_continue(Pid, Slogan, Pids) when is_pid(Pid) andalso is_list(Pids) ->
  %%     ev_await(Pid, continue, Slogan, Pids).
  
  %% ev_await_ready(Pid, Slogan, Pids) when is_pid(Pid) andalso is_list(Pids) ->
  %%     ev_await(Pid, ready, Slogan, Pids).
  
  %% ev_await_termination(Pid) ->
  %%     receive
  %%         {'DOWN', _, process, Pid, _} ->
  %%             ok
  %%     end.
  
  %% %% We expect a message from Pid, but we also watch for DOWN from 
  %% %% both Pid and Pids, in which case the test has failed!
  %% ev_await(Pid, Tag, Slogan, Pids) ->
  %%     receive
  %%         {Tag, Pid, Slogan, undefined} ->
  %%             ok;
  %%         {Tag, Pid, Slogan, Extra} ->
  %%             {ok, Extra};
  %%         {'DOWN', _, process, Pid, Reason} ->
  %%             ee("Unexpected DOWN regarding tester ~p: "
  %%                "~n   ~p", [Tester, Reason]),
  %%             {error, {unexpected_exit, tester}};
              
  %% ev_await_check_down(DownPid, DownReason, Pids) ->
  %%     case lists:keymember(DownPid, 1, Pids) of
  %%         {value, {_, Name}} ->
  %%             ee("Unexpected DOWN regarding ~w ~p: "
  %%                "~n   ~p", [Name, DownPid, Reason]),
  %%             throw({error, {unexpected_exit, Name}});
  %%         false ->
  %%             ok
  %%     end.
  
      
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %% This test case is intended to test what happens when a socket is 
  %% remotely closed while the process is calling the recvmsg function.
  
negative.code:          %% *** Wait for start order ***
           #{desc => "await start (from tester)",
             cmd  => fun(State) ->
                             Tester = ev_await_start(),
                             {ok, State#{tester => Tester}}
                     end},
  
           %% *** Init part ***
  