良い方向に定義された規格では未定義な動作