Sleep             145 gc/win32_threads.c   while (GC_please_stop) Sleep(20);
Sleep             250 gc/win32_threads.c 	  Sleep(10);
Sleep             601 gc/win32_threads.c     while ((me = GC_lookup_thread(pthread_id)) == 0) Sleep(10);