noexcept specifications