GC_pause         1373 gc/pthread_support.c 	    GC_pause();
GC_pause         1423 gc/pthread_support.c             GC_pause();