Document while.