anchor.diff:  
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  -%% Basically we make multiple async (Timeout = nowait) call to recvfrom
  +%% Basically we make multiple async (Timeout = nowait) call(s) to recvfrom
   %% (from *several* processes), wait some time and then cancel.
   %% This should result in abort messages to the 'other' processes.
   %%
  
positive.code:      api_a_recv_cancel_tcp4,
       api_a_recvmsg_cancel_tcp4,
       api_a_mrecvfrom_cancel_udp4,
       api_a_mrecvmsg_cancel_udp4
      ].
  
  api_options_cases() ->
  
negative.code:                    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),
  