[][src]Constant uikit_sys::WCOREFLAG

pub const WCOREFLAG: u32 = 128;