anchor.diff:        advanceEnd(len);
         written += len;
         toWrite = linearFree;
  -    } while (toWrite > 0);
  +    }
       return written;
     }
   
  
positive.code:     var buffer = _secureFilter.buffers[READ_ENCRYPTED];
      if (buffer.writeFromSource(_readSocketOrBufferedData) > 0) {
        _filterStatus.readEmpty = false;
      }
    }
  
  
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);
  