For example, the following method fragment repeatedly decrements an integer, n, by 1 until n is 0:
n
1
0
[n ~= 0] whileTrue: [n = n - 1]