anchor.diff:  %% Handle select done - try recv again
   handle_event(
     info, ?socket_select(Socket, SelectRef),
  -  #recv{info = ?select_info(SelectRef)},
  +  #recv{info = ?select_info(SelectRef)} = _State,
     {#params{socket = Socket} = P, D}) ->
  -    %%
       %% ?DBG([info, {socket, Socket}, {ref, SelectRef}]),
       handle_recv(P, D, []);
   %%
   handle_event(
     info, ?socket_abort(Socket, SelectRef, Reason),
  -  #recv{info = ?select_info(SelectRef)},
  +  #recv{info = ?select_info(SelectRef)} = _State,
     {#params{socket = Socket} = P, D}) ->
  -    %%
       %% ?DBG({abort, Reason}),
       handle_connected(P, cleanup_recv_reply(P, D, [], Reason));
   %%
  
positive.code:                        owner_mon = OwnerMon},
      {ok, accept, {P, D#{type => undefined, buffer => <<>>}}};
  init(Arg) ->
      error_logger:error_report([{badarg, {?MODULE, init, [Arg]}}]),
      error(badarg, [Arg]).
  
  
  
negative.code: 
  
  handle_unexpected(Type, Content, State, {P, _D}) ->
      warning_report([{socket,        P#params.socket},
                      {unknown_event, {Type, Content}},
                      {state,         State}]),
      case Type of
          {call, From} ->
              {keep_state_and_data,
  