GC_stopping_pid   299 gc/pthread_stop_world.c int GC_stopping_pid;
GC_stopping_pid   313 gc/pthread_stop_world.c     GC_stopping_pid = getpid();                /* debugging only.      */