in reply to Re^6: Timing of garbage collection
in thread Timing of garbage collection

I think that this is correct.