#include <urcu/flavor.h>