pub const __WCOREFLAG: i32 = 128;