#include <urcu/pointer.h>