Constant _CMP_GE_OS 

pub const _CMP_GE_OS: u32 = 13;