Constant ITT_OS_MAC 

pub const ITT_OS_MAC: u32 = 3;