GC_exit_check     533 gc/misc.c      void GC_exit_check GC_PROTO((void))
GC_exit_check     605 gc/misc.c              atexit(GC_exit_check);