Constant r_core::WCOREFLAG[][src]

pub const WCOREFLAG: u32 = 128;