anchor.diff:                                     ERROR
                              end
                      end},
  -         #{desc => "announce ready (closed)",
  +         #{desc => "announce ready (close)",
              cmd  => fun(#{tester := Tester}) ->
  -                           Tester ! {ready, self()},
  +                           ev_ready(Tester, close),
                              ok
                      end},
   
            % Termination
            #{desc => "await terminate",
              cmd  => fun(#{tester := Tester} = State) ->
  -                           receive
  -                               {'DOWN', _, process, Tester, Reason} ->
  -                                   ee("Unexpected DOWN regarding tester ~p: "
  -                                      "~n   ~p", [Tester, Reason]),
  -                                   {error, {unexpected_exit, tester}};
  -                               {terminate, Tester} ->
  -                                   {ok, maps:remove(tester, State)}
  -                           end
  -                   end},
  +                           case ev_await_terminate(Tester, tester) of
  +                               ok ->
  +                                   {ok, maps:remove(tester, State)};
  +                               {error, _} = ERROR ->
  +                                   ERROR
  +                           end
  +                    end},
   
            %% *** We are done ***
            #{desc => "finish",
  
positive.code:                                    ERROR
                             end
                     end},
           #{desc => "announce ready (closed)",
             cmd  => fun(#{tester := Tester}) ->
                             Tester ! {ready, self()},
                             ok
                     end},
  
           %% Termination
           #{desc => "await terminate (from tester)",
             cmd  => fun(#{tester := Tester} = State) ->
                             receive
                                 {'DOWN', _, process, Tester, Reason} ->
                                     ee("Unexpected DOWN regarding tester ~p: "
                                        "~n   ~p", [Tester, Reason]),
                                     {error, {unexpected_exit, tester}};
                                 {terminate, Tester} ->
                                     {ok, maps:remove(tester, State)}
                             end
                     end},
  
  
negative.code:          %% Start the primary server
           #{desc => "order 'primary acceptor' start",
             cmd  => fun(#{prim_acc := Pid} = _State) ->
                             ev_start(Pid),
                             ok
                     end},
           #{desc => "await 'primary acceptor' ready (init)",
             cmd  => fun(#{prim_acc := Pid} = State) ->
                             {ok, Sock} = ev_await_ready(Pid, prim_acc, init),
                             {ok, State#{sock => Sock}}
                     end},
  
           %% Start the secondary acceptor 1
           #{desc => "order 'secondary acceptor 1' start",
             cmd  => fun(#{sec_acc1 := Pid, sock := Sock} = _State) ->
                             ev_start(Pid, Sock),
                             ok
                     end},
           #{desc => "await 'secondary acceptor 1' ready (init)",
             cmd  => fun(#{sec_acc1 := Pid} = _State) ->
                             ev_await_ready(Pid, sec_acc1, init),
                             ok
                     end},
  
           %% Start the secondary acceptor 2
           #{desc => "order 'secondary acceptor 2' start",
             cmd  => fun(#{sec_acc2 := Pid, sock := Sock} = _State) ->
                             ev_start(Pid, Sock),
                             ok
                     end},
           #{desc => "await 'secondary acceptor 2' ready (init)",
             cmd  => fun(#{sec_acc2 := Pid} = _State) ->
                             ev_await_ready(Pid, sec_acc2, init),
                             ok
                     end},
  
           %% Start the secondary acceptor 3
           #{desc => "order 'secondary acceptor 3' start",
             cmd  => fun(#{sec_acc3 := Pid, sock := Sock} = _State) ->
                             ev_start(Pid, Sock),
                             ok
                     end},
           #{desc => "await 'secondary acceptor 3' ready (init)",
             cmd  => fun(#{sec_acc3 := Pid} = _State) ->
                             ev_await_ready(Pid, sec_acc3, init),
                             ok
                     end},
  
  
  