Constant c__WCOREFLAG

Source
pub const c__WCOREFLAG: u32 = 128;