anchor.diff:                                     ERROR
                              end
                      end},
  -         #{desc => "announce ready (2)",
  +         #{desc => "announce ready (owner)",
              cmd  => fun(#{tester := Tester} = _State) ->
  -                           Tester ! {ready, self()},
  -                           ok
  -                   end},
  +                           %% Tester ! {ready, self()},
  +                           ev_ready(Tester, owner),
  +                           ok
  +
  +                   end},
  +         
  +         %% *** Termination ***
            #{desc => "await termination",
              cmd  => fun(#{tester := Tester} = State) ->
  -                           receive
  -                               {terminate, Tester} ->
  -                                   State1 = maps:remove(tester, State),
  -                                   State2 = maps:remove(sock, State1),
  -                                   {ok, State2}
  -                           end
  +                           %% receive
  +                           %%     {terminate, Tester} ->
  +                           %%         State1 = maps:remove(tester, State),
  +                           %%         State2 = maps:remove(sock, State1),
  +                           %%         {ok, State2}
  +                           %% end
  +                           ev_await_terminate(Tester, tester),
  +                           State1 = maps:remove(tester, State),
  +                           State2 = maps:remove(sock, State1),
  +                           {ok, State2}
                      end},
   
            %% *** We are done ***
  
positive.code:          %% *** Init part ***
           #{desc => "await start",
             cmd  => fun(State) ->
                             receive
                                 {start, Tester, Socket} ->
                                     {ok, State#{tester => Tester,
                                                 sock   => Socket}}
                             end
                     end},
           #{desc => "verify tester as controlling-process",
             cmd  => fun(#{tester := Tester, sock := Sock} = _State) ->
                             case Get(Sock, controlling_process) of
  
negative.code:                                    ERROR
                             end
                     end},
  
           %% *** Termination ***
           #{desc => "order (client) terminate",
             cmd  => fun(#{client := Client} = _State) ->
                             %% Client ! {terminate, self()},
                             ev_terminate(Client),
                             ok
                     end},
           #{desc => "await client termination",
             cmd  => fun(#{client := Client} = State) ->
                             %% receive
                             %%     {'DOWN', _, process, Client, _} ->
                             %%         {ok, maps:remove(client, State)}
                             %% end
                             ev_await_termination(Client),
                             {ok, maps:remove(client, State)}
                     end},
           #{desc => "close socket",
             cmd  => fun(#{sock := Sock} = State) ->
  