last_finalizer_notification  808 gc/finalize.c  static GC_word last_finalizer_notification = 0;
last_finalizer_notification  851 gc/finalize.c  	&& last_finalizer_notification != GC_gc_no) {
last_finalizer_notification  852 gc/finalize.c  	last_finalizer_notification = GC_gc_no;