Constant PLATFORM_IOS_EXCLAVECORE 

pub const PLATFORM_IOS_EXCLAVECORE: u32 = 17;