Оригинальная замена std::terminate().

// OOoooops
{ char * p = ( char * )0xDEADBEEF; *p = 0; }