test_consumer_stress_multi_producer_single_consumer
RUN_TEST(test_consumer_stress_multi_producer_single_consumer);
int test_consumer_stress_multi_producer_single_consumer(void);