/* * Options passed to the Linux wait4() system call. */