std::exit to exit