7 #include "model-assert.h"
17 static void task(void * param) {
20 printf("Steal NULL\n");
22 printf("Steal %d\n", a);
27 printf("Steal NULL\n");
29 printf("Steal %d\n", x);
33 int user_main(int argc, char **argv)
39 thrd_create(&t, task, 0);
48 printf("Take NULL\n");
50 printf("Take %d\n", b);
54 printf("Take NULL\n");
56 printf("Take %d\n", c);