anchor.diff:      var buffer = _secureFilter.buffers[READ_ENCRYPTED];
       if (buffer.writeFromSource(_readSocketOrBufferedData) > 0) {
         _filterStatus.readEmpty = false;
  +    } else {
  +      _socket.readEventsEnabled = false;
       }
     }
   
  
positive.code:       advanceEnd(len);
        written += len;
        toWrite = linearFree;
      } while (toWrite > 0);
      return written;
    }
  
  
negative.code:           _secureFilter = null;
            return;
          }
          _socket.readEventsEnabled = true;
          if (_filterStatus.writeEmpty && _closedWrite && !_socketClosedWrite) {
            // Checks for and handles all cases of partially closed sockets.
            shutdown(SocketDirection.SEND);
  