int main(int argc, char ** argv) { test_00(); test_01(); test_02(); return 0; }
int test_01 (int x, volatile int* y, int a) { if (a) test_00 (); y[0] = 1; tcb_t* tcb = (tcb_t*)__builtin_thread_pointer (); return (a & 5) ? tcb->x : tcb->w; }
int main(int argc, char *argv[]) { CWT_UNUSED(argc); CWT_UNUSED(argv); __strNS = cwt_str_ns(); __listNS = cwt_list_ns(); CWT_BEGIN_TESTS(27); test_00(); test_01(); CWT_END_TESTS; }