9.6.3 while语句