Constant __WCOREFLAG

pub const __WCOREFLAG: c_uint = 128;