自動テストがどーのこーの言う前に、コンパイラが正しいことを証明しろ。