Constant __WATCHOS_8_7

pub const __WATCHOS_8_7: u32 = 80700;