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

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.