unfinished buffermanager.h