pub const HAVE_WAIT4: u32 = 1;