Constant __PRAGMA_REDEFINE_EXTNAME 

pub const __PRAGMA_REDEFINE_EXTNAME: u32 = 1;