Port: BufferedDeletesStream, etc