バグ #3 の修正を確認するコード