テストしない、つまり正しく動くか分からないプログラムの
同一性が保証されて、何か嬉しい事があるの？