Garbage-collection-at-avj-heights