@cstross @Migueldeicaza Not to mention that if you’re going to *algorithmically* translate unsafe C/C++ code into a safe language, what you’ll get (if it works correctly) is all the unsafe aspects of C, but simulated in a safe language. So now it will be both unsafe and unreadable.