BTW this satellite was launched yesterday coded in ada :

https://blog.adacore.com/using-ada-for-a-spanish-satellite-p...