THREAD_COUNT
uintptr_t addrs[THREAD_COUNT];
uint32_t vals[THREAD_COUNT];
pthread_t threads[THREAD_COUNT];
for (int i = 0; i < THREAD_COUNT; i++) {
while (batched_waiting != THREAD_COUNT) {
_umtx_op(addrs, UMTX_OP_NWAKE_PRIVATE, THREAD_COUNT, NULL, NULL);
for (int i = 0; i < THREAD_COUNT; i++) {