i = 0while(i < 3) # Prints "0123" instead of "012" # Control returns here when redo is executed print i i += 1 redo if i == 3end