Constant __WCOREFLAG

pub const __WCOREFLAG: i32 = 128;