Constant __WATCHOS_8_5 

pub const __WATCHOS_8_5: u32 = 80500;