@SuperDicq Yes, you can indeed just write the C correctly.

The based GNU developers have done that for the most start - researchers have analyzed GNU code and determined that it has the least errors and bugs of any project of its size.

It's also actually possible to apply a mathematical proof to prove the correctness of C due to its simplicity - good luck with that for languages dozens of times more complicated.