. "Ada was designed by the US Dept of Defense for military and aviation systems, running on embedded devices in such things as airplanes." . . .