speed-up for garbage collection