Constant __WATCHOS_5_2 

pub const __WATCHOS_5_2: u32 = 50200;