Constant __WNOTHREAD 

pub const __WNOTHREAD: u32 = 536870912;