+ thrd_join(threads[i]);
+
+ for (i = 0; i < num_threads; i++) {
+ in_sum += input[i];
+ out_sum += output[i];
+ }
+ for (i = 0; i < num_threads; i++)
+ printf("input[%d] = %u\n", i, input[i]);
+ for (i = 0; i < num_threads; i++) {
+ if (output[i] == 0)
+ zero = 1; /* A zero result means queue was empty */
+ printf("output[%d] = %u\n", i, output[i]);
+ }
+ MODEL_ASSERT(in_sum == out_sum || zero);