>>982
カンマ演算子か．なるほど．
whileの条件式に与えたラムダ式を評価してその成否は破棄しつつ
カンマ演算子の右にあるfinがまだ使えるかどうか，
で処理継続の可否を判断している，という理解でいいのかな．

でも，981のソースだと，while文が終わらずに，無限ループに突入しているもよう．
この現象を説明しつつ，問題を解決するソースをくれると喜びます．