Also I think Ada is more memory safe than both C++ and rust! (with SPARK!)