eg: - nothrow has *no* guarantee, period, because it still allowsunrecoverable errors being thrown, and allows people to catch saidunrecoverable errors.
Hm, it is hard to find clear answer in spec but I _think_ that replacing error throwing with program halting in release mode for nothrow function should be valid behavior.