GC completed, albeit lazily