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