A simple while loop