Constant swipl_fli::__WNOTHREAD

source ·
pub const __WNOTHREAD: u32 = 536870912;