-------- Original Message --------

> I did not argue about this. I mentioned that there is an overhead..

There is but C punts this to the OS mitigations like ASLR which in
Linux/Windows/BSDs case is even more of a performance hit than the targetted
runtime checks.

Ada SPARK can have far more safety than Rust and have no performance hit at all.
I wonder how much faster it would be with the OS mitigations removed.

-- 
All the best,
             Kevin Chadwick