Constant __WATCHOS_5_0 

pub const __WATCHOS_5_0: u32 = 50000;