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