CR: std::exit().