Constant __PRAGMA_REDEFINE_EXTNAME

pub const __PRAGMA_REDEFINE_EXTNAME: u32 = 1;