/* We deliberately avoid having NO_WAITPID set. */ #include