anchor.diff:            _secureFilter = null;
             return;
           }
  +        _socket.readEventsEnabled = true;
           if (_filterStatus.writeEmpty && _closedWrite && !_socketClosedWrite) {
             // Checks for and handles all cases of partially closed sockets.
             shutdown(SocketDirection.SEND);
  
positive.code:     int written = 0;
      int toWrite = linearFree;
      // Loop over zero, one, or two linear data ranges.
      do {
        // Source returns at most toWrite bytes, and it returns null when empty.
        var inputData = getData(toWrite);
        if (inputData == null || inputData.length == 0) break;
  
negative.code:     var buffer = _secureFilter.buffers[READ_ENCRYPTED];
      if (buffer.writeFromSource(_readSocketOrBufferedData) > 0) {
        _filterStatus.readEmpty = false;
      } else {
        _socket.readEventsEnabled = false;
      }
    }
  
  