#define PRINT_EXITED 0
#include "threads-execve.c"