Comment by thr_ddv

>The compiler still cannot tell when our loops will terminate (yes, this is possible).

    while(n < busy_bever(10))
        n++

Tell me when my loop terminates.