GC_MARK_DIRTY
SET_GC_MARK(g, GC_MARK_DIRTY);
GC_MARK_DIRTY);
(GC_MARK(g) != GC_MARK_DIRTY && KEY_DIRTY(k))))
if (GC_MARK(b) == GC_MARK_DIRTY)