void test_do_while2() { int x = 0; int y = 10; do { x = x + 1; y = y - 1; } while (x <= y); }