Czy jest jakiś konwerter źródło-źródło (tłumacz) z Ada (95, 2005) na C? Jak są pełne (czy mogą przekonwertować każdą funkcję Ada na gnu c99 + pthreads + POSIX)?

Czy możliwe jest użycie takiego translatora ad-to-c w krytycznych aplikacjach?

PS: Tłumacze do C ++ (do 2003 z rozszerzeniami gnu) są również mile widziani.

PPS: kiedy powiedziane jest „gnu c99”, oznacza to, że tylko C99 + większość rozszerzeń gnu jest obsługiwanych, ale nie oznacza GCC.