int main_0012_produce_consume (int argc, char **argv) { test_produce_consume(); return 0; }
int main_0013_null_msgs (int argc, char **argv) { test_produce_consume(); return 0; }