anchor.diff:           %% to close the socket, which should cause the all the secondary 
            %% server to return with error-closed.
   
  -         #{desc => "order 'secondary server 1' to continue",
  +         #{desc => "order 'secondary server 1' to continue (recv)",
              cmd  => fun(#{sec_server1 := Pid} = _State) ->
  -                           Pid ! {continue, self()},
  +                           ev_continue(Pid, recv),
                              ok
                      end},
            #{desc => "sleep",
  
positive.code:          %% *** Init part ***
           #{desc => "await start",
             cmd  => fun(State) ->
                             receive
                                 {start, Tester, Sock} ->
                                     {ok, State#{tester => Tester, sock => Sock}}
                             end
                     end},
           #{desc => "monitor tester",
             cmd  => fun(#{tester := Tester} = _State) ->
  
negative.code:                            {ok, State#{sock => Sock, sa => SA}}
                     end},
           #{desc => "bind socket",
             cmd  => fun(#{sock := Sock, local_sa := LSA}) ->
                             sock_bind(Sock, LSA),
                             ok
                     end},
           #{desc => "announce ready (init)",
             cmd  => fun(#{tester := Tester, sock := Sock}) ->
                             ev_ready(Tester, init, Sock),
                             ok
                     end},
  
           %% The actual test
           #{desc => "await continue (recv, with timeout)",
             cmd  => fun(#{tester := Tester} = State) ->
                             {ok, Timeout} = ev_await_continue(Tester, tester, recv),
                             {ok, State#{timeout => Timeout}}
                     end},
           #{desc => "receive, with timeout",
             cmd  => fun(#{sock := Sock, recv := Recv, timeout := Timeout}) ->
                             case Recv(Sock, Timeout) of
                                 {error, timeout} ->
  