std::exterminate_std