GC: mark objects only once