NTHREAD
pthread_t pt[NTHREAD];
pthread_barrier_init(&barrier, NULL, NTHREAD + 1);
for (i = 0; i < NTHREAD; i++) {
for (i = 0; i < NTHREAD; i++) {
for (i = 0; i < NTHREAD; i++) {
for (i = 0; i < NTHREAD; i++) {
} th[NTHREAD];
for (i = 0; i < NTHREAD; i++)
ATF_REQUIRE_MSG(i != NTHREAD, "unknown thread");