未定義動作 (UB: Undefined Behavior) と健全/不健全 (sound/unsound) について。