nothrow: Correct definitions for C++