GC_OFFSET_GOOD    798 src/core/manager.c         if (u->gc_marker == gc_marker + GC_OFFSET_GOOD ||
GC_OFFSET_GOOD    816 src/core/manager.c                 if (other->gc_marker == gc_marker + GC_OFFSET_GOOD)
GC_OFFSET_GOOD    840 src/core/manager.c         u->gc_marker = gc_marker + GC_OFFSET_GOOD;