Reply to Steven, > to me, gc-that-leaks-memory-by-assuming-random-data-is-a-pointer == > broken gc. Speed/mem usage is secondary. > > -Steve > IIRC there is a proof that without some restriction (which are not possible under D) Either a GC will leak, or collect memory early.