Q: Any experiences for Ada 95 to C converters?

General
9

Is this different than AdaCore’s Common Code Generator (CCG) which is a SPARK-> C convertor?