Constant __WATCHOS_8_8 

pub const __WATCHOS_8_8: u32 = 80800;