@RandomDamage @raymaccarthy @LinuxJedi Ada is very portable (GCC has an Ada frontend and AdaCore also provides a commercially supported version of it) and is used in many safety critical embedded systems/architectures.