GC_normal_finalize_mark_proc  477 gc/finalize.c      				ocd, GC_normal_finalize_mark_proc);
GC_normal_finalize_mark_proc  639 gc/finalize.c    	        GC_MARK_FO(real_ptr, GC_normal_finalize_mark_proc);
GC_normal_finalize_mark_proc  688 gc/finalize.c            GC_MARK_FO(real_ptr, GC_normal_finalize_mark_proc);