#include <sys/wait.h>
#define WEXITED /* TODO */
/*
XOPEN(400)
POSIX(200809)
*/