anchor.diff:                     end},
   
            %% Terminations
  +         #{desc => "order alt-server 2 to terminate",
  +           cmd  => fun(#{alt_server2 := Pid} = _State) ->
  +                           ?SEV_ANNOUNCE_TERMINATE(Pid),
  +                           ok
  +                   end},
  +         #{desc => "await alt-server 2 termination",
  +           cmd  => fun(#{alt_server2 := Pid} = State) ->
  +                           case ?SEV_AWAIT_TERMINATION(Pid) of
  +                               ok ->
  +                                   State1 = maps:remove(alt_server2, State),
  +                                   {ok, State1};
  +                               {error, _} = ERROR ->
  +                                   ERROR
  +                           end
  +                   end},
  +
  +         #{desc => "order alt-server 1 to terminate",
  +           cmd  => fun(#{alt_server1 := Pid} = _State) ->
  +                           ?SEV_ANNOUNCE_TERMINATE(Pid),
  +                           ok
  +                   end},
  +         #{desc => "await alt-server 1 termination",
  +           cmd  => fun(#{alt_server1 := Pid} = State) ->
  +                           case ?SEV_AWAIT_TERMINATION(Pid) of
  +                               ok ->
  +                                   State1 = maps:remove(alt_server1, State),
  +                                   {ok, State1};
  +                               {error, _} = ERROR ->
  +                                   ERROR
  +                           end
  +                   end},
  +
            #{desc => "order server to terminate",
              cmd  => fun(#{server := Pid} = _State) ->
                              ?SEV_ANNOUNCE_TERMINATE(Pid),
  
positive.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  %% Basically we make multiple async (Timeout = nowait) call to recvfrom
  %% (from *several* processes), wait some time and then cancel.
  %% This should result in abort messages to the 'other' processes.
  %%
  
negative.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  %% Basically we make multiple async (Timeout = nowait) call(s) to recvmsg
  %% (from *several* processes), wait some time and then cancel.
  %% This should result in abort messages to the 'other' processes.
  %%
  