"Martin v. Loewis" wrote: > > terminate() did not go away, there is no such function in standard C++. > And what is 18.6.3.3 [lib.terminate] about, then? Thomas