GC_spin_count    1354 gc/pthread_support.c   unsigned long GC_spin_count = 0;
GC_spin_count    1378 gc/pthread_support.c 		    ++GC_spin_count;