Existe algum conversor de origem-fonte (tradutor) de Ada (95, 2005) para C? Quão cheios eles estão (eles podem converter todos os recursos de Ada em gnu c99 + pthreads + POSIX)?

É possível usar esse tradutor ada-para-c em aplicativos críticos?

PS: Tradutores para C ++ (até 2003 com extensões gnu) também são bem-vindos.

PPS: quando dito "gnu c99", significa apenas que C99 + a maioria das extensões do gnu são suportadas, mas não significam o GCC.