Even though it's an Ada ad, 'C*/*C++' vs 'Ada*, *SPARK' is wild.