GC_marked_for_finalization 1817 gc/include/private/gc_priv.h    void GC_marked_for_finalization(ptr_t dest);
GC_marked_for_finalization 1819 gc/include/private/gc_priv.h #  define GC_MARKED_FOR_FINALIZATION(dest) GC_marked_for_finalization(dest)