Constant swipl_fli::__WNOTHREAD

source · 
pub const __WNOTHREAD: u32 = 536870912;