Constant __WCOREFLAG 

pub const __WCOREFLAG: i32 = 128;