Constant __WNOTHREAD 

pub const __WNOTHREAD: i32 = 536870912;