Constant antic::__WNOTHREAD

pub const __WNOTHREAD: u32 = 536870912;