Constant __WATCHOS_5_3 

pub const __WATCHOS_5_3: u32 = 50300;