8 NOBUG_THREAD_ID_SET("mythread");
9 ECHO("shown threadid?");
14 NOBUG_THREAD_ID_SET("mythreadA");
15 ECHO("shown threadid?");
16 NOBUG_THREAD_ID_SET("mythreadB");
17 ECHO("shown threadid?");
18 NOBUG_THREAD_ID_SET("mythreadC");
19 ECHO("shown threadid?");