5 #include "libinterface.h"
12 static void a(void *obj)
27 static void b(void *obj)
36 int user_main(int argc, char **argv)
43 printf("Main thread: creating 2 threads\n");
44 thrd_create(&t1, (thrd_start_t)&a, NULL);
45 thrd_create(&t2, (thrd_start_t)&b, NULL);
49 printf("Main thread is finished\n");
50 int lgr1=load_32(&gr1);
52 int lgr2=load_32(&gr2);