1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
original.name="While_Valid_17" ====== >>> main.whiley public export method test() : int i = 0 while i < 5: if i == 3: break i = i + 1 assume i == 3 ---