pub const PLATFORM_IE3: u32 = 1u32;