Constant __WATCHOS_8_4 

pub const __WATCHOS_8_4: u32 = 80400;