Constant __WATCHOS_7_5 

pub const __WATCHOS_7_5: u32 = 70500;