Constant __WATCHOS_8_7 

pub const __WATCHOS_8_7: u32 = 80700;