typedef std::atomic<unsigned int> counter;

    std::atomic<unsigned int> nrRetries;
    std::atomic<unsigned int> maxNrRetries;
    std::atomic<unsigned int> nrQueueWakeups;
    std::atomic<unsigned int> nrDispatcherWakeups;

    counter nrBuildsRead{0};
    counter nrBuildsDone{0};
    counter nrStepsDone{0};
    counter nrRetries{0};
    counter maxNrRetries{0};
    counter nrQueueWakeups{0};
    counter nrDispatcherWakeups{0};

    nrRetries = maxNrRetries = nrQueueWakeups = nrDispatcherWakeups = 0;

            nrBuildsDone++;

                nrBuildsDone++;

        nrBuildsRead += nrAdded;

    nrStepsDone++;

                    nrBuildsDone++;

    nrBuildsDone++;

    printMsg(lvlError, format("%1% builds read from queue") % nrBuildsRead);
    printMsg(lvlError, format("%1% builds done") % nrBuildsDone);
    printMsg(lvlError, format("%1% build steps done") % nrStepsDone);