old_gc_no         740 gc/pthread_support.c 	int old_gc_no = GC_gc_no;
old_gc_no         745 gc/pthread_support.c 	       && (wait_for_all || old_gc_no == GC_gc_no)) {