Constant __WATCHOS_7_3 

pub const __WATCHOS_7_3: u32 = 70300;