std::os::posix

__WCOREFLAG

const CInt __WCOREFLAG = 0x80;