3971 static Pgno finalDbSize(BtShared *pBt, Pgno nOrig, Pgno nFree){  in finalDbSize()  argument
3977   nPtrmap = (nFree-nOrig+PTRMAP_PAGENO(pBt, nOrig)+nEntry)/nEntry;  in finalDbSize()
3978   nFin = nOrig - nFree - nPtrmap;  in finalDbSize()
3979   if( nOrig>PENDING_BYTE_PAGE(pBt) && nFin<PENDING_BYTE_PAGE(pBt) ){  in finalDbSize()
4006     Pgno nOrig = btreePagecount(pBt);  in sqlite3BtreeIncrVacuum()  local
4008     Pgno nFin = finalDbSize(pBt, nOrig, nFree);  in sqlite3BtreeIncrVacuum()
4010     if( nOrig<nFin || nFree>=nOrig ){  in sqlite3BtreeIncrVacuum()
4016         rc = incrVacuumStep(pBt, nFin, nOrig, 0);  in sqlite3BtreeIncrVacuum()
4054     Pgno nOrig;        /* Database size before freeing */  in autoVacuumCommit()  local
4056     nOrig = btreePagecount(pBt);  in autoVacuumCommit()
4057     if( PTRMAP_ISPAGE(pBt, nOrig) || nOrig==PENDING_BYTE_PAGE(pBt) ){  in autoVacuumCommit()
4075         nOrig,  in autoVacuumCommit()
4088     nFin = finalDbSize(pBt, nOrig, nVac);  in autoVacuumCommit()
4089     if( nFin>nOrig ) return SQLITE_CORRUPT_BKPT;  in autoVacuumCommit()
4090     if( nFin<nOrig ){  in autoVacuumCommit()
4093     for(iFree=nOrig; iFree>nFin && rc==SQLITE_OK; iFree--){  in autoVacuumCommit()