Constant __glibcxx_allocator_traits_is_always_equal 

pub const __glibcxx_allocator_traits_is_always_equal: u32 = 201411;