“abstract machine - a hypothetical nondeterministic computer defined by the C++ Standard to abstractly model real hardware and provide a basis for describing the semantics of the C++ language absent resource (e.g., memory) constraints. noexcept Specifier (1118)” (EMCppSfe 2021)