anchor.diff:           %% *** Termination ***
            #{desc => "order client to terminate",
              cmd  => fun(#{client := Client} = _State) ->
  -                           %% Client ! {terminate, self()},
  -                           %% ok
                              ev_terminate(Client),
                              ok
                      end},
  
positive.code:     process_flag(trap_exit, true),
      ServerSeq = 
          [
           #{desc => "which local address",
             cmd  => fun(#{domain := Domain} = State) ->
                             LAddr = which_local_addr(Domain),
  
negative.code:                                    ERROR
                             end
                     end},
           #{desc => "announce ready (recv request)",
             cmd  => fun(#{tester := Tester}) ->
                             %% Tester ! {ready, self(), Port},
                             ev_ready(Tester, recv_req),
                             ok
                     end},
           #{desc => "await continue (with send reply)",
             cmd  => fun(#{tester := Tester}) ->
                             ok = ev_await_continue(Tester, tester, send_reply)
                     end},
           #{desc => "send reply",
             cmd  => fun(#{csock := Sock, send := Send}) ->
                             Send(Sock, ?BASIC_REP)
                     end},
           #{desc => "announce ready (send reply)",
             cmd  => fun(#{tester := Tester}) ->
                             %% Tester ! {ready, self(), Port},
                             ev_ready(Tester, send_reply),
                             ok
                     end},
  
           %% *** Termination ***
           #{desc => "await terminate",
             cmd  => fun(#{tester := Tester} = State) ->
                             case ev_await_terminate(Tester, tester) of
                                 ok ->
                                     {ok, maps:remove(tester, State)};
                                 {error, _} = ERROR ->
                                     ERROR
                             end
                     end},
           #{desc => "close connection socket",
             cmd  => fun(#{csock := Sock}) ->
                             socket:close(Sock)
                     end},
           #{desc => "close listen socket",
             cmd  => fun(#{lsock := Sock}) ->
                             socket:close(Sock)
                     end},
  
           %% *** We are done ***
           #{desc => "finish",
             cmd  => fun(_) ->
                             {ok, normal}
  