how do you write a while loop