+ retval = 1;
+ }
+ /*
+ * If only using pop_all to dequeue, the enqueuer should see
+ * exactly as many empty queues than the number of non-empty
+ * stacks dequeued.
+ */
+ if (test_wait_empty && test_pop_all && !test_pop
+ && tot_empty_dest_enqueues != tot_pop_all) {
+ printf("WARNING! Discrepancy between empty enqueue (%llu) and "
+ "number of non-empty pop_all (%llu)\n",
+ tot_empty_dest_enqueues,
+ tot_pop_all);
+ retval = 1;
+ }