@while example