void test_fun(int x, int y)
{
    while (x > y) {
        x = x - 1;
    }
}