pub const __WCOREFLAG: c_int = 128;