 	__device__ IPager::JOURNALMODE Pager::SetJournalMode(IPager::JOURNALMODE mode)
 	{
 #ifdef _DEBUG
-		// The print_pager_state() routine is intended to be used by the debugger only.  We invoke it once here to suppress a compiler warning.
-		print_pager_state(this);
+		// The PrintPagerState() routine is intended to be used by the debugger only.  We invoke it once here to suppress a compiler warning.
+		PrintPagerState(this);
 #endif
 
 		// The mode parameter is always valid

#define pagerReportSize(X)
#endif

	__device__ static RC pager_playback_one_page(Pager *pager, int64 *offset, Bitvec *done, bool isMainJournal, bool isSavepoint)
	{
		_assert(isMainJournal || done);			// pDone always used on sub-journals
		_assert(isSavepoint || done == 0);		// pDone never used on non-savepoint

			}
			if (rc == RC_OK)
			{
				Pager_Reset(this);
				DBSize = (Pid)((bytes + pageSize - 1) / pageSize);
				PageSize = (int)pageSize;
				PCache::PageFree(TmpSpace);
