1043   Threadset threads = {0};        /* Test threads */  in walthread1()  local
1058     launch_thread(&err, &threads, walthread1_thread, 0);  in walthread1()
1060   launch_thread(&err, &threads, walthread1_ckpt_thread, 0);  in walthread1()
1061   join_all_threads(&err, &threads);  in walthread1()
1107   Threadset threads = {0};  in walthread2()  local
1114   launch_thread(&err, &threads, walthread2_thread, 0);  in walthread2()
1115   launch_thread(&err, &threads, walthread2_thread, 0);  in walthread2()
1116   launch_thread(&err, &threads, walthread2_thread, (void*)1);  in walthread2()
1117   launch_thread(&err, &threads, walthread2_thread, (void*)1);  in walthread2()
1118   join_all_threads(&err, &threads);  in walthread2()
1163   Threadset threads = {0};  in walthread3()  local
1178     launch_thread(&err, &threads, walthread3_thread, INT2PTR(i));  in walthread3()
1180   join_all_threads(&err, &threads);  in walthread3()
1222   Threadset threads = {0};  in walthread4()  local
1232   launch_thread(&err, &threads, walthread4_reader_thread, 0);  in walthread4()
1233   launch_thread(&err, &threads, walthread4_writer_thread, 0);  in walthread4()
1234   join_all_threads(&err, &threads);  in walthread4()
1255   Threadset threads = {0};  in walthread5()  local
1296   launch_thread(&err, &threads, walthread5_thread, 0);  in walthread5()
1297   launch_thread(&err, &threads, walthread5_thread, 0);  in walthread5()
1298   launch_thread(&err, &threads, walthread5_thread, 0);  in walthread5()
1299   launch_thread(&err, &threads, walthread5_thread, 0);  in walthread5()
1300   launch_thread(&err, &threads, walthread5_thread, 0);  in walthread5()
1301   join_all_threads(&err, &threads);  in walthread5()
1453   Threadset threads = {0};  in dynamic_triggers()  local
1474   launch_thread(&err, &threads, dynamic_triggers_2, 0);  in dynamic_triggers()
1475   launch_thread(&err, &threads, dynamic_triggers_2, 0);  in dynamic_triggers()
1480   launch_thread(&err, &threads, dynamic_triggers_2, 0);  in dynamic_triggers()
1481   launch_thread(&err, &threads, dynamic_triggers_1, 0);  in dynamic_triggers()
1483   join_all_threads(&err, &threads);  in dynamic_triggers()