anchor.diff:           %% *** Init part ***
            #{desc => "await start",
              cmd  => fun(State) ->
  -                           receive
  -                               {start, Tester, Sock} ->
  -                                   {ok, State#{tester => Tester, sock => Sock}}
  -                           end
  +                           {Tester, Sock} = ev_await_start(),
  +                           {ok, State#{tester => Tester, sock => Sock}}
                      end},
            #{desc => "monitor tester",
              cmd  => fun(#{tester := Tester} = _State) ->
  
positive.code:                            ?SLEEP(?SECS(1)),
                             ok
                     end},
           #{desc => "order 'secondary server 3' to continue",
             cmd  => fun(#{sec_server3 := Pid} = _State) ->
                             Pid ! {continue, self()},
                             ok
                     end},
           #{desc => "sleep",
  
negative.code:                            ?SLEEP(?SECS(1)),
                             ok
                     end},
           #{desc => "order 'primary server' to continue (recv, with timeout)",
             cmd  => fun(#{prim_server := Pid} = _State) ->
                             ev_continue(Pid, recv, ?SECS(5)),
                             ok
                     end},
           #{desc => "await 'primary server' ready (recv, with timeout)",
             cmd  => fun(#{prim_server := Pid} = _State) ->
                             ev_await_ready(Pid, prim_server, recv)
                     end},
           #{desc => "order 'primary server' to continue (close)",
             cmd  => fun(#{prim_server := Pid} = _State) ->
                             %% Pid ! {continue, self()},
                             ev_continue(Pid, close),
                             ok
                     end},
           #{desc => "await 'primary server' ready (close)",
             cmd  => fun(#{prim_server := Pid} = _State) ->
                             ev_await_ready(Pid, prim_server, close)
                     end},
           #{desc => "await 'secondary server 1' ready (closed)",
             cmd  => fun(#{sec_server1 := Pid} = _State) ->
                             ev_await_ready(Pid, sec_server1, recv_closed)
                     end},
           #{desc => "await 'secondary server 2' ready (closed)",
             cmd  => fun(#{sec_server2 := Pid} = _State) ->
                             ev_await_ready(Pid, sec_server2, recv_closed)
                     end},
           #{desc => "await 'secondary server 3' ready (closed)",
             cmd  => fun(#{sec_server3 := Pid} = _State) ->
                             ev_await_ready(Pid, sec_server3, recv_closed)
                     end},
  
           %% Terminations
           #{desc => "order 'secondary server 3' to terminate",
             cmd  => fun(#{sec_server3 := Pid} = _State) ->
                             ev_terminate(Pid),
                             ok
                     end},
           #{desc => "await 'secondary server 3' termination",
             cmd  => fun(#{sec_server3 := Pid} = State) ->
                             ev_await_termination(Pid),
                             {ok, maps:remove(sec_server3, State)}
                     end},
           #{desc => "order 'secondary server 2' to terminate",
             cmd  => fun(#{sec_server2 := Pid} = _State) ->
                             ev_terminate(Pid),
                             ok
                     end},
           #{desc => "await 'secondary server 2' termination",
             cmd  => fun(#{sec_server2 := Pid} = State) ->
                             ev_await_termination(Pid),
                             {ok, maps:remove(sec_server2, State)}
                     end},
           #{desc => "order 'secondary server 1' to terminate",
             cmd  => fun(#{sec_server1 := Pid} = _State) ->
                             ev_terminate(Pid),
                             ok
                     end},
           #{desc => "await 'secondary server 1' termination",
             cmd  => fun(#{sec_server1 := Pid} = State) ->
                             ev_await_termination(Pid),
                             {ok, maps:remove(sec_server1, State)}
                     end},
           #{desc => "order 'primary server' to terminate",
             cmd  => fun(#{prim_server := Pid} = _State) ->
                             ev_terminate(Pid),
                             ok
                     end},
           #{desc => "await 'primary server' termination",
             cmd  => fun(#{prim_server := Pid} = State) ->
                             ev_await_termination(Pid),
                             {ok, maps:remove(prim_server, State)}
                     end},
  
  
  