Constant __PRAGMA_REDEFINE_EXTNAME

Source
pub const __PRAGMA_REDEFINE_EXTNAME: u32 = 1;