Constant __WNOTHREAD 

pub const __WNOTHREAD: c_uint = 536870912;