added flushAllPages() and getNumBuffers() function stubs
Bill's updates