if を使ったサンプルプログラムが案の定 while にすべきとの圧力がかかり、一晩悩む。 葛藤の末、while という結論に達した。問題は if か while かという以前のところにあったことに気づく。そこをクリアすればどっちでもよかったのだ。