DeleteCriticalSection  857 gc/misc.c        	DeleteCriticalSection(&GC_write_cs);
DeleteCriticalSection  553 gc/win32_threads.c     DeleteCriticalSection(&GC_allocate_ml);
DeleteCriticalSection  784 gc/win32_threads.c       DeleteCriticalSection(&GC_allocate_ml);