Constant __WCOREFLAG

Source
pub const __WCOREFLAG: u32 = 128; // 128u32