pub const __WATCHOS_8_0: u32 = 80000; // 80_000u32