The recently introduced _Perceus_ algorithm can automatically insert reference count instructions such that the resulting (cycle-free) program is _garbage free_: objects are freed at very moment they no longer be referenced. An important extension reuse analysis. This optimization pairs of known size with fresh allocations same and tries to object in-place runtime if it happens unique. Unfortun...