pub const __WNOTHREAD: c_int = 0x20000000;