123456789101112131415
#include <vector> using std::domain_error; int main() { try { return 0; } catch (domain_error) { return 1; } }
#include <stdexcept>