401         u32 pgno = decodeUint32(&aData[8+4*iLeaf]);  in openTransaction()  local
402         sqlite3BitvecSet(pMain->pWritable, pgno);  in openTransaction()
479       u32 pgno;  in readJournalFile()  local
482         pgno = decodeUint32(zBuf);  in readJournalFile()
483         if( pgno>0 && pgno<=pMain->nPage ){  in readJournalFile()
484           if( 0==sqlite3BitvecTest(pMain->pWritable, pgno) ){  in readJournalFile()
488               assert( cksum==pMain->aCksum[pgno-1] );  in readJournalFile()
491           sqlite3BitvecSet(pMain->pWritable, pgno);  in readJournalFile()
557       u32 pgno = (u32)(iOfst/p->nPagesize + 1);  in jtWrite()  local
563       assert( p->nPage==0 || pgno<=p->nPage || p->nSync>0 );  in jtWrite()
564       assert( pgno>p->nPage || sqlite3BitvecTest(p->pWritable, pgno) );  in jtWrite()
588     u32 pgno;  in jtTruncate()  local
590     for(pgno=(u32)(size/p->nPagesize+1); pgno<=p->nPage; pgno++){  in jtTruncate()
591       assert( pgno==locking_page || sqlite3BitvecTest(p->pWritable, pgno) );  in jtTruncate()