Constant __WATCHOS_5_1 

pub const __WATCHOS_5_1: u32 = 50100;