人間がチェックするよりコンパイラに機械的にチェックさせたほうがこういうミスは出ないってことだ