post-GC, top-level touched-reachable-gc