4 #include "libinterface.h"
11 static void a(void *obj)
20 static void b(void *obj)
29 int user_main(int argc, char **argv)
36 printf("Main thread: creating 2 threads\n");
37 thrd_create(&t1, (thrd_start_t)&a, NULL);
38 thrd_create(&t2, (thrd_start_t)&b, NULL);
42 printf("Main thread is finished\n");
43 int lgr1=load_32(&gr1);
45 int lgr2=load_32(&gr2);