* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/
-#define _GNU_SOURCE
-#include "config.h"
#include <stdio.h>
#include <pthread.h>
#include <stdlib.h>
tot_successful_dequeues + end_dequeues);
free_all_cpu_call_rcu_data();
+ cds_lfs_destroy(&s);
free(count_enqueuer);
free(count_dequeuer);
free(tid_enqueuer);