Constant __WATCHOS_8_0

pub const __WATCHOS_8_0: u32 = 80000;