Wait, wasn't there a DARPA round funding automatic translation of C to Ada once, long ago?

No, though I am familiar with its history a bit.