Constant __WCOREFLAG 

const __WCOREFLAG: u32 = 0x80;