a bit of buffer manager