Oh, so all my smart pointers I have written in Ada don't finalise when Finalize is called, by the runtime?
You might consider that example stupid and argue no one would ever write code like that.
To which I would answer you haven't reviewed enough offshored C++ projects.