Is there a requirement that compilers for these two languages be
validated?  If so, who validates the C compilers?  It's my understanding
that NIST is going out of the compiler validation business.  Surely you
don't require that Ada compilers be validated while allowing unvalidated
C compilers?

Phil Brashear