14   int passed;  in main()  local
15   passed = (omp_get_max_task_priority() == 2);  in main()
17   if(!passed) {  in main()
31           val = passed++;  in main()
39           val = passed++;  in main()
47           val = passed++;  in main()
55           val = passed++;  in main()
65           wait = passed;  in main()
79           val = passed++;  in main()
87           val = passed++;  in main()
95           val = passed++;  in main()
103           val = passed++;  in main()
107       // signal creation of all tasks: passed = 5 + 1 = 6  in main()
109         passed++;  in main()
115           wait = passed;  in main()
116       } while (wait < 10); // passed = 6 + 4 = 10  in main()
123           wait = passed;  in main()
128   if (passed != 10) {  in main()
129     printf("failed, passed = %d (should be 10)\n", passed);  in main()
132   printf("passed\n");  in main()
145 // CHECK: passed