// Deleting the pages allocated during this
                    // transaction from the free db. Note that the call to
                    // `del` may add pages to `self.initial_allocated`.