This is a bad language failure, however. The same logic, ported to Brainfuck, would exhibit the same stupidity.

The C language makes it unreasonably difficult to write anything, even before proving it to be correct.