For one thing, having humans write C for critical code is almost always a serious mistake. Almost anything would be better, which is why so much safety critical

For one thing, having humans write C for critical code is almost always a serious mistake. Almost anything would be better, which is why so much safety critical C is generated nowadays.