trivial while loop example