Constant __WATCHOS_4_2 

pub const __WATCHOS_4_2: u32 = 40200;