pub const ITT_PLATFORM_FREEBSD: u32 = 4;