anchor.diff:          [
            %% *** Init part ***
            #{desc => "monitor server",
  -           cmd  => fun(#{server := Server} = State) ->
  -                           MRef = erlang:monitor(process, Server),
  -                           {ok, State#{server_mref => MRef}}
  +           cmd  => fun(#{server := Server} = _State) ->
  +                           _MRef = erlang:monitor(process, Server),
  +                           ok
                      end},
            #{desc => "monitor client",
  -           cmd  => fun(#{client := Client} = State) ->
  -                           MRef = erlang:monitor(process, Client),
  -                           {ok, State#{client_mref => MRef}}
  +           cmd  => fun(#{client := Client} = _State) ->
  +                           _MRef = erlang:monitor(process, Client),
  +                           ok
                      end},
   
            %% *** Activate server ***
  
positive.code:                            end
                     end},
           #{desc => "bind to local address",
             cmd  => fun(#{sock := Sock, lsa := LSA} = _State) ->
                             case socket:bind(Sock, LSA) of
                                 {ok, _} ->
                                     ok;
                                 {error, _} = ERROR ->
                                     ERROR
                             end
                     end},
           #{desc => "monitor tester",
             cmd  => fun(#{tester := Tester} = State) ->
                             MRef = erlang:monitor(process, Tester),
                             {ok, State#{tester_mref => MRef}}
                     end},
           #{desc => "announce ready (init)",
             cmd  => fun(#{tester := Tester} = _State) ->
  
negative.code:                    end},
           #{desc => "order (owner) terminate",
             cmd  => fun(#{owner := Pid} = _State) ->
                             ev_terminate(Pid),
                             ok
                     end},
           #{desc => "await (owner) termination",
             cmd  => fun(#{owner := Pid} = _State) ->
                             ev_await_termination(Pid),
                             ok
                     end},
           %% The reason we get closed, is that as long as there is a ref to 
           %% the resource (socket), then it will not be garbage collected.
           #{desc => "verify no socket (closed)",
             cmd  => fun(#{owner := Pid, sock := Sock} = _State) ->
                             case socket:getopt(Sock, otp, controlling_process) of
                                 {ok, OtherPid} ->
                                     {error, {unexpected_success, Pid, OtherPid}};
                                 {error, closed} ->
                                     ok;
                                 {error, Reason} ->
  