Constant __glibcxx_tuple_element_t 

pub const __glibcxx_tuple_element_t: u32 = 201402;