Update buffer_manager.h