現実世界では未定義の仕様による障害もバグに含みます