nonempty while 42 21 10 5 2 1 empty while nonempty for (up) 0 1 2 3 4 5 6 7 8 9 10 nonempty for (down) 10 9 8 7 6 5 4 3 2 1 0 one-iteration for 42 42 empty for