The while loop