BufferManager allocatePage/Frame, fixed pass-by-ref