This makes obvious what is used for statistics purposes and what is used
to maintain the pool queue. In particular, the pool::nqueued field has
nothing to do with pool::ndequeued.