GC_deinit        1608 gc/include/private/gc_priv.h   void GC_deinit GC_PROTO((void));
GC_deinit         552 gc/win32_threads.c     GC_deinit();
GC_deinit         783 gc/win32_threads.c       GC_deinit();