[jacobr1]

And Ada is widely used in aerospace. Less these days for new projects, but often enough that one needs to be familiar with it.