MARKED_FOR_FINALIZATION   83 gc/dbg_mlc.c       GC_store_back_pointer(MARKED_FOR_FINALIZATION, dest);
MARKED_FOR_FINALIZATION   99 gc/dbg_mlc.c       if (MARKED_FOR_FINALIZATION == bp) return GC_FINALIZER_REFD;