Constant __cpp_lib_shared_timed_mutex 

pub const __cpp_lib_shared_timed_mutex: u32 = 201402;