Constant hts_sys::__WNOTHREAD

pub const __WNOTHREAD: u32 = 536870912;