`std::terminate` がデフォルトで呼び出す、プログラムを異常終了させる関数はどれか。

「基本保証（Basic Guarantee）」を満たす例外安全なコードとはどのような状態か。