anchor.diff:  -spec handle_data_from_net(State :: #state{}, Data :: binary()) ->
                                     ok | stop.
   handle_data_from_net(State, ?PACKET_REQUEST(SeqNum, DeadLine, Request)) ->
  +    increment_counter(?request_input),
       RequestRef = make_ref(),
       case register_request_from_network(State, SeqNum, RequestRef, DeadLine) of
           ok ->
  
positive.code:     %% initialize gauge for spawned cast workers
      undefined = put(?async_workers, 0),
      %% initialize internal counters
      undefined = put(?max_processes_reached, 0),
      undefined = put(?max_messages_reached, 0),
      {ok,
       #state{socket = Socket,
              ready = false, %% will wait for 'ready' signal
  
negative.code:             end
      end;
  handle_data_from_net(State, ?PACKET_CAST(_SeqNum, Request)) ->
      increment_counter(?cast_input),
      %% relay the cast to the receiver process
      ok = deliver_cast(State#state.receiver, Request),
      case is_overloaded(State) of
  