I would also add that Ada compilers do generate some surprisingly efficient executables. This helps quite a lot in the embeded space.