Constant __WNOTHREAD

pub const __WNOTHREAD: i32 = 536870912;