I know that some Ada-to-C compilers exist, but most of the commercial Ada compilers out there that I know all compile to machine code. I think too that gcc 3.0+ now incorporates the GNAT Ada component, so likely there it compiles to the gcc intermediate language, then to machine code. But alot of the Ada work done is for embedded systems, and I am pretty sure they would be compiling to machine operations and not C. However, I do think thought that the Ada for Lego Mindstorms compiles into NQC (Not Quite C) first. And there is a Ada compiler for the JVM, but that bypasses Java and goes straight to bytecode.