6 static void a(void *obj) {
10 static void b(void *obj) {
14 static void c(void *obj) {
17 read(lock, data1, data2);
20 int user_main(int argc, char **argv) {
25 thrd_create(&t1, (thrd_start_t)&a, NULL);
26 thrd_create(&t2, (thrd_start_t)&b, NULL);
27 thrd_create(&t3, (thrd_start_t)&c, NULL);