Constant PLATFORM_IE3 

pub const PLATFORM_IE3: u32 = 1u32;