Constant swipl::fli::__WNOTHREAD

source ·
pub const __WNOTHREAD: u32 = 536870912; // 536_870_912u32