History src/buffer.cc