Constant __WATCHOS_7_2 

pub const __WATCHOS_7_2: u32 = 70200;