Seems to me a responsible person trying to make important software less vulnerable to "cyberterrorism" must seriously consider Ada as one of his tools. Using known-to-be-fragile tools would be irresponsible.