original.name="Final_Invalid_5"
======
>>> main.whiley
function f(final int x) -> (int r):
    //
    while x < 10:
        x = x + 1
    //
    return x
---
E606 main.whiley 4,8