That's a very interesting belief. Do you see a way to achieve temporal memory safety without a GC, and I assume also without lifetimes?