[][src]Constant hts_sys::__WCOREFLAG

pub const __WCOREFLAG: u32 = 128;