buffertest is now BufferManagerMain, runs successfully for 1 thread (last parameter = 0)