Constant __WATCHOS_8_3 

pub const __WATCHOS_8_3: u32 = 80300;