Constant __WATCHOS_3_1_1 

pub const __WATCHOS_3_1_1: u32 = 30101;