Comment by ahartmetz

>Nobody in history has been able to write correct C code

Except possibly D.J. Bernstein https://cr.yp.to/ ? Not necessarily all perfect, but designed for extreme simplicity and defense in depth, AFAIU.