Sequent Computer Systems Inc now has an Ada compiler validated to Version 1.9 of the Ada Compiler Validation Capability tests, which qualify it for US Department of Defense use: the compiler was licensed from the Verdix Corp and done by Sequent and Software Leverage Inc, based in Arlington, Virginia.