GC_OFFSET_BAD     799 src/core/manager.c             u->gc_marker == gc_marker + GC_OFFSET_BAD ||
GC_OFFSET_BAD     819 src/core/manager.c                 if (other->gc_marker != gc_marker + GC_OFFSET_BAD)
GC_OFFSET_BAD     835 src/core/manager.c         u->gc_marker = gc_marker + GC_OFFSET_BAD;
GC_OFFSET_BAD     868 src/core/manager.c                 if (u->gc_marker == gc_marker + GC_OFFSET_BAD ||
GC_OFFSET_BAD     871 src/core/manager.c                         u->gc_marker = gc_marker + GC_OFFSET_BAD;