Constant _GLIBCXX_HAVE_LINUX_FUTEX 

pub const _GLIBCXX_HAVE_LINUX_FUTEX: u32 = 1;