What about garbage collection?
It would be nice to have it, but
- Very little of the code in this example is concerned with memory management
- Use counts let us free resources accurately and immediately, without waiting for the next garbage collection
- Garbage collection deals only with memory; there are other resources too.