1 #include <cstdlib>
2 
3 int counter = 0;
4 
5 void inc_counter() { ++counter; }
6 
7 void do_abort() { std::abort(); }
8 
9 int main() {
10   return 0; // break here
11 }
12