Есть ли какой-нибудь конвертер источника-источника (переводчик) из Ada (95, 2005) в C? Насколько они полны (могут ли они преобразовать каждую функцию Ada в gnu c99 + pthreads + POSIX)?

Можно ли использовать такой переводчик ada-to-c в критических приложениях?

PS: Переводчики на C ++ (до 2003 года с расширениями GNU) также приветствуются.

PPS: когда указано «gnu c99», это означает только то, что поддерживается большинство расширений gnu C99 +, но не означает GCC.