Constant __glibcxx_shared_timed_mutex 

pub const __glibcxx_shared_timed_mutex: u32 = 201402;