GC_delete_thread 1051 gc/pthread_support.c     	GC_delete_thread(pthread_self());
GC_delete_thread  771 gc/solaris_threads.c     	    	GC_delete_thread(departed);
GC_delete_thread  900 gc/solaris_threads.c     GC_delete_thread(t -> id);
GC_delete_thread  505 gc/win32_threads.c 	GC_delete_thread(GetCurrentThreadId());
GC_delete_thread  713 gc/win32_threads.c       GC_delete_thread(GetCurrentThreadId());
GC_delete_thread  768 gc/win32_threads.c     GC_delete_thread(GetCurrentThreadId());