Gibt es einen Source-to-Source-Konverter (Übersetzer) von Ada (95, 2005) nach C? Wie voll sind sie (können sie jede Funktion von Ada in gnu c99 + pthreads + POSIX konvertieren)?

Ist es möglich, einen solchen ada-to-c-Übersetzer in kritischen Anwendungen einzusetzen?

PS: Übersetzer für C ++ (bis 2003 mit Gnu-Erweiterungen) sind ebenfalls willkommen.

PPS: Wenn "gnu c99" gesagt wird, bedeutet dies nur, dass C99 + die meisten Gnu-Erweiterungen unterstützt werden, aber nicht das GCC.